Anne is not quiet. Charlie is not big. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Dave is big. Dave is furry. Dave is quiet. Dave is not rough. Dave is round. Fiona is big. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. All quiet things are red. All quiet, red things are big. If something is not smart then it is not rough. If Dave is smart then Dave is big. If something is big and not furry then it is quiet. If Anne is round and Anne is big then Anne is not smart.
Charlie is not quiet.