Charlie is nice. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is red. Fiona is round. Harry is cold. Harry is nice. If someone is big and cold then they are round. Red, big people are blue. If Fiona is cold and Fiona is round then Fiona is red. All big, round people are green. If someone is green and big then they are red. If someone is cold then they are big. All red people are nice. Blue people are big. If someone is big then they are cold.
Charlie is not round.