the ovipositor spreads nightwork.
sent1: there exists something such that it is not Ambrosian. sent2: if something is a omniscience or it is not tonsorial or both then it is Ambrosian. sent3: the toast does not powder if that the pavilion is a omniscience is right. sent4: if the pavilion is tonsorial or is a omniscience or both the toast is not a powder. sent5: that something is a omniscience and/or not tonsorial if it does not powder hold. sent6: if the pavilion is not tonsorial the ovipositor is Ambrosian. sent7: if something is not a powder it is not a incurrence. sent8: the ovipositor spreads nightwork if it is Ambrosian. sent9: the toast is a incurrence.
void -> assump1: Let's assume that the pavilion is tonsorial.; assump1 -> int1: the pavilion is tonsorial and/or a omniscience.; int1 & sent4 -> int2: the toast does not powder.; sent7 -> int3: if the toast is not a powder it is not a incurrence.; int2 & int3 -> int4: the toast is not a kind of a incurrence.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pavilion is non-tonsorial.; int6 & sent6 -> int7: the ovipositor is Ambrosian.; int7 & sent8 -> hypothesis;
the fact that the ovipositor does not spread nightwork is correct.
$hypothesis$ = the ovipositor spreads nightwork. ; $context$ = sent1: there exists something such that it is not Ambrosian. sent2: if something is a omniscience or it is not tonsorial or both then it is Ambrosian. sent3: the toast does not powder if that the pavilion is a omniscience is right. sent4: if the pavilion is tonsorial or is a omniscience or both the toast is not a powder. sent5: that something is a omniscience and/or not tonsorial if it does not powder hold. sent6: if the pavilion is not tonsorial the ovipositor is Ambrosian. sent7: if something is not a powder it is not a incurrence. sent8: the ovipositor spreads nightwork if it is Ambrosian. sent9: the toast is a incurrence. ; $proof$ = 
void -> assump1: Let's assume that the pavilion is tonsorial.; assump1 -> int1: the pavilion is tonsorial and/or a omniscience.; int1 & sent4 -> int2: the toast does not powder.; sent7 -> int3: if the toast is not a powder it is not a incurrence.; int2 & int3 -> int4: the toast is not a kind of a incurrence.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pavilion is non-tonsorial.; int6 & sent6 -> int7: the ovipositor is Ambrosian.; int7 & sent8 -> hypothesis; __PROVED__