translation.en: $answer$ ; $proof$ ; $question$ = The dog does not need the dog. ; $context$ = sent1: The bald eagle sees the cat. sent2: The cat eats the dog. sent3: The cat is big. sent4: The cat is kind. sent5: The dog eats the bald eagle. sent6: The dog eats the cat. sent7: The dog is kind. sent8: The dog sees the lion. sent9: The lion eats the bald eagle. sent10: The lion is green. sent11: The lion is nice. sent12: The lion sees the dog. sent13: Cold things are green. sent14: If something sees the lion then it needs the dog. sent15: If something needs the bald eagle then it sees the lion. sent16: If something is nice then it sees the lion. sent17: If something is big then it sees the cat. sent18: If something is green and it needs the dog then it eats the cat. sent19: If something is green and it eats the cat then the cat needs the bald eagle. sent20: If something eats the bald eagle then the bald eagle is nice.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.