translation.en: $answer$ ; $proof$ ; $question$ = The bear is not big. ; $context$ = sent1: The bear needs the cow. sent2: The bear visits the squirrel. sent3: The cat chases the bear. sent4: The cat chases the squirrel. sent5: The cat is big. sent6: The cat needs the bear. sent7: The cow chases the squirrel. sent8: The cow is nice. sent9: The cow needs the squirrel. sent10: The cow visits the bear. sent11: The cow visits the cat. sent12: The cow visits the squirrel. sent13: The squirrel chases the cow. sent14: The squirrel needs the cat. sent15: Big people are round. sent16: If someone is round then they visit the cow. sent17: If someone is round and they need the bear then the bear is rough. sent18: If someone visits the cat and the cat needs the cow then the cat needs the bear. sent19: If someone chases the cat then the cat is nice. sent20: If the squirrel is round and the squirrel does not chase the cow then the cow needs the squirrel. sent21: All rough people are big.
translation.ro: $answer$ = False ; $proof$ = # sent21%int1 # sent17%int2 & # sent15%int3 sent5 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.