Anne is furry. Anne is kind. Anne is red. Anne is smart. Bob is green. Fiona is furry. Fiona is green. If Fiona is furry then Fiona is blue. If Bob is big and Bob is red then Bob is furry. Green things are furry.
Fiona is not red.