translation.en: $answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is kind. sent2: Anne is nice. sent3: Anne is round. sent4: Anne is smart. sent5: Dave is furry. sent6: Gary is rough. sent7: Harry is kind. sent8: If something is rough and big then it is furry. sent9: Nice, smart things are big. sent10: Nice, kind things are smart. sent11: All rough things are nice. sent12: If something is nice then it is kind. sent13: Furry things are kind. sent14: If something is rough and not furry then it is round.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.