the nucleoplasm is not a historian.
sent1: something is Capetian thing that is a historian if it is not a benedick. sent2: there is nothing that either snicks announcement or snicks Plectophera or both. sent3: the burnous is not a benedick if the bombie does not snick Plectophera and snicks announcement. sent4: the nucleoplasm is not non-Capetian if it is a historian. sent5: the nucleoplasm is not a Capetian.
void -> assump1: Let's assume that that the nucleoplasm is a historian is not incorrect.; sent4 & assump1 -> int1: the nucleoplasm is a Capetian.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
that the Plectophera is a Capetian hold.
sent1 -> int3: if the Plectophera is not a kind of a benedick then that it is a Capetian and it is a kind of a historian is true.; sent2 -> int4: the fact that the nucleoplasm snicks announcement and/or it does snick Plectophera is false.;
$hypothesis$ = the nucleoplasm is not a historian. ; $context$ = sent1: something is Capetian thing that is a historian if it is not a benedick. sent2: there is nothing that either snicks announcement or snicks Plectophera or both. sent3: the burnous is not a benedick if the bombie does not snick Plectophera and snicks announcement. sent4: the nucleoplasm is not non-Capetian if it is a historian. sent5: the nucleoplasm is not a Capetian. ; $proof$ = 
void -> assump1: Let's assume that that the nucleoplasm is a historian is not incorrect.; sent4 & assump1 -> int1: the nucleoplasm is a Capetian.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__