Anne is blue. Anne is not red. Anne is rough. Anne is round. Fiona is blue. Fiona is round. Fiona is not smart. All red things are not big. If Anne is round and Anne is furry then Anne is red. Big, blue things are rough.
Fiona is not rough.