translation.en: $answer$ ; $proof$ ; $question$ = The tiger is not cold. ; $context$ = sent1: The cow eats the lion. sent2: The lion eats the mouse. sent3: The lion needs the mouse. sent4: The mouse sees the lion. sent5: The tiger eats the lion. sent6: The tiger is green. sent7: The tiger is red. sent8: The tiger needs the lion. sent9: The tiger needs the mouse. sent10: The tiger sees the cow. sent11: If someone sees the lion then they are cold. sent12: If someone needs the tiger and they need the mouse then they are cold. sent13: If someone needs the tiger and the tiger eats the cow then the tiger needs the lion. sent14: All round people are green. sent15: All young, green people are round. sent16: If someone eats the mouse and the mouse sees the lion then they are green. sent17: If someone needs the tiger then the tiger sees the lion. sent18: If someone is cold and they see the lion then they need the tiger.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 # sent17%int2 # sent18%int3 & # sent11%int4 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.