Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is white. All red, rough things are smart. If Gary is big then Gary is white. Rough things are smart. All furry things are blue. If something is red then it is furry. If Gary is rough then Gary is white.
Gary is red.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Gary is furry.[(triple3 OR ((triple4) -> rule5))] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6 OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule1))] Gary is white.[(triple7 OR ((triple1) -> rule2) OR ((triple5) -> rule6))]