Task: Fact Verification
Input (English): Paragraph: Fiona is cold. If someone is nice then they are cold. All smart, quiet people are round. If someone is round then they are cold. Harry is nice. Erin is cold. Harry is quiet. All round, big people are cold. Harry is green. Erin is smart. Dave is green. Green people are quiet. Harry is round. Nice, green people are quiet. Fiona is nice. If someone is round then they are cold. Erin is big. If Harry is quiet and Harry is nice then Harry is green. Dave is nice. Erin is green.     Question: Dave is green.
Output (English): True