Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is young. If Erin is rough and Erin is kind then Erin is furry. If Erin is green then Erin is furry.
Erin is not green.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule2) OR ((triple6 triple4) -> rule1))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)]