Bob is kind. If something is furry then it is quiet. All kind things are cold. If Bob is cold then Bob is blue. If Bob is blue then Bob is furry. All quiet, nice things are furry. Nice, quiet things are young.
Bob is not furry.
@0: Bob is kind.[(triple1)] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is furry.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))] @4: Bob is quiet.[(((((((((triple1) -> rule2)) -> rule3)) -> rule4)) -> rule1))]