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