translation.en: $answer$ ; $proof$ ; $question$ = The dog is nice. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle is kind. sent3: The bald eagle needs the bear. sent4: The bald eagle visits the bear. sent5: The bear is red. sent6: The cat chases the dog. sent7: The cat is red. sent8: The cat needs the dog. sent9: The cat visits the bear. sent10: The dog needs the bald eagle. sent11: The dog needs the cat. sent12: The dog visits the cat. sent13: If someone visits the cat and the cat visits the dog then they are nice. sent14: If someone needs the bear then they are kind. sent15: If someone chases the bear then they visit the dog. sent16: If someone chases the cat then the cat chases the bear. sent17: If the dog is young and the dog chases the bald eagle then the dog needs the bear. sent18: If someone is nice then they chase the cat. sent19: If someone needs the bald eagle and the bald eagle chases the bear then they chase the dog. sent20: If someone chases the cat then the cat needs the bald eagle. sent21: If someone is nice and they visit the cat then the cat is nice.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 & sent12 # sent15%int2 # sent16%int3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.