translation.en: $answer$ ; $proof$ ; $question$ = The bear likes the bear. ; $context$ = sent1: The bear eats the tiger. sent2: The bear likes the cow. sent3: The bear likes the dog. sent4: The bear needs the cow. sent5: The bear needs the tiger. sent6: The cow eats the dog. sent7: The cow is nice. sent8: The cow likes the dog. sent9: The dog eats the tiger. sent10: The dog is green. sent11: The dog likes the tiger. sent12: The tiger eats the dog. sent13: If someone needs the bear then they like the bear. sent14: If the dog needs the bear then the bear is big. sent15: If the dog does not eat the cow then the dog likes the tiger. sent16: If the bear likes the cow then the cow needs the dog. sent17: If someone needs the bear and the bear likes the cow then the bear is red. sent18: If someone needs the dog then they need the bear. sent19: If someone is red and they need the cow then they need the bear. sent20: If someone likes the tiger then the tiger is nice. sent21: If someone likes the dog then the dog is big.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent19%int2 & # sent17%int3 & # sent18%int4 # sent16%int5 sent2 sent2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.