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