translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not smart. ; $context$ = sent1: Anne is nice. sent2: Anne is red. sent3: Bob is smart. sent4: Bob is young. sent5: Erin is red. sent6: Erin is round. sent7: Fiona is kind. sent8: Fiona is nice. sent9: Fiona is red. sent10: Fiona is smart. sent11: If something is round then it is nice. sent12: Nice things are round. sent13: If Bob is kind then Bob is furry. sent14: All smart, kind things are nice. sent15: All kind, young things are round. sent16: If something is young and smart then it is round. sent17: Red things are kind. sent18: If Anne is furry then Anne is red. sent19: If something is nice then it is red.
translation.ro: $answer$ = False ; $proof$ = sent10