Dave is round. Erin is blue. Erin is smart. If Dave is round then Dave is smart.
Dave is not quiet.
@0: Dave is round.[(triple1)] Erin is blue.[(triple2)] Erin is smart.[(triple3)] @1: Dave is smart.[(((triple1) -> rule1))]