translation.en: $answer$ ; $proof$ ; $question$ = The cow is big. ; $context$ = sent1: The cow eats the lion. sent2: The cow needs the tiger. sent3: The lion is green. sent4: The lion is kind. sent5: The rabbit needs the cow. sent6: The tiger eats the cow. sent7: The tiger eats the rabbit. sent8: The tiger is big. sent9: The tiger sees the lion. sent10: The tiger sees the rabbit. sent11: All young people are big. sent12: If someone sees the lion then they are big. sent13: If the lion is big and the lion needs the rabbit then the lion eats the rabbit. sent14: If someone is green then they see the rabbit. sent15: If someone is kind then they see the lion. sent16: If someone sees the lion and they see the tiger then the lion sees the cow. sent17: If the cow is green then the cow needs the lion. sent18: If someone is big and they do not eat the cow then the cow is kind. sent19: If someone is kind and they do not see the rabbit then they need the lion.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 # sent15%int2 # sent18%int3 & # sent12%int4 # sent15%int5 sent4 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.