translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not round. ; $context$ = sent1: Bob is big. sent2: Bob is green. sent3: Bob is young. sent4: Fiona is big. sent5: Fiona is green. sent6: Fiona is red. sent7: Fiona is smart. sent8: Gary is red. sent9: Gary is smart. sent10: Harry is nice. sent11: Harry is red. sent12: Harry is smart. sent13: If something is red and big then it is young. sent14: If something is green and big then it is red. sent15: All smart, round things are big. sent16: Red things are nice. sent17: Big things are red. sent18: Big, young things are green. sent19: Smart, young things are round. sent20: If something is red and nice then it is round. sent21: All big things are smart.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 & sent6 # sent16%int2 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.