Anne is white. Dave is nice. Dave is rough. All white people are smart. If someone is cold then they are not smart. If Anne is kind then Anne is cold.
Dave is white.
@0: Anne is white.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))]