Dave is blue. Erin is blue. All round, smart people are quiet. If Erin is blue then Erin is quiet.
Erin is not blue.
@0: Dave is blue.[(triple1)] Erin is blue.[(triple2)] @1: Erin is quiet.[(((triple2) -> rule2))]