the fact that the transubstantiating and the non-irregularness occurs if the cinematicness happens is false.
sent1: the concentrate does not occur and/or the superscription does not occur if the diametralness does not occur. sent2: if the set does not occur then that the glycogenicness occurs does not hold. sent3: the transubstantiating and the autogenousness happens if the glycogenicness does not occur. sent4: the systematism does not occur if the irregular does not occur and the cinematicness does not occur. sent5: the cinematicness does not occur if that not the apneicness but the pretentiousness happens is not right. sent6: the glycogenicness and the set occurs if the capsuling lesbian does not occur. sent7: the glycogenicness does not occur if the capsuling lesbian does not occur. sent8: the Spanish does not occur. sent9: if the irregularness happens then the fact that that not the apneicness but the pretentiousness happens does not hold is correct. sent10: that not the initiating but the crib happens is not correct if the clangoring harmony happens. sent11: the transubstantiating does not occur and the autogenousness does not occur if the glycogenicness occurs. sent12: that the setting does not occur and/or that the capsuling lesbian does not occur is caused by that the Spanish does not occur.
void -> assump1: Let's assume that the irregular occurs.; sent9 & assump1 -> int1: that not the apneicness but the pretentiousness happens is not right.; int1 & sent5 -> int2: the cinematicness does not occur.; void -> assump2: Let's assume that the cinematicness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the irregular does not occur is not wrong.; sent12 & sent8 -> int5: either the setting does not occur or the capsuling lesbian does not occur or both.; int5 & sent2 & sent7 -> int6: the fact that the glycogenicness does not occur hold.; sent3 & int6 -> int7: both the transubstantiating and the autogenousness happens.; int7 -> int8: the transubstantiating occurs.; int4 & int8 -> int9: the transubstantiating and the non-irregularness happens.; [assump2] & int9 -> hypothesis;
the systematism does not occur or the tectonicsness does not occur or both.
$hypothesis$ = the fact that the transubstantiating and the non-irregularness occurs if the cinematicness happens is false. ; $context$ = sent1: the concentrate does not occur and/or the superscription does not occur if the diametralness does not occur. sent2: if the set does not occur then that the glycogenicness occurs does not hold. sent3: the transubstantiating and the autogenousness happens if the glycogenicness does not occur. sent4: the systematism does not occur if the irregular does not occur and the cinematicness does not occur. sent5: the cinematicness does not occur if that not the apneicness but the pretentiousness happens is not right. sent6: the glycogenicness and the set occurs if the capsuling lesbian does not occur. sent7: the glycogenicness does not occur if the capsuling lesbian does not occur. sent8: the Spanish does not occur. sent9: if the irregularness happens then the fact that that not the apneicness but the pretentiousness happens does not hold is correct. sent10: that not the initiating but the crib happens is not correct if the clangoring harmony happens. sent11: the transubstantiating does not occur and the autogenousness does not occur if the glycogenicness occurs. sent12: that the setting does not occur and/or that the capsuling lesbian does not occur is caused by that the Spanish does not occur. ; $proof$ = 
void -> assump1: Let's assume that the irregular occurs.; sent9 & assump1 -> int1: that not the apneicness but the pretentiousness happens is not right.; int1 & sent5 -> int2: the cinematicness does not occur.; void -> assump2: Let's assume that the cinematicness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the irregular does not occur is not wrong.; sent12 & sent8 -> int5: either the setting does not occur or the capsuling lesbian does not occur or both.; int5 & sent2 & sent7 -> int6: the fact that the glycogenicness does not occur hold.; sent3 & int6 -> int7: both the transubstantiating and the autogenousness happens.; int7 -> int8: the transubstantiating occurs.; int4 & int8 -> int9: the transubstantiating and the non-irregularness happens.; [assump2] & int9 -> hypothesis; __DISPROVED__