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