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 someone visits the mouse then the mouse is young. The tiger is young. The squirrel sees the mouse. The mouse needs the squirrel. The rabbit visits the mouse. The squirrel sees the tiger. The tiger needs the mouse. The mouse sees the rabbit. The squirrel is red. If someone sees the rabbit and they visit the rabbit then the rabbit sees the tiger. If someone visits the mouse and they see the rabbit then the rabbit visits the tiger. The mouse is young. The squirrel is young. The squirrel is nice. The squirrel visits the rabbit. The rabbit needs the squirrel. The rabbit needs the mouse. If someone sees the rabbit and they visit the tiger then they need the tiger. If the mouse is young then the mouse visits the tiger. The squirrel sees the rabbit. The tiger is kind. If someone is red and big then they see the tiger.

SOLUTION: The squirrel does not see the mouse.

PROBLEM: Blue, cold people are kind. Fiona is round. If Fiona is green then Fiona is blue. All kind people are cold. Nice, cold people are green. All nice, blue people are round. Kind people are cold.

SOLUTION: Fiona is not round.

PROBLEM: Fiona is cold. If someone is nice then they are cold. All smart, quiet people are round. If someone is round then they are cold. Harry is nice. Erin is cold. Harry is quiet. All round, big people are cold. Harry is green. Erin is smart. Dave is green. Green people are quiet. Harry is round. Nice, green people are quiet. Fiona is nice. If someone is round then they are cold. Erin is big. If Harry is quiet and Harry is nice then Harry is green. Dave is nice. Erin is green.

SOLUTION:
Erin is not cold.