Bob is nice. Dave is nice. Fiona is cold. Harry is nice. If someone is cold then they are blue. Cold, nice people are kind. All big, blue people are smart. If someone is cold and kind then they are smart. If Dave is cold then Dave is big. If someone is cold and blue then they are quiet. If someone is cold and quiet then they are nice. All nice, quiet people are big.
Bob is not cold.