translation.en: $answer$ ; $proof$ ; $question$ = The mouse likes the squirrel. ; $context$ = sent1: The cat is red. sent2: The cat likes the squirrel. sent3: The lion eats the squirrel. sent4: The mouse is cold. sent5: The mouse visits the lion. sent6: The squirrel is red. sent7: The squirrel visits the cat. sent8: If someone is cold and they like the squirrel then the squirrel is cold. sent9: If someone is cold then they visit the squirrel. sent10: If someone visits the lion and they like the cat then they visit the squirrel. sent11: If someone visits the mouse then the mouse is red. sent12: If someone is cold then they like the mouse. sent13: If someone likes the mouse and the mouse visits the lion then they like the squirrel.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 & # sent12%int2 sent4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.