Gary is blue. Gary is cold. Gary is not kind. Gary is rough. Gary is round. Gary is white. Gary is young. If Gary is not kind then Gary is young.
Gary is white.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is not kind.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple3) -> rule1))]