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