Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is young. Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Fiona is big. Fiona is furry. Fiona is quiet. All young things are quiet. If Bob is young then Bob is big. If something is big and not red then it is not blue. If something is young and not green then it is quiet. Green things are blue. If something is not young then it is big.
Fiona is not green.