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