translation.en: $answer$ ; $proof$ ; $question$ = The tiger does not see the mouse. ; $context$ = sent1: The bear is big. sent2: The bear needs the rabbit. sent3: The bear sees the rabbit. sent4: The mouse likes the tiger. sent5: The mouse needs the rabbit. sent6: The mouse sees the rabbit. sent7: The mouse sees the tiger. sent8: The rabbit is round. sent9: The rabbit likes the tiger. sent10: The rabbit needs the tiger. sent11: The tiger is red. sent12: The tiger likes the mouse. sent13: If something sees the mouse and it likes the mouse then it sees the bear. sent14: If something needs the tiger then it likes the mouse. sent15: If something is red then it likes the mouse. sent16: If something likes the mouse then it sees the mouse. sent17: If something needs the mouse then the mouse sees the tiger. sent18: If the rabbit is nice then the rabbit likes the bear. sent19: If something is big and nice then it needs the bear. sent20: If something is round and it sees the bear then the bear likes the mouse. sent21: If something likes the rabbit and the rabbit needs the tiger then the tiger likes the rabbit.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.