Anne is blue. Anne is not cold. Anne is not nice. Anne is smart. Anne is young. Bob is kind. Bob is nice. Bob is red. Bob is not young. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. If something is nice and not cold then it is young. If Gary is smart then Gary is red.
Gary is cold.
@0: Anne is blue.[(triple1)] Anne is not cold.[(triple2)] Anne is not nice.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is not young.[(triple9)] Bob is red.[(triple8)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule2))] Gary is smart.[(triple15)] Gary is young.[(triple16)]