Gary is big. Gary is furry. Gary is green. Gary is red. Gary is smart. Gary is white. Gary is young. All young, smart people are green.
Gary is not young.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((triple7 triple5) -> rule1))] Gary is red.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]