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