Instructions: 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).
Input: If something is smart then it is rough. Bob is big. If Dave is blue then Dave is cold. Dave is cold. Erin is big. All big, smart things are cold. If Erin is big then Erin is smart. All young things are big. All cold, smart things are rough.
Output:
Dave is not cold.