Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is young. If Gary is kind then Gary is young.
Gary is not quiet.
@0: Gary is kind.[(triple1)] Gary is nice.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple1) -> rule1))]