Dave is young. All young things are cold. If something is cold and nice then it is not smart. Smart, green things are nice. If something is young and not cold then it is not green. If something is big and not cold then it is green. If something is cold then it is not green. If something is smart and not big then it is kind. If something is young and not smart then it is kind.
Dave is young.
@0: Dave is young.[(triple1)] @1: Dave is cold.[(((triple1) -> rule1))] @2: Dave is not green.[(((((triple1) -> rule1)) -> rule6))]