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 green.
@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)]