Bob is blue. Bob is cold. Bob is kind. Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Fiona is big. Fiona is rough. Harry is cold. Harry is red. If Fiona is white then Fiona is blue. Kind people are rough. If someone is big then they are rough. All blue people are rough. All red people are blue. If Charlie is kind and Charlie is blue then Charlie is white. Kind, white people are red. Cold people are blue.
Harry is not blue.