Anne is red. Bob is big. Bob is blue. Bob is green. Bob is red. Dave is blue. Dave is nice. Dave is round. Dave is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. All round, green things are big. If something is red then it is young. Blue things are green. Round, young things are nice. Young things are blue. If something is green then it is red. Green, blue things are round. If something is young and not round then it is red.
Bob is not blue.