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