the minting flatness occurs.
sent1: not the northerly but the honoring toadflax occurs if the slicing porterage does not occur. sent2: the honoring toadflax and the tooth happens. sent3: if the fact that the slicing porterage occurs and the northerly happens does not hold then the minting flatness does not occur. sent4: the alchemisticness happens. sent5: that not the northerly but the honoring toadflax occurs results in that the fumbling amnesty does not occur. sent6: if the slicing scalper happens and/or the fumbling amnesty happens the honoring toadflax does not occur. sent7: that the honoring toadflax happens is prevented by that the fumbling amnesty occurs. sent8: that both the slicing porterage and the northerly occurs is not right if the slicing scalper does not occur. sent9: the unidentifiableness does not occur. sent10: the eyeing does not occur. sent11: if the fact that the slicing haggler happens and the regular does not occur does not hold the slicing central does not occur. sent12: the fact that if the slicing porterage does not occur the minting flatness does not occur hold. sent13: the tooth occurs.
void -> assump1: Let's assume that the slicing scalper happens.; assump1 -> int1: the slicing scalper and/or the fumbling amnesty happens.; int1 & sent6 -> int2: the honoring toadflax does not occur.; sent2 -> int3: the honoring toadflax happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the slicing scalper does not occur.; int5 & sent8 -> int6: the fact that the slicing porterage occurs and the northerly occurs is not right.; int6 & sent3 -> hypothesis;
the minting flatness happens.
$hypothesis$ = the minting flatness occurs. ; $context$ = sent1: not the northerly but the honoring toadflax occurs if the slicing porterage does not occur. sent2: the honoring toadflax and the tooth happens. sent3: if the fact that the slicing porterage occurs and the northerly happens does not hold then the minting flatness does not occur. sent4: the alchemisticness happens. sent5: that not the northerly but the honoring toadflax occurs results in that the fumbling amnesty does not occur. sent6: if the slicing scalper happens and/or the fumbling amnesty happens the honoring toadflax does not occur. sent7: that the honoring toadflax happens is prevented by that the fumbling amnesty occurs. sent8: that both the slicing porterage and the northerly occurs is not right if the slicing scalper does not occur. sent9: the unidentifiableness does not occur. sent10: the eyeing does not occur. sent11: if the fact that the slicing haggler happens and the regular does not occur does not hold the slicing central does not occur. sent12: the fact that if the slicing porterage does not occur the minting flatness does not occur hold. sent13: the tooth occurs. ; $proof$ = 
void -> assump1: Let's assume that the slicing scalper happens.; assump1 -> int1: the slicing scalper and/or the fumbling amnesty happens.; int1 & sent6 -> int2: the honoring toadflax does not occur.; sent2 -> int3: the honoring toadflax happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the slicing scalper does not occur.; int5 & sent8 -> int6: the fact that the slicing porterage occurs and the northerly occurs is not right.; int6 & sent3 -> hypothesis; __DISPROVED__