Bob is blue. Charlie is big. Charlie is blue. Dave is big. Dave is not blue. Dave is not cold. Dave is nice. Dave is red. Dave is round. Fiona is cold. If something is not cold then it is rough. All round things are nice. If something is not round then it is big. All big, cold things are blue. If something is big and rough then it is red. If something is red then it is not cold.
Bob is blue.