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