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