Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is young. All green things are rough.
Gary is rough.
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6 OR ((triple2) -> rule1))] Gary is young.[(triple7)]