Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is young. Round people are young.
Gary is not round.
@0: Gary is green.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple5) -> rule1))]