translation.en: $answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is kind. sent4: Fiona is furry. sent5: Fiona is green. sent6: Fiona is round. sent7: Fiona is smart. sent8: Fiona is young. sent9: Gary is round. sent10: Harry is kind. sent11: Harry is rough. sent12: Harry is smart. sent13: Young, furry people are round. sent14: If someone is kind and green then they are smart. sent15: Smart people are green. sent16: Young people are green. sent17: All round people are kind. sent18: If someone is smart then they are furry. sent19: If Harry is furry and Harry is round then Harry is rough. sent20: If someone is rough then they are young. sent21: If someone is kind then they are young.
translation.ro: $answer$ = True ; $proof$ = sent8