Anne is cold. Anne is kind. Anne is quiet. Anne is young. Bob is quiet. Bob is white. Bob is young. Quiet, cold things are furry. White, young things are kind. Quiet, kind things are cold.
Anne is not white.
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] @1: Anne is furry.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule1))] Bob is kind.[(((triple6 triple7) -> rule2))] @2: Bob is cold.[(((triple5 ((triple6 triple7) -> rule2)) -> rule3))] @3: Bob is furry.[(((triple5 ((triple5 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]