Gary is blue. Gary is green. Gary is nice. Gary is not red. Gary is rough. Gary is smart. Gary is white. Blue people are green.
Gary is nice.
@0: Gary is blue.[(triple1)] Gary is green.[(triple2 OR ((triple1) -> rule1))] Gary is nice.[(triple3)] Gary is not red.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]