translation.en: $answer$ ; $proof$ ; $question$ = The dog needs the dog. ; $context$ = sent1: The bald eagle is cold. sent2: The bald eagle is green. sent3: The bald eagle needs the lion. sent4: The bald eagle visits the rabbit. sent5: The dog sees the lion. sent6: The lion is cold. sent7: The lion is green. sent8: The lion needs the dog. sent9: The lion needs the rabbit. sent10: The lion visits the bald eagle. sent11: The lion visits the dog. sent12: The rabbit is round. sent13: The rabbit visits the dog. sent14: The rabbit visits the lion. sent15: If something is round then it is rough. sent16: If something visits the rabbit and it needs the bald eagle then the rabbit visits the bald eagle. sent17: If something is rough then it visits the lion. sent18: If the dog needs the rabbit and the rabbit sees the bald eagle then the bald eagle sees the dog. sent19: If the rabbit visits the lion and the rabbit needs the dog then the dog is round. sent20: If something visits the rabbit then the rabbit needs the bald eagle. sent21: If something visits the lion and the lion needs the dog then it needs the dog.
translation.ro: $answer$ = True ; $proof$ = # sent21%int1 & # sent17%int2 # sent15%int3 # sent19%int4 & sent14 # sent21%int5 sent8 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.