translation.en: $answer$ ; $proof$ ; $question$ = The cow is big. ; $context$ = sent1: The bald eagle is big. sent2: The bald eagle likes the cow. sent3: The bald eagle sees the rabbit. sent4: The cow is big. sent5: The cow sees the bald eagle. sent6: The dog is big. sent7: The dog is young. sent8: The dog likes the bald eagle. sent9: The rabbit sees the bald eagle. sent10: The rabbit visits the bald eagle. sent11: If the bald eagle sees the rabbit then the rabbit is big. sent12: If something likes the bald eagle then it is blue. sent13: If something likes the rabbit and the rabbit visits the cow then the cow is young. sent14: If something visits the rabbit then it is round. sent15: If something is round and it sees the cow then the cow sees the rabbit. sent16: If something is big then it visits the cow. sent17: If something sees the rabbit then the rabbit visits the bald eagle. sent18: If something is blue then it likes the rabbit. sent19: If something likes the cow and the cow is young then it is blue.
translation.ro: $answer$ = True ; $proof$ = sent4