Dave is quiet. If Dave is quiet then Dave is smart. Quiet people are round.
Dave is not round.
@0: Dave is quiet.[(triple1)] @1: Dave is round.[(((triple1) -> rule2))] Dave is smart.[(((triple1) -> rule1))]