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