Anne is green. Bob is young. Charlie is cold. Erin is quiet. If something is green and red then it is not cold. If something is quiet then it is furry. All furry things are red. If something is young then it is green. If something is not red then it is smart. If something is not young and not smart then it is green.
Bob is red.