Anne is red. Charlie is blue. Erin is green. Gary is green. Smart, rough things are green. If something is red then it is smart.
Erin is not smart.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Erin is green.[(triple3)] Gary is green.[(triple4)] @1: Anne is smart.[(((triple1) -> rule2))]