Gary is blue. Gary is cold. Gary is nice. Gary is red. Gary is rough. Gary is not smart. Gary is young. If something is rough and not red then it is not cold. If Gary is young then Gary is nice.
Gary is not cold.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is nice.[(triple3 OR ((triple7) -> rule2))] Gary is not smart.[(triple6)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is young.[(triple7)]