Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is smart. All cold, rough people are nice. If someone is kind then they are rough.
Erin is not furry.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple1 triple6) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule1))] Erin is rough.[(triple6 OR ((triple4) -> rule2))] Erin is smart.[(triple7)]