Anne is blue. Anne is cold. Anne is rough. Dave is rough. Dave is white. Fiona is white. Harry is cold. All white, blue things are cold. White things are cold. All blue things are furry. If something is white and rough then it is not furry. Cold, white things are rough. All white, cold things are not blue.
Fiona is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Dave is rough.[(triple4 OR ((((triple5) -> rule2) triple5) -> rule5))] Dave is white.[(triple5)] Fiona is white.[(triple6)] Harry is cold.[(triple7)] @1: Anne is furry.[(((triple1) -> rule3))] Dave is cold.[(((triple5) -> rule2))] Dave is not furry.[(((triple5 triple4) -> rule4) OR ((triple5 ((((triple5) -> rule2) triple5) -> rule5)) -> rule4))] Fiona is cold.[(((triple6) -> rule2))] @2: Dave is not blue.[(((triple5 ((triple5) -> rule2)) -> rule6))] Fiona is not blue.[(((triple6 ((triple6) -> rule2)) -> rule6))] Fiona is rough.[(((((triple6) -> rule2) triple6) -> rule5))] @3: Fiona is not furry.[(((triple6 ((((triple6) -> rule2) triple6) -> rule5)) -> rule4))]