Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is not smart. Erin is not white. Erin is young. If Erin is not white then Erin is kind.
Erin is not smart.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple6) -> rule1))] Erin is not smart.[(triple5)] Erin is not white.[(triple6)] Erin is red.[(triple4)] Erin is young.[(triple7)]