Anne is cold. Bob is green. Charlie is cold. If someone is young then they are green. If Bob is quiet and Bob is green then Bob is cold. All young, blue people are red. If someone is young then they are green. If someone is cold then they are young. Quiet people are big.
Charlie is not young.