Input (grade 12): The woman who is not currently a fornicatress can only marry a man who is not currently a fornicator.
Output (grade 12): The Muslim fornicator can only marry a Muslim fornicatress. The Muslim woman who is not currently a fornicatress can only marry a Muslim man who is not currently a fornicator.