Anne is big. Dave is green. Erin is furry. Gary is quiet. If Dave is furry and Dave is big then Dave is kind. All big people are smart.
Dave is not green.
@0: Anne is big.[(triple1)] Dave is green.[(triple2)] Erin is furry.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is smart.[(((triple1) -> rule2))]