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