Dave is not white. Fiona is white. Harry is cold. All white things are not smart. If Harry is kind and Harry is smart then Harry is blue.
Dave is white.
@0: Dave is not white.[(triple1)] Fiona is white.[(triple2)] Harry is cold.[(triple3)] @1: Fiona is not smart.[(((triple2) -> rule1))]