Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Green, round people are red. Green, quiet people are blue. If someone is quiet and rough then they are round.
Gary is not rough.
@0: Gary is blue.[(triple1 OR ((triple2 triple4) -> rule2))] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5 OR ((triple2 triple7) -> rule1) OR ((triple2 ((triple4 triple6) -> rule3)) -> rule1))] Gary is rough.[(triple6)] Gary is round.[(triple7 OR ((triple4 triple6) -> rule3))]