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: The bear likes the cow. The cow is green. The bear visits the cow. The bear needs the cow. If someone likes the bear and they visit the cow then the bear visits the cow. The cow is cold. If the cow is cold and the cow needs the bear then the bear needs the cow. The bear is green. The bear is cold. The bear is rough. The bear is round. The bear is blue. If someone visits the cow and the cow is round then the cow visits the bear.

SOLUTION: The bear does not like the cow.

PROBLEM: Charlie is round. Bob is smart. Bob is green. Big people are round. All big, red people are smart. Charlie is green. Blue people are red. Bob is red. Charlie is red. Charlie is big. All big people are quiet. Bob is round. If someone is blue and quiet then they are green. All green, blue people are not round. If someone is smart then they are quiet. Charlie is not blue. Bob is big. If someone is round and not red then they are green. Charlie is smart. Charlie is quiet.

SOLUTION:
Charlie is blue.