Charlie is green. If someone is quiet then they are green. Green people are big. Big, green people are quiet. If Charlie is quiet then Charlie is cold. If Charlie is big and Charlie is green then Charlie is red. All big people are green.
Charlie is not red.