translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not smart. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Erin is cold. sent4: Erin is furry. sent5: Fiona is big. sent6: Fiona is furry. sent7: Gary is big. sent8: All kind people are cold. sent9: Green, smart people are rough. sent10: If Fiona is cold and Fiona is kind then Fiona is green. sent11: If someone is furry then they are smart. sent12: All furry, green people are smart. sent13: If someone is green and cold then they are big. sent14: If someone is furry and rough then they are big. sent15: All furry people are smart. sent16: Big, cold people are furry.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.