translation.en: $answer$ ; $proof$ ; $question$ = The bear does not eat the bear. ; $context$ = sent1: The bear eats the lion. sent2: The bear is big. sent3: The bear sees the lion. sent4: The cat eats the lion. sent5: The cat likes the bear. sent6: The lion eats the cat. sent7: The lion is blue. sent8: The rabbit is blue. sent9: The rabbit likes the lion. sent10: The rabbit sees the bear. sent11: The rabbit sees the lion. sent12: If the cat eats the rabbit then the cat is rough. sent13: If something likes the lion then it is rough. sent14: If something eats the lion then it likes the cat. sent15: If something is rough then it eats the bear. sent16: If something eats the bear and it does not eat the rabbit then the bear likes the lion. sent17: If something eats the cat then the cat sees the rabbit. sent18: If something sees the rabbit and it does not like the lion then the rabbit sees the bear.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent13%int2 # sent16%int3 & # sent15%int4 # sent13%int5 sent9 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.