something does not unionize mustard and is not a clutter.
sent1: if there exists something such that that it does not satiate is true then the fact that the mustard does not respire and does satiate does not hold. sent2: if the sovereign surrenders then the mustard does not shmooze. sent3: something intertwines. sent4: there is something such that that it is not uncooperative is not false. sent5: there exists something such that it does not satiate. sent6: if the sovereign is not a surrender the antiknock does not unionize mustard and is not a clutter. sent7: something is a glaze and is not resentful. sent8: if the fact that something does not respire but it is satiate does not hold it is not satiate.
void -> assump1: Let's assume that the sovereign does surrender.; sent8 -> int1: if that the mustard does not respire and does satiate is false then it does not satiate.; sent5 & sent1 -> int2: the fact that the mustard does not respire but it satiates is false.; int1 & int2 -> int3: the mustard does not satiate.;
$hypothesis$ = something does not unionize mustard and is not a clutter. ; $context$ = sent1: if there exists something such that that it does not satiate is true then the fact that the mustard does not respire and does satiate does not hold. sent2: if the sovereign surrenders then the mustard does not shmooze. sent3: something intertwines. sent4: there is something such that that it is not uncooperative is not false. sent5: there exists something such that it does not satiate. sent6: if the sovereign is not a surrender the antiknock does not unionize mustard and is not a clutter. sent7: something is a glaze and is not resentful. sent8: if the fact that something does not respire but it is satiate does not hold it is not satiate. ; $proof$ = 
void -> assump1: Let's assume that the sovereign does surrender.; sent8 -> int1: if that the mustard does not respire and does satiate is false then it does not satiate.; sent5 & sent1 -> int2: the fact that the mustard does not respire but it satiates is false.; int1 & int2 -> int3: the mustard does not satiate.; __UNKNOWN__