translation.en: $answer$ ; $proof$ ; $question$ = The lion sees the bear. ; $context$ = sent1: The bear chases the lion. sent2: The bear eats the dog. sent3: The bear eats the rabbit. sent4: The bear is big. sent5: The bear is blue. sent6: The dog eats the rabbit. sent7: The dog is green. sent8: The lion chases the dog. sent9: The lion chases the rabbit. sent10: The lion is big. sent11: The lion is blue. sent12: The lion is green. sent13: The rabbit chases the lion. sent14: The rabbit is blue. sent15: The rabbit sees the dog. sent16: The rabbit sees the lion. sent17: If something is blue and it sees the bear then the bear is rough. sent18: If something sees the lion then the lion chases the dog. sent19: If something eats the rabbit and it eats the lion then the lion is rough. sent20: If something sees the dog then it chases the bear. sent21: If something sees the dog and the dog sees the rabbit then the rabbit is blue. sent22: If something chases the rabbit then it is big. sent23: If something is big then it sees the dog. sent24: If something is rough and it chases the bear then it sees the bear. sent25: If something eats the dog then the dog eats the lion.
translation.ro: $answer$ = True ; $proof$ = # sent24%int1 & # sent19%int4 & sent6 # sent25%int5 sent2 # sent20%int2 # sent23%int3 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.