Dave is smart. If Dave is green and Dave is smart then Dave is nice. If something is rough then it is green. White things are not nice. If something is smart and white then it is not kind. If Dave is smart then Dave is rough. If Dave is kind then Dave is white.
Dave is not green.
@0: Dave is smart.[(triple1)] @1: Dave is rough.[(((triple1) -> rule5))] @2: Dave is green.[(((((triple1) -> rule5)) -> rule2))] @3: Dave is nice.[(((((((triple1) -> rule5)) -> rule2) triple1) -> rule1))]