Bob is big. Bob is not cold. Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is young. Dave is big. Dave is furry. Dave is nice. Dave is red. Dave is not young. If something is young then it is rough. All red, furry things are nice. If something is young and not cold then it is furry. If Dave is red and Dave is young then Dave is not big. Rough things are red. If Bob is furry then Bob is not cold.
Dave is cold.