translation.en: $answer$ ; $proof$ ; $question$ = The rabbit does not need the dog. ; $context$ = sent1: The dog chases the squirrel. sent2: The lion chases the rabbit. sent3: The lion needs the dog. sent4: The lion visits the dog. sent5: The lion visits the rabbit. sent6: The rabbit is cold. sent7: The squirrel visits the dog. sent8: If something is rough and it chases the rabbit then the rabbit is rough. sent9: If something chases the squirrel then it visits the dog. sent10: If something chases the lion then it is rough. sent11: If something is green then it needs the dog. sent12: If something is green then it needs the lion. sent13: If something visits the dog then it is green. sent14: If something needs the lion then it chases the lion. sent15: All cold things are green. sent16: If the rabbit needs the lion and the lion is cold then the lion visits the squirrel.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 # sent15%int2 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.