Task: Fact Verification
Input (English): Paragraph: If someone is cold and not smart then they are round. If someone is big and not round then they are not smart. Anne is quiet. Anne is blue. If Anne is blue and Anne is not quiet then Anne is round. If someone is round and not blue then they are cold. All cold, big people are quiet. Anne is smart. If Anne is blue then Anne is kind.     Question: Anne is smart.
Output (English): True