translation.en: $answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Bob is round. sent2: Bob is white. sent3: Erin is white. sent4: Fiona is kind. sent5: Fiona is quiet. sent6: Fiona is red. sent7: Fiona is rough. sent8: Fiona is white. sent9: Fiona is young. sent10: Gary is kind. sent11: Gary is round. sent12: If something is young and round then it is red. sent13: If something is quiet and round then it is rough. sent14: Red, quiet things are kind. sent15: Kind things are young. sent16: Red, kind things are quiet. sent17: If Fiona is round then Fiona is rough. sent18: If Erin is quiet then Erin is round. sent19: If Bob is not red then Bob is rough. sent20: All rough things are white.
translation.ro: $answer$ = True ; $proof$ = sent9