Anne is green. Anne is round. Bob is furry. Bob is green. Bob is red. Bob is round. Bob is smart. Charlie is green. Charlie is kind. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Quiet things are kind. If Bob is red then Bob is quiet.
Bob is not kind.