Anne is red. Dave is smart. Erin is red. If someone is red then they are smart.
Anne is smart.
@0: Anne is red.[(triple1)] Dave is smart.[(triple2)] Erin is red.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))] Erin is smart.[(((triple3) -> rule1))]