translation.en: $answer$ ; $proof$ ; $question$ = The tiger is not kind. ; $context$ = sent1: The cat is round. sent2: The dog likes the tiger. sent3: The rabbit is blue. sent4: The rabbit likes the dog. sent5: The tiger is big. sent6: The tiger is round. sent7: The tiger visits the dog. sent8: If the rabbit eats the tiger and the rabbit does not visit the tiger then the tiger is kind. sent9: If someone visits the tiger and they are not big then the tiger is nice. sent10: If someone is blue then they like the tiger. sent11: If someone likes the dog and the dog is big then they visit the rabbit. sent12: If someone visits the cat and the cat visits the dog then they are kind. sent13: All blue people are round. sent14: If the rabbit is round then the rabbit eats the tiger. sent15: If someone eats the tiger then they eat the cat. sent16: If someone eats the cat and they do not visit the rabbit then the cat eats the tiger.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 & # sent14%int2 # sent13%int3 sent3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.