translation.en: $answer$ ; $proof$ ; $question$ = The rabbit is green. ; $context$ = sent1: The bald eagle likes the cat. sent2: The bald eagle visits the rabbit. sent3: The cat needs the bald eagle. sent4: The cat needs the cow. sent5: The cat visits the rabbit. sent6: The cow likes the bald eagle. sent7: The cow likes the rabbit. sent8: The cow visits the bald eagle. sent9: The rabbit is green. sent10: The rabbit is red. sent11: The rabbit needs the cat. sent12: If someone needs the bald eagle and they are red then they visit the cow. sent13: If someone needs the bald eagle then the bald eagle needs the rabbit. sent14: If someone needs the cat then they like the bald eagle. sent15: If someone needs the bald eagle then they are red. sent16: If someone is green then they need the bald eagle. sent17: If someone likes the bald eagle and they need the bald eagle then the bald eagle visits the rabbit. sent18: If the cat likes the bald eagle then the bald eagle visits the cow. sent19: If someone visits the cow then they need the cat. sent20: If the cow is rough and the cow is nice then the cow is red.
translation.ro: $answer$ = True ; $proof$ = sent9