Anne is cold. Anne is quiet. Anne is young. Dave is furry. Dave is quiet. Gary is red. Harry is green. If Gary is young and Gary is nice then Gary is cold. Red things are green. If something is furry and green then it is nice. Green, young things are nice. All cold things are furry. If something is green and not quiet then it is young. If Anne is red and Anne is not young then Anne is furry.
Dave is not nice.