Erin is green. Gary is white. If something is green then it is smart. Big, round things are green.
Gary is white.
@0: Erin is green.[(triple1)] Gary is white.[(triple2)] @1: Erin is smart.[(((triple1) -> rule1))]