Charlie is blue. Dave is kind. If someone is blue then they are smart. All smart people are white.
Dave is red.
@0: Charlie is blue.[(triple1)] Dave is kind.[(triple2)] @1: Charlie is smart.[(((triple1) -> rule1))] @2: Charlie is white.[(((((triple1) -> rule1)) -> rule2))]