translation.en: $answer$ ; $proof$ ; $question$ = The dog does not need the dog. ; $context$ = sent1: The bear likes the cow. sent2: The cow likes the dog. sent3: The dog likes the bear. sent4: The mouse chases the cow. sent5: The mouse chases the dog. sent6: The mouse likes the bear. sent7: The mouse likes the dog. sent8: If someone chases the cow and they do not like the bear then the bear chases the cow. sent9: If the cow needs the mouse and the cow is big then the cow likes the mouse. sent10: If someone needs the dog and they do not like the dog then they need the mouse. sent11: If someone chases the dog then the dog is blue. sent12: If someone is blue then they need the dog. sent13: If someone needs the mouse and they do not need the cow then the mouse is big. sent14: If someone chases the bear then the bear is round. sent15: If someone chases the mouse and they are not big then the mouse chases the bear. sent16: If the dog needs the mouse then the mouse chases the bear.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 # sent11%int2 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.