translation.en: $answer$ ; $proof$ ; $question$ = Fiona is round. ; $context$ = sent1: Anne is quiet. sent2: Anne is young. sent3: Dave is smart. sent4: Fiona is green. sent5: Fiona is quiet. sent6: Fiona is red. sent7: Fiona is smart. sent8: Fiona is young. sent9: Harry is quiet. sent10: Harry is red. sent11: Harry is white. sent12: Harry is young. sent13: If someone is round then they are green. sent14: Round people are smart. sent15: If someone is green and smart then they are young. sent16: All quiet, white people are young. sent17: All white people are round. sent18: Green people are round. sent19: Smart people are red. sent20: All red people are white. sent21: If Harry is red and Harry is not quiet then Harry is white.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.