Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is white. Bob is big. Bob is quiet. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is white. If something is rough then it is blue. All big, green things are blue. If Anne is blue then Anne is rough. If something is white and green then it is round. All blue things are white. Big things are rough.
Bob is blue.