translation.en: $answer$ ; $proof$ ; $question$ = The rabbit is blue. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is green. sent4: The cow visits the lion. sent5: The cow visits the mouse. sent6: The lion eats the cow. sent7: The lion eats the rabbit. sent8: The lion is big. sent9: The lion is green. sent10: The lion is round. sent11: The mouse eats the lion. sent12: The mouse is big. sent13: The mouse visits the cow. sent14: The rabbit is round. sent15: The rabbit needs the cow. sent16: The rabbit visits the lion. sent17: If someone eats the lion and the lion is green then they are blue. sent18: If someone visits the cow and they eat the rabbit then the rabbit is cold. sent19: If someone needs the mouse and the mouse needs the rabbit then the mouse needs the cow. sent20: If someone visits the cow and they are big then the cow visits the mouse. sent21: If someone is green and they need the rabbit then they eat the rabbit. sent22: If someone is blue then they eat the rabbit. sent23: All cold people are blue. sent24: If someone visits the cow then the cow is green. sent25: If someone eats the lion then they are cold.
translation.ro: $answer$ = True ; $proof$ = # sent23%int1 # sent18%int2 & sent11 # sent22%int3 # sent17%int4 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.