translation.en: $answer$ ; $proof$ ; $question$ = The dog is not round. ; $context$ = sent1: The cat needs the cow. sent2: The cat visits the dog. sent3: The cat visits the lion. sent4: The cow eats the cat. sent5: The cow eats the dog. sent6: The cow is green. sent7: The dog eats the cow. sent8: The dog is green. sent9: The dog is nice. sent10: The dog visits the cat. sent11: The lion eats the dog. sent12: All green people are round. sent13: If someone needs the lion then the lion needs the cat. sent14: If someone is round then they are kind. sent15: If someone is round then they need the dog. sent16: If someone eats the dog then the dog eats the cow. sent17: If someone needs the cat then they visit the cow. sent18: If someone visits the cat and they are kind then the cat eats the dog. sent19: If someone needs the dog then the dog visits the lion. sent20: If someone is green and they visit the lion then they need the cat.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.