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