Anne is blue. Charlie is blue. Dave is smart. Harry is quiet. Young, white things are blue. If something is blue then it is furry. If something is furry and young then it is quiet. If Anne is quiet and Anne is blue then Anne is red. Blue things are smart. Smart things are red.
Charlie is not red.