Dave is blue. If Dave is blue then Dave is young. If Dave is not red then Dave is young. All young things are furry. Quiet, white things are furry. All furry things are kind. All white things are not kind. If Dave is red then Dave is not white. Kind, quiet things are not blue.
Dave is not blue.
@0: Dave is blue.[(triple1)] @1: Dave is young.[(((triple1) -> rule1))] @2: Dave is furry.[(((((triple1) -> rule1)) -> rule3))] @3: Dave is kind.[(((((((triple1) -> rule1)) -> rule3)) -> rule5))]