translation.en: $answer$ ; $proof$ ; $question$ = The rabbit does not eat the cat. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 # sent19%int2 & # sent17%int3 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.