Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is white. Fiona is big. Fiona is green. Fiona is quiet. Fiona is round. Fiona is white. Nice things are green. Round things are green. Nice things are round.
Fiona is nice.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple4) -> rule1) OR ((triple6) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule3))] Erin is white.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9 OR ((triple11) -> rule2))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]