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