translation.en: $answer$ ; $proof$ ; $question$ = Gary is big. ; $context$ = sent1: Charlie is big. sent2: Dave is green. sent3: Dave is smart. sent4: Gary is big. sent5: Gary is blue. sent6: Gary is cold. sent7: Harry is blue. sent8: If something is blue then it is green. sent9: If something is kind and not cold then it is blue. sent10: All green, smart things are kind. sent11: Cold things are kind. sent12: Green things are smart. sent13: Kind things are big. sent14: Big things are rough.
translation.ro: $answer$ = True ; $proof$ = sent4