Charlie is nice. Erin is green. Harry is blue. Green people are nice. Young, smart people are green. If someone is green then they are blue.
Erin is not green.
@0: Charlie is nice.[(triple1)] Erin is green.[(triple2)] Harry is blue.[(triple3)] @1: Erin is blue.[(((triple2) -> rule3))] Erin is nice.[(((triple2) -> rule1))]