translation.en: $answer$ ; $proof$ ; $question$ = Bob is nice. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is nice. sent4: Fiona is green. sent5: Fiona is nice. sent6: Gary is blue. sent7: Gary is smart. sent8: All red things are nice. sent9: Big things are kind. sent10: If Bob is smart then Bob is green. sent11: Blue things are green. sent12: Green, smart things are big. sent13: If something is red and blue then it is big. sent14: Nice things are red. sent15: All kind things are red.
translation.ro: $answer$ = True ; $proof$ = sent3