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