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