Anne is blue. Anne is rough. Charlie is blue. Charlie is round. Fiona is rough. Fiona is smart. Harry is nice. All round, rough things are red. All furry things are round. If something is nice then it is furry. Furry, round things are smart. Rough things are red. If Harry is smart and Harry is furry then Harry is rough.
Anne is not red.