Charlie is red. Dave is smart. Fiona is green. All smart people are white.
Dave is not white.
@0: Charlie is red.[(triple1)] Dave is smart.[(triple2)] Fiona is green.[(triple3)] @1: Dave is white.[(((triple2) -> rule1))]