Anne is cold. Anne is nice. Anne is white. Dave is furry. Dave is red. Dave is white. Fiona is not big. Fiona is blue. Harry is big. Harry is blue. Harry is cold. Harry is furry. If something is nice then it is big. If something is white then it is furry. If Fiona is cold then Fiona is blue. All red things are white. Nice things are white. If something is furry and nice then it is red. If something is blue and not nice then it is cold. If something is red and nice then it is blue.
Anne is not blue.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule5))] Dave is furry.[(triple4 OR ((triple6) -> rule2) OR ((((triple5) -> rule4)) -> rule2))] Dave is red.[(triple5)] Dave is white.[(triple6 OR ((triple5) -> rule4))] Fiona is blue.[(triple8)] Fiona is not big.[(triple7)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] @1: Anne is big.[(((triple2) -> rule1))] Anne is furry.[(((triple3) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] @2: Anne is red.[(((((triple3) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule5)) -> rule2) triple2) -> rule6))] @3: Anne is blue.[(((((((triple3) -> rule2) triple2) -> rule6) triple2) -> rule8) OR ((((((((triple2) -> rule5)) -> rule2) triple2) -> rule6) triple2) -> rule8))]