translation.en: $answer$ ; $proof$ ; $question$ = Fiona is rough. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is rough. sent4: Charlie is round. sent5: Erin is kind. sent6: Erin is smart. sent7: Fiona is furry. sent8: Fiona is kind. sent9: Fiona is rough. sent10: Fiona is smart. sent11: White, big people are smart. sent12: Rough, big people are kind. sent13: If Erin is kind and Erin is smart then Erin is furry. sent14: If Charlie is big and Charlie is kind then Charlie is white. sent15: Furry people are big. sent16: Round people are rough. sent17: If someone is rough then they are big. sent18: All white people are furry.
translation.ro: $answer$ = True ; $proof$ = sent9