Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is round. If something is quiet and big then it is furry. Big, blue things are rough. If something is round and quiet then it is big. All blue, quiet things are round. If Harry is quiet then Harry is furry. If something is furry and cold then it is rough.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple4 ((((triple1 triple4) -> rule4) triple4) -> rule3)) -> rule1))] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple3 triple2) -> rule6) OR ((((((triple1 triple4) -> rule4) triple4) -> rule3) triple1) -> rule2) OR ((((triple4 ((((triple1 triple4) -> rule4) triple4) -> rule3)) -> rule1) triple2) -> rule6))] Harry is big.[(triple6 OR ((triple12 triple10) -> rule3) OR ((((triple7 triple10) -> rule4) triple10) -> rule3))] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple10) -> rule5) OR ((triple10 triple6) -> rule1) OR ((triple10 ((triple12 triple10) -> rule3)) -> rule1) OR ((triple10 ((((triple7 triple10) -> rule4) triple10) -> rule3)) -> rule1))] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple6 triple7) -> rule2) OR ((triple9 triple8) -> rule6) OR ((((triple10) -> rule5) triple8) -> rule6) OR ((((triple10 triple6) -> rule1) triple8) -> rule6) OR ((((triple12 triple10) -> rule3) triple7) -> rule2) OR ((((triple10 ((triple12 triple10) -> rule3)) -> rule1) triple8) -> rule6) OR ((((((triple7 triple10) -> rule4) triple10) -> rule3) triple7) -> rule2) OR ((((triple10 ((((triple7 triple10) -> rule4) triple10) -> rule3)) -> rule1) triple8) -> rule6))] Harry is round.[(triple12 OR ((triple7 triple10) -> rule4))] @1: Anne is round.[(((triple1 triple4) -> rule4))] @2: Anne is big.[(((((triple1 triple4) -> rule4) triple4) -> rule3))]