the pyroligneousness does not occur.
sent1: the latheriness happens and the profitableness happens. sent2: the quantitativeness happens and the diatomicness happens. sent3: the diatomicness occurs. sent4: the bisontineness occurs. sent5: the blinkering piggery occurs and the diatomicness happens if the three-wheelness does not occur. sent6: that both the quantitativeness and the pyroligneousness happens is brought about by the non-diatomicness. sent7: the laicizing happens. sent8: the non-quantitativeness and/or the non-pyroligneousness prevents the unequivocalness. sent9: the Malainess occurs. sent10: that the diatomicness does not occur is correct if the fact that not the blinkering piggery but the diatomicness happens does not hold. sent11: the pyroligneousness brings about the non-quantitativeness.
void -> assump1: Let's assume that the pyroligneousness happens.; sent11 & assump1 -> int1: the quantitativeness does not occur.; sent2 -> int2: the quantitativeness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the pyroligneousness happens.
$hypothesis$ = the pyroligneousness does not occur. ; $context$ = sent1: the latheriness happens and the profitableness happens. sent2: the quantitativeness happens and the diatomicness happens. sent3: the diatomicness occurs. sent4: the bisontineness occurs. sent5: the blinkering piggery occurs and the diatomicness happens if the three-wheelness does not occur. sent6: that both the quantitativeness and the pyroligneousness happens is brought about by the non-diatomicness. sent7: the laicizing happens. sent8: the non-quantitativeness and/or the non-pyroligneousness prevents the unequivocalness. sent9: the Malainess occurs. sent10: that the diatomicness does not occur is correct if the fact that not the blinkering piggery but the diatomicness happens does not hold. sent11: the pyroligneousness brings about the non-quantitativeness. ; $proof$ = 
void -> assump1: Let's assume that the pyroligneousness happens.; sent11 & assump1 -> int1: the quantitativeness does not occur.; sent2 -> int2: the quantitativeness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__