Bob is white. Dave is white. If Bob is nice and Bob is not white then Bob is furry. All white things are furry. Furry things are quiet. Smart, white things are not kind. If something is quiet and not furry then it is smart. If something is smart and kind then it is red. Furry things are red. If something is furry and not white then it is red.
Bob is not kind.
@0: Bob is white.[(triple1)] Dave is white.[(triple2)] @1: Bob is furry.[(((triple1) -> rule2))] Dave is furry.[(((triple2) -> rule2))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule3))] Bob is red.[(((((triple1) -> rule2)) -> rule7))] Dave is quiet.[(((((triple2) -> rule2)) -> rule3))] Dave is red.[(((((triple2) -> rule2)) -> rule7))]