Anne is big. Anne is red. Anne is rough. Bob is big. Bob is blue. Dave is big. Dave is rough. Dave is round. Dave is smart. Harry is red. Harry is round. Harry is smart. All blue things are red. If something is blue and red then it is rough. If Anne is not blue then Anne is smart. If Harry is big and Harry is furry then Harry is not blue. All rough things are furry. If something is round and furry then it is smart. If Bob is furry then Bob is round. If something is not round then it is big.
Harry is not blue.