translation.en: $answer$ ; $proof$ ; $question$ = The tiger is not kind. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the bear. sent3: The bald eagle likes the cat. sent4: The bald eagle likes the tiger. sent5: The bald eagle sees the bear. sent6: The bear likes the bald eagle. sent7: The bear sees the cat. sent8: The cat likes the bear. sent9: The cat likes the tiger. sent10: The cat sees the bald eagle. sent11: The tiger chases the bald eagle. sent12: The tiger chases the bear. sent13: The tiger chases the cat. sent14: The tiger is big. sent15: The tiger is red. sent16: The tiger sees the cat. sent17: If something chases the tiger then it likes the cat. sent18: If something is kind then it is red. sent19: If something likes the tiger then the tiger chases the bald eagle. sent20: If something is red then it is kind. sent21: If something is kind then it sees the bald eagle. sent22: If the tiger sees the cat and the tiger likes the bear then the tiger chases the cat. sent23: If the cat likes the tiger and the tiger sees the bald eagle then the bald eagle is red. sent24: If something chases the bald eagle then the bald eagle chases the bear. sent25: If something chases the bear and the bear chases the bald eagle then it is blue.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 sent15 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.