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