translation.en: $answer$ ; $proof$ ; $question$ = Bob is big. ; $context$ = sent1: Anne is quiet. sent2: Bob is big. sent3: Bob is green. sent4: Bob is nice. sent5: Bob is quiet. sent6: Bob is young. sent7: Charlie is big. sent8: Charlie is green. sent9: Charlie is nice. sent10: Gary is nice. sent11: If something is green then it is young. sent12: If Gary is green and Gary is not nice then Gary is quiet. sent13: If something is nice then it is green. sent14: If Gary is quiet then Gary is big. sent15: If Anne is not red and Anne is not green then Anne is smart. sent16: Smart things are quiet. sent17: If something is red then it is quiet. sent18: Young, big things are smart. sent19: All young things are smart.
translation.ro: $answer$ = True ; $proof$ = sent2