Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is smart. Gary is white. If Gary is furry and Gary is green then Gary is blue.
Gary is big.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple3 triple4) -> rule1))] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]