Anne is not quiet. Anne is smart. Anne is white. Charlie is big. Charlie is smart. Charlie is white. Fiona is big. Fiona is quiet. Fiona is rough. Fiona is smart. If something is green then it is not rough. If Anne is not quiet then Anne is white. All quiet things are rough. If something is not green then it is furry. All white things are not green. All smart things are rough.
Fiona is not rough.