Anne is not furry. Anne is nice. Anne is quiet. Charlie is furry. Fiona is green. Fiona is kind. Fiona is not round. All green things are furry. If Fiona is nice and Fiona is kind then Fiona is not green. If something is quiet then it is red. Quiet things are nice. Green things are red. If something is round and not furry then it is green.
Charlie is not red.