Given a text paragraph and a fact, generate a statement that is using the content of the given paragraph yet, it is **incorrect** (i.e., it contradicts the statements of the input).

If something is not red then it is not big. The dog is not big. The dog is red. The dog is blue. The dog is rough. Green things are rough. All blue things are green. If something is not red then it is blue. If something is red and not blue then it is green. The dog is green. All red things are green. Big things are red. If something is rough then it is blue.
The dog is not green.