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