Bob is furry. Dave is red. If Bob is smart then Bob is white. All white things are quiet. All furry things are smart.
Dave is not red.
@0: Bob is furry.[(triple1)] Dave is red.[(triple2)] @1: Bob is smart.[(((triple1) -> rule3))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is quiet.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]