Task: Fact Verification
Input (English): Paragraph: If someone is nice then they are green. If someone is not white then they are round. If someone is green and not white then they are big. If someone is not kind then they are not quiet. If Erin is white then Erin is not kind. Dave is nice. If someone is big and nice then they are not quiet. Erin is not big.     Question: Erin is not big.
Output (English): True