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: Gary is big. Gary is green. Gary is nice. Gary is kind. If something is green and red then it is round. Gary is smart. Gary is red. If Gary is smart and Gary is nice then Gary is kind. Gary is round.

SOLUTION: Gary is not green.

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: Bob is furry. Bob is rough. Bob is smart. Bob is red. Bob is quiet. Bob is white. Bob is nice. Rough, smart people are white.

SOLUTION:
Bob is not smart.