translation.en: $answer$ ; $proof$ ; $question$ = The cat does not see the bear. ; $context$ = sent1: The bear is cold. sent2: The bear is rough. sent3: The bear needs the cat. sent4: The bear needs the rabbit. sent5: The bear sees the rabbit. sent6: The cat eats the bear. sent7: The cat is blue. sent8: The rabbit eats the cat. sent9: The rabbit eats the squirrel. sent10: The rabbit is big. sent11: The rabbit is rough. sent12: The rabbit is round. sent13: The squirrel eats the bear. sent14: The squirrel eats the cat. sent15: The squirrel is big. sent16: The squirrel is rough. sent17: If something eats the rabbit then the rabbit sees the bear. sent18: If something eats the rabbit then it needs the squirrel. sent19: If something sees the bear and it sees the cat then the cat sees the rabbit. sent20: If something sees the rabbit and the rabbit is rough then it sees the cat. sent21: All round, blue things are big. sent22: If the bear is big and the bear sees the squirrel then the bear is round. sent23: If something sees the cat then it sees the bear.
translation.ro: $answer$ = False ; $proof$ = # sent23%int1 # sent20%int2 & # sent19%int3 & sent5 # sent20%int5 sent11 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.