translation.en: $answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is smart. sent4: Bob is young. sent5: Charlie is big. sent6: Charlie is nice. sent7: Charlie is smart. sent8: Erin is cold. sent9: Erin is red. sent10: Harry is big. sent11: Harry is smart. sent12: All furry things are nice. sent13: If something is red and smart then it is big. sent14: If something is nice and cold then it is young. sent15: All young things are smart. sent16: All big, furry things are smart. sent17: If Erin is young and Erin is red then Erin is smart. sent18: If Charlie is smart and Charlie is big then Charlie is cold. sent19: If something is young then it is cold. sent20: If something is cold and red then it is furry.
translation.ro: $answer$ = False ; $proof$ = sent3