translation.en: $answer$ ; $proof$ ; $question$ = Bob is not nice. ; $context$ = sent1: Anne is nice. sent2: Bob is blue. sent3: Bob is nice. sent4: Charlie is furry. sent5: Charlie is nice. sent6: Erin is blue. sent7: Erin is round. sent8: If something is round then it is big. sent9: If something is smart then it is round. sent10: If something is nice then it is round. sent11: Round, young things are blue. sent12: If something is young then it is blue. sent13: Furry things are blue. sent14: Big, round things are smart. sent15: If Anne is furry and Anne is nice then Anne is big. sent16: If something is smart then it is young.
translation.ro: $answer$ = False ; $proof$ = sent3