Dave is cold. If Dave is quiet then Dave is young. If Dave is not smart then Dave is young. All furry, green things are not quiet. All green things are not young. White things are green. All cold things are white. Young things are white. All young, white things are furry.
Dave is not green.
@0: Dave is cold.[(triple1)] @1: Dave is white.[(((triple1) -> rule6))] @2: Dave is green.[(((((triple1) -> rule6)) -> rule5))] @3: Dave is not young.[(((((((triple1) -> rule6)) -> rule5)) -> rule4))]