Erin is furry. Erin is green. Erin is not nice. All green things are not red. Green things are not nice.
Erin is not green.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is not nice.[(triple3 OR ((triple2) -> rule2))] @1: Erin is not red.[(((triple2) -> rule1))]