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