translation.en: $answer$ ; $proof$ ; $question$ = Fiona is white. ; $context$ = sent1: Anne is round. sent2: Anne is young. sent3: Fiona is round. sent4: Fiona is young. sent5: Gary is white. sent6: Harry is blue. sent7: Harry is furry. sent8: If Fiona is not big then Fiona is white. sent9: All big things are white. sent10: If something is young and white then it is blue. sent11: Furry, big things are blue. sent12: If something is blue then it is quiet. sent13: All round, furry things are young. sent14: If something is white then it is furry. sent15: If Gary is furry then Gary is round. sent16: All quiet things are round.
translation.ro: $answer$ = True ; $proof$ = # sent8%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.