translation.en: $answer$ ; $proof$ ; $question$ = The cat does not visit the squirrel. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle chases the mouse. sent3: The bald eagle visits the squirrel. sent4: The cat chases the mouse. sent5: The cat chases the squirrel. sent6: The cat is blue. sent7: The cat likes the bald eagle. sent8: The cat likes the mouse. sent9: The cat likes the squirrel. sent10: The mouse chases the bald eagle. sent11: The mouse chases the squirrel. sent12: The mouse is rough. sent13: The mouse likes the bald eagle. sent14: The mouse likes the squirrel. sent15: The squirrel is rough. sent16: The squirrel visits the mouse. sent17: If something chases the squirrel and the squirrel likes the mouse then it visits the squirrel. sent18: If the cat likes the mouse then the mouse chases the bald eagle. sent19: If something visits the squirrel then it is big. sent20: If something likes the squirrel then the squirrel likes the cat. sent21: If something visits the mouse then it chases the bald eagle. sent22: If something likes the bald eagle and it is blue then it visits the mouse. sent23: If the cat chases the bald eagle then the bald eagle is cold. sent24: If something is big then it is round. sent25: If something chases the bald eagle then it likes the mouse.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 & sent5 # sent25%int2 # sent21%int3 sent16 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.