translation.en: $answer$ ; $proof$ ; $question$ = The lion is rough. ; $context$ = sent1: The bald eagle is kind. sent2: The bald eagle visits the lion. sent3: The cow eats the bald eagle. sent4: The lion eats the cow. sent5: The lion is red. sent6: The rabbit eats the lion. sent7: The rabbit is red. sent8: If someone visits the cow then they are green. sent9: All round people are rough. sent10: If someone visits the bald eagle then the bald eagle visits the lion. sent11: If someone visits the bald eagle then the bald eagle is green. sent12: If someone visits the rabbit then they eat the cow. sent13: If someone is red and rough then they are green. sent14: If someone eats the lion and the lion eats the bald eagle then the lion is round. sent15: If someone is red then they eat the bald eagle. sent16: If someone visits the lion and the lion is green then the lion is kind.
translation.ro: $answer$ = True ; $proof$ = # sent9%int1 # sent14%int2 & sent6 # sent15%int3 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.