Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is young. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is round. Harry is young. All round people are furry. All young, big people are nice. If Anne is furry then Anne is round. Nice people are kind. If Harry is green and Harry is round then Harry is big. All round people are nice. All kind people are young. If Anne is big and Anne is nice then Anne is furry.
Harry is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple6) -> rule1) OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple6) -> rule6)) -> rule8) OR ((triple1 ((triple7 triple1) -> rule2)) -> rule8) OR ((triple1 ((((triple4) -> rule7) triple1) -> rule2)) -> rule8))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple5) -> rule4) OR ((((triple6) -> rule6)) -> rule4) OR ((((triple7 triple1) -> rule2)) -> rule4) OR ((((((triple2) -> rule3)) -> rule6)) -> rule4))] Anne is nice.[(triple5 OR ((triple6) -> rule6) OR ((triple7 triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple4) -> rule7) triple1) -> rule2))] Anne is round.[(triple6 OR ((triple2) -> rule3) OR ((((triple1 triple5) -> rule8)) -> rule3) OR ((((triple1 ((triple7 triple1) -> rule2)) -> rule8)) -> rule3) OR ((((triple1 ((((triple4) -> rule7) triple1) -> rule2)) -> rule8)) -> rule3))] Anne is young.[(triple7 OR ((triple4) -> rule7) OR ((((triple5) -> rule4)) -> rule7) OR ((((((triple6) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule7))] Harry is big.[(triple8 OR ((triple10 triple13) -> rule5))] Harry is furry.[(triple9 OR ((triple13) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple12) -> rule4) OR ((((triple13) -> rule6)) -> rule4) OR ((((triple14 triple8) -> rule2)) -> rule4) OR ((((triple14 ((triple10 triple13) -> rule5)) -> rule2)) -> rule4))] Harry is nice.[(triple12 OR ((triple13) -> rule6) OR ((triple14 triple8) -> rule2) OR ((triple14 ((triple10 triple13) -> rule5)) -> rule2) OR ((((triple11) -> rule7) triple8) -> rule2) OR ((((triple11) -> rule7) ((triple10 triple13) -> rule5)) -> rule2))] Harry is round.[(triple13)] Harry is young.[(triple14 OR ((triple11) -> rule7) OR ((((triple12) -> rule4)) -> rule7) OR ((((((triple13) -> rule6)) -> rule4)) -> rule7))]