Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is young. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. If someone is kind then they are rough. All round people are furry. Round people are furry. Furry, nice people are round. If Harry is furry then Harry is kind. If someone is rough and kind then they are nice.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] Anne is kind.[(triple3)] Anne is round.[(triple4 OR ((triple2 ((((triple3) -> rule1) triple3) -> rule6)) -> rule4))] Anne is young.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7 OR ((triple11) -> rule2) OR ((triple11) -> rule3))] Harry is kind.[(triple8 OR ((triple7) -> rule5) OR ((((triple11) -> rule2)) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] Harry is nice.[(triple9 OR ((triple10 triple8) -> rule6) OR ((triple10 ((triple7) -> rule5)) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) ((triple7) -> rule5)) -> rule6) OR ((triple10 ((((triple11) -> rule2)) -> rule5)) -> rule6) OR ((triple10 ((((triple11) -> rule3)) -> rule5)) -> rule6) OR ((((((triple7) -> rule5)) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) ((((triple11) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple11) -> rule3)) -> rule5)) -> rule6) OR ((((((triple7) -> rule5)) -> rule1) ((triple7) -> rule5)) -> rule6) OR ((((((triple7) -> rule5)) -> rule1) ((((triple11) -> rule2)) -> rule5)) -> rule6) OR ((((((triple7) -> rule5)) -> rule1) ((((triple11) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple11) -> rule2)) -> rule5)) -> rule1) triple8) -> rule6) OR ((((((((triple11) -> rule3)) -> rule5)) -> rule1) triple8) -> rule6) OR ((((((((triple11) -> rule2)) -> rule5)) -> rule1) ((triple7) -> rule5)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule5)) -> rule1) ((triple7) -> rule5)) -> rule6) OR ((((((((triple11) -> rule2)) -> rule5)) -> rule1) ((((triple11) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple11) -> rule2)) -> rule5)) -> rule1) ((((triple11) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule5)) -> rule1) ((((triple11) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule5)) -> rule1) ((((triple11) -> rule3)) -> rule5)) -> rule6))] Harry is rough.[(triple10 OR ((triple8) -> rule1) OR ((((triple7) -> rule5)) -> rule1) OR ((((((triple11) -> rule2)) -> rule5)) -> rule1) OR ((((((triple11) -> rule3)) -> rule5)) -> rule1))] Harry is round.[(triple11 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple10 triple8) -> rule6)) -> rule4) OR ((triple7 ((triple10 ((triple7) -> rule5)) -> rule6)) -> rule4) OR ((triple7 ((((triple8) -> rule1) triple8) -> rule6)) -> rule4) OR ((triple7 ((((triple8) -> rule1) ((triple7) -> rule5)) -> rule6)) -> rule4) OR ((triple7 ((((((triple7) -> rule5)) -> rule1) triple8) -> rule6)) -> rule4) OR ((triple7 ((((((triple7) -> rule5)) -> rule1) ((triple7) -> rule5)) -> rule6)) -> rule4))] Harry is young.[(triple12)] @1: Anne is rough.[(((triple3) -> rule1))] @2: Anne is nice.[(((((triple3) -> rule1) triple3) -> rule6))]