Anne is big. Anne is blue. Anne is furry. Anne is nice. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is round. Round things are red. If Anne is red then Anne is blue. If Bob is big then Bob is round. If Bob is furry then Bob is red. If something is round then it is nice. If something is big and furry then it is round.
Dave is nice.