Charlie is red. Erin is rough. If Erin is furry and Erin is young then Erin is rough. All furry, quiet people are green. Red people are kind.
Erin is not kind.
@0: Charlie is red.[(triple1)] Erin is rough.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule3))]