translation.en: $answer$ ; $proof$ ; $question$ = Bob is young. ; $context$ = sent1: Anne is furry. sent2: Anne is nice. sent3: Anne is smart. sent4: Bob is young. sent5: Erin is nice. sent6: Harry is smart. sent7: Harry is young. sent8: Young things are furry. sent9: Nice, furry things are green. sent10: All green things are nice. sent11: Nice, green things are big. sent12: All green things are smart. sent13: If something is big and young then it is round. sent14: All green things are big. sent15: If Harry is young then Harry is furry. sent16: Furry, smart things are nice.
translation.ro: $answer$ = True ; $proof$ = sent4