Anne is big. Anne is blue. Anne is not quiet. Anne is rough. Anne is not young. Fiona is big. Fiona is not furry. Fiona is rough. Fiona is young. Gary is big. Gary is blue. Gary is furry. Gary is quiet. Gary is smart. Gary is young. All furry, big people are smart. If Anne is furry then Anne is young. Smart, quiet people are not rough.
Fiona is not smart.