Anne is not cold. Anne is green. Gary is not blue. Gary is cold. Gary is red. Gary is white. Harry is not blue. Harry is cold. Harry is green. Harry is red. Harry is white. Harry is young. If Gary is cold then Gary is young. If Harry is blue and Harry is cold then Harry is not young. If Harry is blue then Harry is white. All cold things are green. Red, young things are cold. All green things are nice. If something is young and not red then it is not white. If something is nice and not blue then it is young.
Anne is cold.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Gary is cold.[(triple4)] Gary is not blue.[(triple3)] Gary is red.[(triple5)] Gary is white.[(triple6)] Harry is cold.[(triple8 OR ((triple10 triple12) -> rule5) OR ((triple10 ((((triple9) -> rule6) triple7) -> rule8)) -> rule5))] Harry is green.[(triple9 OR ((triple8) -> rule4) OR ((((triple10 triple12) -> rule5)) -> rule4))] Harry is not blue.[(triple7)] Harry is red.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((((triple9) -> rule6) triple7) -> rule8) OR ((((((triple8) -> rule4)) -> rule6) triple7) -> rule8))] @1: Anne is nice.[(((triple2) -> rule6))] Gary is green.[(((triple4) -> rule4))] Gary is young.[(((triple4) -> rule1) OR ((((((triple4) -> rule4)) -> rule6) triple3) -> rule8))] Harry is nice.[(((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule6) OR ((((((triple10 triple12) -> rule5)) -> rule4)) -> rule6))] @2: Gary is nice.[(((((triple4) -> rule4)) -> rule6))]