translation.en: $answer$ ; $proof$ ; $question$ = The bear is not young. ; $context$ = sent1: The bear is green. sent2: The bear is round. sent3: The bear likes the mouse. sent4: The bear needs the mouse. sent5: The bear needs the rabbit. sent6: The mouse eats the rabbit. sent7: The mouse needs the bear. sent8: The mouse needs the rabbit. sent9: The rabbit eats the mouse. sent10: The rabbit likes the bear. sent11: The rabbit needs the tiger. sent12: The tiger is big. sent13: The tiger is round. sent14: The tiger likes the rabbit. sent15: If someone eats the mouse then they are young. sent16: If someone is rough and they do not need the rabbit then they are young. sent17: If someone is young and they do not eat the rabbit then they need the bear. sent18: If someone likes the tiger then the tiger is young. sent19: If someone eats the bear and they are big then they are green. sent20: If the rabbit needs the bear and the rabbit is young then the bear eats the mouse. sent21: If the mouse is young and the mouse is green then the mouse eats the tiger.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent20%int2 & # sent17%int3 & # sent15%int4 sent9 naf1 # sent15%int4 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.