translation.en: $answer$ ; $proof$ ; $question$ = Bob is big. ; $context$ = sent1: Anne is smart. sent2: Bob is big. sent3: Bob is rough. sent4: Dave is big. sent5: Dave is nice. sent6: Dave is rough. sent7: Dave is white. sent8: Fiona is nice. sent9: Fiona is white. sent10: Fiona is young. sent11: All white things are nice. sent12: Rough, blue things are nice. sent13: All rough things are smart. sent14: If something is nice and white then it is blue. sent15: Nice things are white. sent16: Big, young things are white. sent17: If something is big and smart then it is young. sent18: If Fiona is blue and Fiona is big then Fiona is rough.
translation.ro: $answer$ = True ; $proof$ = sent2