Anne is cold. Anne is kind. Anne is nice. Anne is not red. Anne is white. Anne is young. Charlie is not cold. Charlie is kind. Charlie is red. Fiona is young. If something is white and not kind then it is not furry. If something is cold then it is furry. Nice, young things are cold. If something is young then it is nice. If something is nice then it is white. If Charlie is young and Charlie is not white then Charlie is not furry.
Charlie is furry.
@0: Anne is cold.[(triple1 OR ((triple3 triple6) -> rule3) OR ((((triple6) -> rule4) triple6) -> rule3))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule4))] Anne is not red.[(triple4)] Anne is white.[(triple5 OR ((triple3) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] Anne is young.[(triple6)] Charlie is kind.[(triple8)] Charlie is not cold.[(triple7)] Charlie is red.[(triple9)] Fiona is young.[(triple10)] @1: Anne is furry.[(((triple1) -> rule2) OR ((((triple3 triple6) -> rule3)) -> rule2) OR ((((((triple6) -> rule4) triple6) -> rule3)) -> rule2))] Fiona is nice.[(((triple10) -> rule4))] @2: Fiona is cold.[(((((triple10) -> rule4) triple10) -> rule3))] Fiona is white.[(((((triple10) -> rule4)) -> rule5))] @3: Fiona is furry.[(((((((triple10) -> rule4) triple10) -> rule3)) -> rule2))]