Anne is blue. Anne is kind. Anne is nice. Anne is red. Erin is cold. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. Harry is blue. Harry is cold. Harry is kind. Harry is nice. If something is nice then it is kind. All green, cold things are red. Kind, red things are cold.
Harry is blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Erin is cold.[(triple5)] Fiona is cold.[(triple6 OR ((triple8 triple10) -> rule3) OR ((((triple9) -> rule1) triple10) -> rule3))] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple9) -> rule1))] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple7 triple6) -> rule2))] Fiona is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14 OR ((triple15) -> rule1))] Harry is nice.[(triple15)] @1: Anne is cold.[(((triple2 triple4) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3))]