Anne is white. Bob is red. Charlie is white. Dave is smart. If someone is red then they are white. White people are cold. If someone is cold then they are smart.
Dave is not smart.
@0: Anne is white.[(triple1)] Bob is red.[(triple2)] Charlie is white.[(triple3)] Dave is smart.[(triple4)] @1: Anne is cold.[(((triple1) -> rule2))] Bob is white.[(((triple2) -> rule1))] Charlie is cold.[(((triple3) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule2)) -> rule3))] Bob is cold.[(((((triple2) -> rule1)) -> rule2))] Charlie is smart.[(((((triple3) -> rule2)) -> rule3))] @3: Bob is smart.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))]