Task: Fact Verification
Input (English): Paragraph: All young, cold things are rough. If something is furry then it is young. If something is cold and rough then it is smart. If something is furry and smart then it is round. Erin is green. All green things are rough. Bob is cold. All young, green things are round. Anne is furry. Charlie is rough. All cold things are rough. All round, young things are furry.     Question: Bob is not cold.
Output (English): False