translation.en: $answer$ ; $proof$ ; $question$ = The bear is not big. ; $context$ = sent1: The bear chases the dog. sent2: The bear visits the dog. sent3: The bear visits the mouse. sent4: The cat chases the bear. sent5: The cat is cold. sent6: The cat visits the dog. sent7: The dog chases the bear. sent8: The dog eats the mouse. sent9: The dog visits the cat. sent10: The mouse eats the dog. sent11: The mouse is blue. sent12: The mouse visits the dog. sent13: If someone is green then they eat the bear. sent14: If someone visits the dog then the dog is green. sent15: If someone eats the bear then they eat the cat. sent16: If someone is big and they visit the mouse then they visit the bear. sent17: If someone is green then they visit the bear. sent18: If the mouse eats the dog then the dog is young. sent19: If someone chases the bear then they are young. sent20: If the bear visits the dog and the dog eats the cat then the bear is big. sent21: If someone chases the dog and the dog does not eat the bear then the bear is blue.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 & sent2 # sent15%int2 # sent13%int3 # sent14%int4 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.