Bob is blue. If Bob is red then Bob is blue. If someone is blue then they are furry. Furry people are red. If someone is furry and not quiet then they are red. Red people are green. All green people are cold. If Bob is not red then Bob is round. If someone is green and not cold then they are round.
Bob is not blue.
@0: Bob is blue.[(triple1)] @1: Bob is furry.[(((triple1) -> rule2))] @2: Bob is red.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is green.[(((((((triple1) -> rule2)) -> rule3)) -> rule5))] @4: Bob is cold.[(((((((((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule6))]