translation.en: $answer$ ; $proof$ ; $question$ = Bob is nice. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is smart. sent4: Charlie is nice. sent5: Dave is nice. sent6: Erin is big. sent7: Erin is blue. sent8: Erin is furry. sent9: Erin is quiet. sent10: Erin is round. sent11: Erin is smart. sent12: All nice things are big. sent13: All furry things are blue. sent14: Blue, furry things are quiet. sent15: If something is round and nice then it is blue. sent16: If Bob is round then Bob is blue. sent17: Big, quiet things are furry. sent18: If something is blue and furry then it is smart. sent19: If Charlie is nice and Charlie is big then Charlie is quiet.
translation.ro: $answer$ = True ; $proof$ = sent2