translation.en: $answer$ ; $proof$ ; $question$ = Anne is quiet. ; $context$ = sent1: Anne is quiet. sent2: Bob is big. sent3: Bob is green. sent4: Gary is cold. sent5: Gary is rough. sent6: Gary is smart. sent7: Harry is smart. sent8: If someone is quiet then they are big. sent9: All green, quiet people are cold. sent10: If someone is green and big then they are quiet. sent11: If someone is round and quiet then they are cold. sent12: If someone is smart then they are round. sent13: Smart, cold people are round. sent14: If Anne is quiet and Anne is cold then Anne is smart. sent15: Big people are cold. sent16: Big, round people are rough.
translation.ro: $answer$ = True ; $proof$ = sent1