Anne is red. Bob is cold. Dave is kind. Cold things are nice. If Bob is blue then Bob is cold. All cold, white things are blue. All white, cold things are nice. If something is nice then it is white. If Anne is nice and Anne is blue then Anne is red.
Bob is white.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Dave is kind.[(triple3)] @1: Bob is nice.[(((triple2) -> rule1))] @2: Bob is white.[(((((triple2) -> rule1)) -> rule5))] @3: Bob is blue.[(((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule3))]