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