translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not chase the mouse. ; $context$ = sent1: The cat is nice. sent2: The dog is blue. sent3: The dog needs the lion. sent4: The lion is blue. sent5: The lion needs the dog. sent6: The lion needs the mouse. sent7: The mouse is blue. sent8: If someone visits the mouse then the mouse is rough. sent9: If someone visits the lion and they do not need the lion then they are cold. sent10: If someone chases the dog then they chase the mouse. sent11: If the cat is big then the cat visits the mouse. sent12: If someone is rough then they chase the dog. sent13: If the dog is rough then the dog chases the mouse. sent14: If someone needs the lion then they visit the mouse. sent15: If someone chases the mouse and they are not cold then they chase the lion.
translation.ro: $answer$ = False ; $proof$ = # sent10%int1 # sent12%int2 # sent8%int3 # sent14%int4 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.