Alan is round. Alan is nice. Alan is cold. Alan is blue. Bob is kind. Dave is nice. Dave is big. Harry is young. Harry is round. Harry is green. If someone is big and green then they are cold. If someone is green and young and round then they are big. If someone is rough and blue and kind then they are big. If someone is blue and big then they are round. If someone is young and cold then they are rough. If someone is cold and kind and blue then they are red. If someone is red and young and kind then they are big.
Bob is not blue.