translation.en: $answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.