context: Gary is rough. Gary is not the daughter of Charlie. If Erin is red then Anne is not smart. Erin is not Anne's aunt if Harry is not quiet. If Anne is not smart then Harry is not quiet. Erin is not red if Gary is not rough or Gary is Charlie's daughter.