Charlie is big. Fiona is big. Fiona is furry. All green people are furry. If Charlie is red and Charlie is furry then Charlie is smart. If someone is big and quiet then they are red. All big people are green. If someone is red then they are quiet. Furry people are red.
Charlie is not red.