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