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