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