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