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