Anne is nice. Fiona is white. Gary is quiet. Harry is blue. If Gary is blue then Gary is not round. If Gary is round then Gary is nice. All nice people are big. If Gary is round then Gary is not white. If someone is white and nice then they are not rough. If someone is white then they are rough. If someone is rough and not nice then they are white. All big, rough people are not white.
Anne is not nice.
@0: Anne is nice.[(triple1)] Fiona is white.[(triple2)] Gary is quiet.[(triple3)] Harry is blue.[(triple4)] @1: Anne is big.[(((triple1) -> rule3))] Fiona is rough.[(((triple2) -> rule6))]