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