Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Round, green people are furry.
Erin is smart.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple6 triple3) -> rule1))] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]