translation.en: $answer$ ; $proof$ ; $question$ = The bear visits the rabbit. ; $context$ = sent1: The bald eagle is blue. sent2: The bald eagle is cold. sent3: The bald eagle needs the rabbit. sent4: The bear visits the lion. sent5: The lion is nice. sent6: The lion likes the bald eagle. sent7: The lion needs the bald eagle. sent8: The lion needs the rabbit. sent9: The lion visits the rabbit. sent10: The rabbit likes the bear. sent11: The rabbit needs the bald eagle. sent12: The rabbit needs the lion. sent13: The rabbit visits the bald eagle. sent14: The rabbit visits the bear. sent15: If someone visits the rabbit then they need the bear. sent16: If someone needs the rabbit then the rabbit likes the bear. sent17: If someone visits the bear and the bear needs the rabbit then they need the bear. sent18: If someone needs the bear then they need the rabbit. sent19: If the bear needs the lion and the bear likes the bald eagle then the bear visits the bald eagle. sent20: If someone is blue and they like the bald eagle then the bald eagle needs the rabbit. sent21: If someone likes the bear then the bear visits the rabbit. sent22: If the bald eagle likes the rabbit and the bald eagle visits the rabbit then the bald eagle needs the bear. sent23: If the rabbit likes the bear then the bear visits the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent21%int1 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.