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