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