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