Anne is big. Anne is not green. Anne is nice. Anne is red. Anne is smart. Dave is big. Dave is green. Dave is kind. Dave is not nice. Dave is not red. Dave is not rough. Dave is smart. If Anne is green then Anne is rough. Big people are kind. All red, nice people are big. All big, rough people are nice. If someone is not rough then they are smart. If Anne is not big and Anne is not rough then Anne is nice. If someone is not nice then they are not red. If someone is red and not nice then they are green.
Dave is not smart.