Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is white. Green, quiet people are rough. All white people are rough. All quiet people are red. Red, rough people are white. Red people are blue. If Gary is red then Gary is nice.
Gary is not white.
@0: Gary is blue.[(triple1 OR ((triple5) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Gary is green.[(triple2)] Gary is nice.[(triple3 OR ((triple5) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] Gary is quiet.[(triple4)] Gary is red.[(triple5 OR ((triple4) -> rule3))] Gary is rough.[(triple6 OR ((triple7) -> rule2) OR ((triple2 triple4) -> rule1))] Gary is white.[(triple7 OR ((triple5 triple6) -> rule4) OR ((triple5 ((triple2 triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule3) triple6) -> rule4) OR ((((triple4) -> rule3) ((triple2 triple4) -> rule1)) -> rule4))]