Bob is smart. Smart people are kind. Smart, kind people are not cold. Kind people are blue. If someone is red and furry then they are blue. Furry people are red. Kind people are smart. If Bob is cold and Bob is kind then Bob is furry. If someone is red and not furry then they are not young.
Bob is not smart.
@0: Bob is smart.[(triple1)] @1: Bob is kind.[(((triple1) -> rule1))] @2: Bob is blue.[(((((triple1) -> rule1)) -> rule3))] Bob is not cold.[(((triple1 ((triple1) -> rule1)) -> rule2))]