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