translation.en: $answer$ ; $proof$ ; $question$ = The cat is not nice. ; $context$ = sent1: The bald eagle is kind. sent2: The bald eagle likes the cat. sent3: The cat is cold. sent4: The cat is rough. sent5: The cat likes the bald eagle. sent6: The cat likes the mouse. sent7: The cat sees the lion. sent8: The lion is kind. sent9: The lion likes the cat. sent10: The lion sees the bald eagle. sent11: The mouse visits the bald eagle. sent12: If something is cold then it sees the bald eagle. sent13: If something is kind and it sees the mouse then it sees the bald eagle. sent14: If something likes the cat and the cat is nice then it is cold. sent15: If something is nice then it likes the bald eagle. sent16: If the lion likes the cat then the cat is nice. sent17: If the cat is rough and the cat is cold then the cat is round. sent18: If something sees the bald eagle then it is nice. sent19: If the cat likes the mouse and the cat is not nice then the mouse visits the cat.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.