Bob is smart. Charlie is rough. Dave is kind. Fiona is kind. If something is kind and cold then it is furry. If something is kind and rough then it is cold. If Bob is kind and Bob is smart then Bob is big. All smart, kind things are red. Furry things are smart. All furry things are smart.
Dave is not kind.