translation.en: $answer$ ; $proof$ ; $question$ = The squirrel does not chase the rabbit. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle is red. sent3: The bald eagle is round. sent4: The bald eagle likes the squirrel. sent5: The lion chases the squirrel. sent6: The lion is round. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit likes the bald eagle. sent10: The rabbit sees the squirrel. sent11: The squirrel is round. sent12: The squirrel sees the bald eagle. sent13: If something likes the rabbit then the rabbit sees the lion. sent14: If something chases the squirrel and it likes the bald eagle then the squirrel is nice. sent15: If something is nice and it likes the squirrel then the squirrel chases the rabbit. sent16: If something likes the bald eagle and it sees the rabbit then it likes the squirrel. sent17: If something likes the squirrel and it likes the lion then the lion likes the bald eagle. sent18: If something is young then it sees the rabbit. sent19: Green things are round. sent20: All round things are young. sent21: If the squirrel is nice then the squirrel likes the rabbit.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 & sent8 # sent16%int2 & sent9 # sent18%int3 # sent20%int4 # sent19%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.