某镇计划安排小蒋、小陈、小刘3名干部到甲、乙、丙3个村子驻点，每村只安排1人。3人中有一人是农学专业，一人是法学专业，一人是工学专业。已知：小陈没有前往甲村，农学专业的没有前往甲村，工学专业的去了丙村，小陈不是农学专业。根据以上表述，以下推论必然正确的是（ ）。
小刘去了甲村
小蒋去了乙村
小刘是工学专业的
小陈是工学专业的
