translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not like the mouse. ; $context$ = sent1: The cat is young. sent2: The cat visits the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion is cold. sent6: The lion likes the cat. sent7: The lion needs the mouse. sent8: The lion visits the mouse. sent9: The mouse is cold. sent10: The mouse is red. sent11: The mouse is young. sent12: The mouse likes the cat. sent13: The mouse needs the cat. sent14: The mouse needs the cow. sent15: If something needs the cat and the cat is red then it is blue. sent16: Blue things are red. sent17: If something likes the mouse and the mouse likes the cat then the cat is blue. sent18: If something is cold and red then it likes the mouse. sent19: If something needs the cow and it is cold then it is young. sent20: If something is nice then it visits the lion. sent21: If something needs the lion then it likes the cat. sent22: If something visits the cat and it likes the lion then the cat is blue. sent23: If something is cold and blue then it needs the lion.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.