Anne is red. Charlie is smart. Dave is smart. All cold, nice things are white. If something is red then it is cold.
Anne is not red.
@0: Anne is red.[(triple1)] Charlie is smart.[(triple2)] Dave is smart.[(triple3)] @1: Anne is cold.[(((triple1) -> rule2))]