Anne is furry. Anne is quiet. Anne is round. Bob is quiet. Bob is red. Bob is round. Harry is furry. Harry is quiet. Harry is round. Harry is white. If something is red then it is blue. All blue, red things are cold. Round things are red.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple6) -> rule3))] Bob is round.[(triple6)] Harry is furry.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Anne is red.[(((triple3) -> rule3))] Bob is blue.[(((triple5) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Harry is red.[(((triple9) -> rule3))] @2: Anne is blue.[(((((triple3) -> rule3)) -> rule1))] Bob is cold.[(((((triple5) -> rule1) triple5) -> rule2) OR ((((triple5) -> rule1) ((triple6) -> rule3)) -> rule2) OR ((((((triple6) -> rule3)) -> rule1) triple5) -> rule2) OR ((((((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule2))] Harry is blue.[(((((triple9) -> rule3)) -> rule1))] @3: Anne is cold.[(((((((triple3) -> rule3)) -> rule1) ((triple3) -> rule3)) -> rule2))] Harry is cold.[(((((((triple9) -> rule3)) -> rule1) ((triple9) -> rule3)) -> rule2))]