Dave is quiet. If Dave is not smart then Dave is rough. All kind things are quiet. If something is cold then it is quiet. If something is cold then it is rough. If Dave is quiet then Dave is nice. Nice things are cold.
Dave is not nice.
@0: Dave is quiet.[(triple1)] @1: Dave is nice.[(((triple1) -> rule5))] @2: Dave is cold.[(((((triple1) -> rule5)) -> rule6))] @3: Dave is rough.[(((((((triple1) -> rule5)) -> rule6)) -> rule4))]