Bob is smart. All cold people are blue. If Bob is smart then Bob is kind. If someone is kind then they are cold. Round people are blue. All white, kind people are cold. Blue, cold people are kind.
Bob is not smart.
@0: Bob is smart.[(triple1)] @1: Bob is kind.[(((triple1) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is blue.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]