Dave is cold. All smart things are big. Nice things are smart. If Dave is smart and Dave is nice then Dave is quiet. Furry things are cold. If something is nice and kind then it is cold. If something is quiet and not smart then it is furry. If Dave is smart and Dave is not big then Dave is not kind. If Dave is not kind then Dave is cold.
Dave is cold.
@0: Dave is cold.[(triple1)]