Gary is cold. Gary is not green. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. Cold things are nice.
Gary is not young.
@0: Gary is cold.[(triple1)] Gary is nice.[(triple3 OR ((triple1) -> rule1))] Gary is not green.[(triple2)] Gary is quiet.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]