translation.en: $answer$ ; $proof$ ; $question$ = Fiona is furry. ; $context$ = sent1: Bob is cold. sent2: Bob is round. sent3: Dave is blue. sent4: Erin is blue. sent5: Erin is rough. sent6: Fiona is furry. sent7: Fiona is rough. sent8: Furry people are round. sent9: If someone is nice and not blue then they are rough. sent10: If Fiona is round then Fiona is cold. sent11: All round, blue people are furry. sent12: Blue people are furry. sent13: All round people are nice. sent14: If someone is nice and cold then they are smart. sent15: If someone is nice and not furry then they are cold. sent16: All rough, nice people are cold.
translation.ro: $answer$ = True ; $proof$ = sent6