translation.en: $answer$ ; $proof$ ; $question$ = The dog eats the bear. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle eats the dog. sent3: The bear eats the bald eagle. sent4: The bear eats the dog. sent5: The dog chases the bald eagle. sent6: The dog chases the bear. sent7: The dog chases the squirrel. sent8: The dog eats the squirrel. sent9: The dog is big. sent10: The dog is blue. sent11: The dog is green. sent12: The squirrel is green. sent13: If someone likes the squirrel then they chase the dog. sent14: If someone eats the bald eagle then they are red. sent15: If someone is green and they eat the bear then they like the squirrel. sent16: If someone eats the dog then the dog eats the bald eagle. sent17: If someone eats the bear then the bear is big. sent18: If someone eats the squirrel and they chase the bear then the bear chases the bald eagle. sent19: If someone is red and green then they eat the bear. sent20: If someone likes the bear and they eat the bear then the bear eats the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 & # sent14%int2 # sent16%int3 sent2 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.