Anne is not blue. Anne is cold. Anne is nice. Anne is not quiet. Anne is red. Anne is rough. Anne is smart. Charlie is rough. Gary is cold. Gary is red. Gary is rough. Gary is not smart. Harry is blue. Harry is cold. Harry is nice. If someone is nice and not red then they are smart. If Harry is smart and Harry is not cold then Harry is quiet. If someone is blue and not cold then they are not rough. If someone is cold and rough then they are nice. If Anne is cold and Anne is nice then Anne is rough. If Harry is not red then Harry is not smart.
Anne is not red.
@0: Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple2 triple6) -> rule4))] Anne is not blue.[(triple1)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple2 triple3) -> rule5))] Anne is smart.[(triple7)] Charlie is rough.[(triple8)] Gary is cold.[(triple9)] Gary is not smart.[(triple12)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] @1: Gary is nice.[(((triple9 triple11) -> rule4))]