that the lister does not tweet glutamine is true if the chitin is a kind of non-modal thing that does put choice.
sent1: that the chitin is a modal and it does put choice is incorrect. sent2: the chitin does tweet glutamine. sent3: the fact that the chitin does put choice is not incorrect.
void -> assump1: Let's assume that the fact that the lister tweets glutamine hold.;
$hypothesis$ = that the lister does not tweet glutamine is true if the chitin is a kind of non-modal thing that does put choice. ; $context$ = sent1: that the chitin is a modal and it does put choice is incorrect. sent2: the chitin does tweet glutamine. sent3: the fact that the chitin does put choice is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the lister tweets glutamine hold.; __UNKNOWN__