translation.en: $answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The cat likes the rabbit. sent2: The cat likes the tiger. sent3: The mouse is blue. sent4: The mouse is nice. sent5: The mouse is round. sent6: The mouse visits the tiger. sent7: The rabbit likes the tiger. sent8: The rabbit visits the tiger. sent9: The tiger eats the mouse. sent10: The tiger eats the rabbit. sent11: The tiger visits the cat. sent12: If the mouse is big then the mouse visits the cat. sent13: If something visits the mouse then it visits the tiger. sent14: If something likes the tiger and the tiger eats the cat then the cat is red. sent15: If something visits the tiger then the tiger visits the mouse. sent16: If something is blue and it visits the cat then it likes the rabbit. sent17: If something is nice then it likes the cat. sent18: If something is blue then it likes the cat. sent19: If something is round then it is nice. sent20: If something visits the tiger then it is round.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 # sent13%int2 # sent15%int3 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.