translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not young. ; $context$ = sent1: Bob is young. sent2: Dave is round. sent3: Erin is green. sent4: Erin is red. sent5: Erin is white. sent6: Fiona is quiet. sent7: Fiona is round. sent8: All young people are white. sent9: Young people are white. sent10: If someone is round and rough then they are young. sent11: White, young people are round. sent12: All quiet people are rough. sent13: All white, young people are green. sent14: If someone is green then they are red.
translation.ro: $answer$ = False ; $proof$ = # sent10%int1 & sent7 # sent12%int2 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.