Anne is nice. Anne is white. Fiona is nice. Gary is cold. Harry is cold. Harry is kind. Harry is young. If something is white and cold then it is blue. White, cold things are smart. If Harry is cold then Harry is nice. If something is nice and young then it is blue. Nice things are young. If Fiona is white and Fiona is kind then Fiona is young. If Harry is blue and Harry is cold then Harry is nice. If Anne is cold and Anne is blue then Anne is smart.
Anne is not nice.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Fiona is nice.[(triple3)] Gary is cold.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7 OR ((((triple5) -> rule3)) -> rule5))] @1: Anne is young.[(((triple1) -> rule5))] Fiona is young.[(((triple3) -> rule5))] Harry is nice.[(((triple5) -> rule3))] @2: Anne is blue.[(((triple1 ((triple1) -> rule5)) -> rule4))] Fiona is blue.[(((triple3 ((triple3) -> rule5)) -> rule4))] Harry is blue.[(((((triple5) -> rule3) triple7) -> rule4) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule4))]