Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is white. If someone is blue and nice then they are big.
Gary is nice.
@0: Gary is big.[(triple1 OR ((triple2 triple4) -> rule1))] Gary is blue.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]