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 is nice then they are big. Harry is nice. Harry is not quiet. If someone is quiet and not big then they are cold. All quiet people are smart. If someone is quiet and not cold then they are not big. Fiona is not quiet. If someone is quiet and not cold then they are nice. If Fiona is smart and Fiona is not big then Fiona is not young.

SOLUTION: Harry is not nice.

PROBLEM: 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.

SOLUTION: The dog is not green.

PROBLEM: The tiger eats the bald eagle. The bear visits the lion. The bald eagle is nice. The tiger likes the lion. The tiger is green. The bald eagle visits the lion. The tiger eats the lion. The tiger is not rough. The tiger likes the bear. The lion visits the bald eagle. The bald eagle likes the lion. The bald eagle is green. If the tiger visits the bear and someone does not like the tiger then they eat the bear.

SOLUTION:
The lion does not visit the bald eagle.