translation.en: $answer$ ; $proof$ ; $question$ = The mouse is not rough. ; $context$ = sent1: The bear sees the cow. sent2: The bear sees the rabbit. sent3: The cow chases the rabbit. sent4: The cow visits the rabbit. sent5: The mouse is big. sent6: The mouse is blue. sent7: The rabbit chases the mouse. sent8: If something sees the rabbit and it chases the mouse then the mouse is rough. sent9: If something chases the rabbit and it visits the mouse then the rabbit sees the cow. sent10: If something sees the cow then the cow visits the mouse. sent11: If something visits the bear then the bear sees the cow. sent12: If something is rough then it visits the bear. sent13: If something visits the cow and it is blue then it sees the mouse. sent14: If something is nice and it sees the bear then the bear is blue. sent15: If something sees the cow then it sees the rabbit. sent16: If something chases the mouse then the mouse visits the cow.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 & # sent15%int2 # sent9%int3 & sent3 # sent10%int4 sent1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.