Anne is big. Anne is quiet. Anne is red. Anne is round. Bob is not blue. Bob is kind. Bob is quiet. Bob is red. Bob is round. Charlie is big. Charlie is kind. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is round. Kind things are red. If something is blue then it is round. If Bob is blue and Bob is quiet then Bob is rough. Red, big things are blue. Kind, round things are rough. All big, rough things are quiet. If something is round and rough then it is kind. If Dave is kind and Dave is not red then Dave is not rough.
Charlie is not blue.