TASK DEFINITION: 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).
PROBLEM: If Anne is red and Anne is blue then Anne is furry. Anne is red. Gary is green. If something is white and not furry then it is not red. Gary is red. If Gary is green and Gary is not red then Gary is blue.

SOLUTION: Anne is not red.

PROBLEM: All rough things are nice. The dog is big. The dog is young. If something is rough and young then it is kind. All nice things are kind. The dog is nice. The dog is rough. The dog is kind.

SOLUTION: The dog is not big.

PROBLEM: The mouse is cold. The mouse is big. If someone is big then they are kind. Green people are cold. If someone is green and red then they are big. If the mouse is green then the mouse is red. The mouse is green. All cold, kind people are red. The mouse is red. The mouse is kind. If someone is big then they are kind. If someone is green then they are cold. If someone is big and green then they are kind.

SOLUTION:
The mouse is not red.