translation.en: $answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Anne is white. sent2: Bob is big. sent3: Bob is nice. sent4: Bob is smart. sent5: Bob is white. sent6: Charlie is big. sent7: Charlie is furry. sent8: Charlie is white. sent9: Charlie is young. sent10: Dave is smart. sent11: If something is young then it is furry. sent12: If something is white and green then it is nice. sent13: Nice things are young. sent14: If something is white then it is big. sent15: All big things are white. sent16: If something is white and young then it is green. sent17: Smart things are green. sent18: If something is big then it is smart.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.