Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is red. Gary is rough. Gary is white. Cold, rough things are big. If something is nice and blue then it is rough. If something is big and cold then it is rough.
Gary is not white.
@0: Gary is big.[(triple1 OR ((triple3 triple6) -> rule1) OR ((triple3 ((triple4 triple2) -> rule2)) -> rule1))] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6 OR ((triple1 triple3) -> rule3) OR ((triple4 triple2) -> rule2))] Gary is white.[(triple7)]