translation.en: $answer$ ; $proof$ ; $question$ = Charlie is big. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Charlie is young. sent4: Gary is furry. sent5: Gary is white. sent6: Harry is furry. sent7: Harry is white. sent8: If something is blue then it is big. sent9: If Harry is quiet then Harry is big. sent10: If something is young then it is blue. sent11: Big things are white. sent12: If something is big then it is white. sent13: Furry things are quiet. sent14: All white things are quiet. sent15: If something is quiet then it is furry.
translation.ro: $answer$ = True ; $proof$ = # sent8%int1 # sent10%int2 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.