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 not blue.
@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))]