Gary is cold. Gary is green. Gary is not kind. Gary is not nice. Gary is red. Gary is not rough. Gary is smart. If Gary is not kind and Gary is not red then Gary is not cold. All smart people are green. If someone is nice and green then they are not cold.
Gary is not red.
@0: Gary is cold.[(triple1)] Gary is green.[(triple2 OR ((triple7) -> rule2))] Gary is not kind.[(triple3)] Gary is not nice.[(triple4)] Gary is not rough.[(triple6)] Gary is red.[(triple5)] Gary is smart.[(triple7)]