Anne is green. Anne is kind. Anne is quiet. Anne is not rough. Anne is not round. Anne is smart. Anne is white. Bob is green. Bob is quiet. Bob is round. Bob is smart. Bob is white. Dave is kind. Dave is quiet. Dave is round. Dave is white. If Anne is rough then Anne is kind. If Bob is round then Bob is kind. If someone is rough and kind then they are quiet. If someone is not round then they are kind. If someone is quiet and not smart then they are not rough. If someone is not kind then they are not rough.
Dave is smart.