translation.en: $answer$ ; $proof$ ; $question$ = The cat needs the cow. ; $context$ = sent1: The bald eagle likes the squirrel. sent2: The cat visits the cow. sent3: The cow is red. sent4: The cow likes the squirrel. sent5: The cow needs the bald eagle. sent6: The cow needs the squirrel. sent7: The cow visits the bald eagle. sent8: The squirrel is cold. sent9: The squirrel needs the bald eagle. sent10: The squirrel needs the cat. sent11: If someone is red and they need the cow then the cow needs the bald eagle. sent12: If someone is cold then they visit the cat. sent13: If someone likes the cat then the cat is round. sent14: If someone needs the squirrel and the squirrel visits the bald eagle then they need the cat. sent15: If someone needs the squirrel and they are not red then they need the cow. sent16: If someone is round then they need the squirrel. sent17: If someone needs the bald eagle and they visit the cat then the bald eagle likes the cat.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & # sent16%int2 # sent13%int3 # sent17%int4 & sent9 # sent12%int5 sent8 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.