Task: Fact Verification
Input (English): Paragraph: Anne is kind. Erin is kind. Anne is young. Erin is cold. Anne is smart. All red, smart people are cold. Erin is quiet. Red people are smart. If someone is cold then they are quiet. Erin is smart.     Question: Erin is smart.
Output (English): True