Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is white. If Gary is rough then Gary is white. All nice, white things are rough. Big, blue things are rough.
Gary is not rough.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5 OR ((triple1 triple2) -> rule3) OR ((triple4 triple7) -> rule2))] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple5) -> rule1) OR ((((triple1 triple2) -> rule3)) -> rule1))]