Dave is cold. Erin is green. White things are blue. If Dave is not young then Dave is green. If Erin is green then Erin is not white.
Dave is young.
@0: Dave is cold.[(triple1)] Erin is green.[(triple2)] @1: Erin is not white.[(((triple2) -> rule3))]