Bob is green. Charlie is green. Charlie is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Harry is red. Harry is smart. All rough, green people are red. All big people are smart. If someone is red then they are smart. If someone is green then they are big. All big, smart people are rough. Red people are round.
Charlie is not round.