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