Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is round. Erin is smart. Erin is young. All kind things are smart. If something is nice and smart then it is round. All round things are young. Young, green things are kind. Smart things are kind. Nice things are kind. All round, smart things are kind. If Erin is young then Erin is smart.
Erin is not nice.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple4) -> rule6) OR ((triple6) -> rule5) OR ((triple5 triple6) -> rule7) OR ((triple7 triple2) -> rule4) OR ((((triple7) -> rule8)) -> rule5) OR ((triple5 ((triple7) -> rule8)) -> rule7) OR ((((triple5) -> rule3) triple2) -> rule4) OR ((((triple4 triple6) -> rule2) triple6) -> rule7) OR ((((triple4 triple6) -> rule2) ((triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3)) -> rule8)) -> rule5) OR ((triple5 ((((triple5) -> rule3)) -> rule8)) -> rule7) OR ((((((triple4 triple6) -> rule2)) -> rule3) triple2) -> rule4) OR ((((triple4 ((triple7) -> rule8)) -> rule2) triple6) -> rule7) OR ((((triple4 triple6) -> rule2) ((((triple5) -> rule3)) -> rule8)) -> rule7) OR ((((triple4 ((triple7) -> rule8)) -> rule2) ((triple7) -> rule8)) -> rule7) OR ((((triple4 ((triple7) -> rule8)) -> rule2) ((((triple5) -> rule3)) -> rule8)) -> rule7))] Erin is nice.[(triple4)] Erin is round.[(triple5 OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple3) -> rule1)) -> rule2) OR ((triple4 ((triple7) -> rule8)) -> rule2) OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule2) OR ((triple4 ((((triple7 triple2) -> rule4)) -> rule1)) -> rule2))] Erin is smart.[(triple6 OR ((triple3) -> rule1) OR ((triple7) -> rule8) OR ((((triple4) -> rule6)) -> rule1) OR ((((triple5) -> rule3)) -> rule8) OR ((((triple7 triple2) -> rule4)) -> rule1) OR ((((((triple5) -> rule3) triple2) -> rule4)) -> rule1))] Erin is young.[(triple7 OR ((triple5) -> rule3) OR ((((triple4 triple6) -> rule2)) -> rule3) OR ((((triple4 ((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule2)) -> rule3))]