translation.en: $answer$ ; $proof$ ; $question$ = The bear does not like the squirrel. ; $context$ = sent1: The bear is blue. sent2: The bear is nice. sent3: The bear likes the rabbit. sent4: The rabbit is nice. sent5: The rabbit likes the tiger. sent6: The rabbit sees the bear. sent7: The squirrel likes the bear. sent8: The squirrel visits the bear. sent9: The squirrel visits the tiger. sent10: The tiger visits the squirrel. sent11: If someone likes the rabbit then they see the tiger. sent12: If someone sees the squirrel and they visit the rabbit then the rabbit is nice. sent13: If someone visits the squirrel and they like the squirrel then they are round. sent14: If someone is nice and they see the tiger then the tiger likes the rabbit. sent15: If someone likes the tiger then they are big. sent16: If someone sees the tiger then they like the squirrel. sent17: If someone sees the tiger and they are not round then the tiger is blue.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 # sent11%int2 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.