translation.en: $answer$ ; $proof$ ; $question$ = The cat is big. ; $context$ = sent1: The cat is red. sent2: The cat sees the tiger. sent3: The cat visits the tiger. sent4: The lion is kind. sent5: The lion needs the tiger. sent6: The lion sees the cat. sent7: The lion visits the cat. sent8: The lion visits the mouse. sent9: The mouse is big. sent10: The mouse visits the cat. sent11: The tiger needs the lion. sent12: The tiger needs the mouse. sent13: If someone visits the cat then they visit the tiger. sent14: If someone needs the mouse then the mouse visits the tiger. sent15: If someone is big then they need the cat. sent16: If the mouse is big and the mouse does not see the lion then the mouse needs the lion. sent17: If someone is kind and they see the cat then they need the mouse. sent18: If someone sees the cat and the cat needs the tiger then they visit the lion. sent19: Kind people are big. sent20: If someone needs the cat then the cat needs the lion. sent21: If the cat needs the lion and the cat does not need the tiger then the cat is kind.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 # sent21%int2 & # sent20%int3 # sent15%int4 sent9 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.