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