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