Dave is cold. Dave is kind. Dave is nice. If something is cold and rough then it is quiet. All kind things are quiet. If something is quiet then it is rough. If something is quiet and kind then it is not smart. If something is nice and not rough then it is not smart. If something is quiet and not kind then it is not smart.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule2))] @2: Dave is not smart.[(((((triple2) -> rule2) triple2) -> rule4))] Dave is rough.[(((((triple2) -> rule2)) -> rule3))]