Anne is big. Anne is furry. Anne is red. Anne is young. Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is round. Bob is young. Charlie is blue. Charlie is red. Charlie is round. Charlie is smart. Fiona is blue. Fiona is smart. Furry things are smart. Smart, round things are red. If Fiona is blue then Fiona is big. Big, smart things are young. All smart, blue things are young. If something is round then it is red.
Charlie is red.