translation.en: $answer$ ; $proof$ ; $question$ = The squirrel does not visit the cow. ; $context$ = sent1: The bear eats the rabbit. sent2: The bear visits the cow. sent3: The cow eats the rabbit. sent4: The cow is rough. sent5: The cow is round. sent6: The cow visits the rabbit. sent7: The rabbit eats the cow. sent8: The squirrel eats the bear. sent9: The squirrel is round. sent10: The squirrel sees the bear. sent11: The squirrel sees the rabbit. sent12: If something is nice and it sees the squirrel then the squirrel visits the cow. sent13: If something is nice and it visits the squirrel then it sees the squirrel. sent14: If something sees the squirrel then the squirrel eats the bear. sent15: If something eats the squirrel then it is nice. sent16: If something sees the rabbit then it is rough. sent17: If something eats the rabbit and it is round then the rabbit sees the squirrel. sent18: If something visits the cow then it eats the squirrel. sent19: If something visits the rabbit then the rabbit is round. sent20: If something sees the bear then the bear visits the squirrel.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 & # sent15%int4 # sent18%int5 sent2 # sent13%int2 & # sent15%int4 # sent18%int5 sent2 # sent20%int3 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.