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