Anne is big. Anne is blue. Anne is kind. Anne is rough. Bob is blue. Bob is kind. Bob is red. Fiona is red. Fiona is rough. Harry is blue. Harry is rough. Kind, rough people are young. All rough people are kind. If someone is young then they are white. If someone is big and white then they are red. All young, white people are blue. Big, white people are young. All blue, rough people are big. If Anne is kind and Anne is blue then Anne is white.
Harry is not red.