Anne is kind. Anne is not smart. Bob is not big. Bob is red. Bob is not round. Bob is smart. Charlie is quiet. Charlie is red. Dave is big. Dave is red. If someone is big and smart then they are nice. All quiet, red people are nice. If Anne is quiet then Anne is round. If Anne is smart and Anne is not round then Anne is nice. If someone is nice and not round then they are kind. If Anne is not nice then Anne is quiet.
Charlie is not quiet.