Anne is blue. Anne is furry. Anne is quiet. Anne is rough. Harry is blue. Harry is nice. Harry is rough. If someone is furry and cold then they are blue. If someone is round and quiet then they are nice. All quiet people are furry. All furry people are cold. If Anne is furry and Anne is cold then Anne is nice. All cold, blue people are rough.
Anne is not round.
@0: Anne is blue.[(triple1 OR ((triple2 ((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((triple2 ((((triple3) -> rule3)) -> rule4)) -> rule1) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule1))] Anne is furry.[(triple2 OR ((triple3) -> rule3))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((((triple2) -> rule4) triple1) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) triple1) -> rule6) OR ((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple2 ((((triple3) -> rule3)) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule1)) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) ((triple2 ((((triple3) -> rule3)) -> rule4)) -> rule1)) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule1)) -> rule6))] Harry is blue.[(triple5)] Harry is nice.[(triple6)] Harry is rough.[(triple7)] @1: Anne is cold.[(((triple2) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] @2: Anne is nice.[(((triple2 ((triple2) -> rule4)) -> rule5) OR ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule5) OR ((triple2 ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule5))]