Anne is big. Anne is cold. Anne is smart. Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Dave is big. Dave is cold. Dave is red. If someone is kind then they are quiet. Blue, red people are big. If Charlie is quiet and Charlie is red then Charlie is blue. If Dave is smart and Dave is quiet then Dave is big. All cold people are quiet. If someone is smart then they are big.
Charlie is not quiet.