Bob is blue. If Bob is furry then Bob is smart. If something is big then it is cold. All white things are big. All furry, big things are white. White things are green. All blue things are big. If Bob is cold then Bob is smart. White things are green.
Bob is not blue.
@0: Bob is blue.[(triple1)] @1: Bob is big.[(((triple1) -> rule6))] @2: Bob is cold.[(((((triple1) -> rule6)) -> rule2))] @3: Bob is smart.[(((((((triple1) -> rule6)) -> rule2)) -> rule7))]