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