Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is young. If Erin is quiet and Erin is young then Erin is green. All young people are smart. If someone is smart then they are quiet. If someone is rough and furry then they are quiet. If someone is furry then they are young. Quiet people are green. All young people are smart. All quiet, green people are young.
Erin is smart.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple4) -> rule6) OR ((triple4 triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple5 triple2) -> rule4)) -> rule6) OR ((triple4 ((triple2) -> rule5)) -> rule1) OR ((((triple6) -> rule3) triple7) -> rule1) OR ((((triple5 triple2) -> rule4) triple7) -> rule1) OR ((((triple6) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((triple5 triple2) -> rule4) ((triple2) -> rule5)) -> rule1) OR ((((((triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((triple7) -> rule7)) -> rule3) triple7) -> rule1) OR ((((((triple7) -> rule2)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((triple7) -> rule7)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule5)) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule3) triple7) -> rule1) OR ((((((((triple2) -> rule5)) -> rule2)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule3) ((triple2) -> rule5)) -> rule1))] Erin is quiet.[(triple4 OR ((triple6) -> rule3) OR ((triple5 triple2) -> rule4) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple7) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule2)) -> rule3) OR ((((((triple2) -> rule5)) -> rule7)) -> rule3))] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule7) OR ((((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple4 triple3) -> rule8)) -> rule2) OR ((((triple4 triple3) -> rule8)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) triple3) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) triple3) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule7))] Erin is young.[(triple7 OR ((triple2) -> rule5) OR ((triple4 triple3) -> rule8) OR ((triple4 ((triple4) -> rule6)) -> rule8) OR ((((triple6) -> rule3) triple3) -> rule8) OR ((((triple5 triple2) -> rule4) triple3) -> rule8) OR ((((triple6) -> rule3) ((triple4) -> rule6)) -> rule8) OR ((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8) OR ((triple4 ((((triple6) -> rule3)) -> rule6)) -> rule8) OR ((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule6)) -> rule8) OR ((((triple6) -> rule3) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8) OR ((((triple5 triple2) -> rule4) ((((triple6) -> rule3)) -> rule6)) -> rule8) OR ((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8))]