Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is smart. Anne is young. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is round. Erin is smart. Erin is young. If someone is young then they are furry. Big people are round. If someone is round and kind then they are blue. Round people are smart. Furry people are kind. All big people are young.
Erin is not young.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple3) -> rule5)) -> rule3) OR ((((triple1) -> rule2) triple4) -> rule3) OR ((((triple1) -> rule2) ((triple3) -> rule5)) -> rule3) OR ((triple5 ((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((triple1) -> rule2) ((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((triple5 ((((((triple1) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule1)) -> rule5)) -> rule3))] Anne is furry.[(triple3 OR ((triple7) -> rule1) OR ((((triple1) -> rule6)) -> rule1))] Anne is kind.[(triple4 OR ((triple3) -> rule5) OR ((((triple7) -> rule1)) -> rule5) OR ((((((triple1) -> rule6)) -> rule1)) -> rule5))] Anne is round.[(triple5 OR ((triple1) -> rule2))] Anne is smart.[(triple6 OR ((triple5) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] Anne is young.[(triple7 OR ((triple1) -> rule6))] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple10) -> rule5)) -> rule3) OR ((((triple8) -> rule2) triple11) -> rule3) OR ((((triple8) -> rule2) ((triple10) -> rule5)) -> rule3) OR ((triple12 ((((triple14) -> rule1)) -> rule5)) -> rule3) OR ((((triple8) -> rule2) ((((triple14) -> rule1)) -> rule5)) -> rule3) OR ((triple12 ((((((triple8) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((triple8) -> rule2) ((((((triple8) -> rule6)) -> rule1)) -> rule5)) -> rule3))] Erin is furry.[(triple10 OR ((triple14) -> rule1) OR ((((triple8) -> rule6)) -> rule1))] Erin is kind.[(triple11 OR ((triple10) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((((triple8) -> rule6)) -> rule1)) -> rule5))] Erin is round.[(triple12 OR ((triple8) -> rule2))] Erin is smart.[(triple13 OR ((triple12) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] Erin is young.[(triple14 OR ((triple8) -> rule6))]