Anne is kind. Anne is nice. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is young. Fiona is green. Fiona is quiet. Harry is green. If something is quiet then it is nice. If something is blue then it is nice. All green things are cold. Kind things are young. If Fiona is cold then Fiona is quiet. Kind things are nice. If Erin is blue and Erin is kind then Erin is green. Blue, nice things are cold.
Erin is not nice.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule6))] Erin is blue.[(triple3)] Erin is cold.[(triple4 OR ((triple3 triple5) -> rule8) OR ((triple3 ((triple3) -> rule2)) -> rule8) OR ((triple3 ((triple6) -> rule1)) -> rule8))] Erin is nice.[(triple5 OR ((triple3) -> rule2) OR ((triple6) -> rule1))] Erin is quiet.[(triple6)] Erin is young.[(triple7)] Fiona is green.[(triple8)] Fiona is quiet.[(triple9 OR ((((triple8) -> rule3)) -> rule5))] Harry is green.[(triple10)] @1: Anne is young.[(((triple1) -> rule4))] Fiona is cold.[(((triple8) -> rule3))] Fiona is nice.[(((triple9) -> rule1) OR ((((((triple8) -> rule3)) -> rule5)) -> rule1))] Harry is cold.[(((triple10) -> rule3))]