the yip does not occur.
sent1: the noncollapsibleness happens and/or the yip occurs if the diabaticness does not occur. sent2: if that that the tarnishing Khalsa and/or the non-smokelessness happens is not correct hold then the ameboidness happens. sent3: if the fact that not the custom-made but the resurfacing happens is false the randomness does not occur. sent4: that the smokelessness does not occur is not incorrect if the fact that the tarnishing Khalsa occurs is right. sent5: if the homeopathicness does not occur then the fact that the derivation does not occur and the agrologicness does not occur is not correct. sent6: if the tarnishing Khalsa does not occur and the randomness does not occur the noncollapsibleness does not occur. sent7: the non-pro-lifeness brings about that the resurfacing but not the custom-madeness happens. sent8: the fact that the tarnishing Khalsa happens and/or the smokelessness does not occur is not right if the randomness happens. sent9: if the derivation occurs then both the non-pro-lifeness and the honorableness happens. sent10: the diabaticness happens and the smokelessness occurs. sent11: the fact that both the non-custom-madeness and the resurfacing happens is false. sent12: if the noncollapsibleness does not occur then the yip happens. sent13: if that the miscarrying does not occur is not incorrect then either the repenting Trotskyism happens or the chomping hut happens or both. sent14: if that the derivation does not occur and the agrologicness does not occur does not hold then the derivation happens.
void -> assump1: Let's assume that the fact that the tarnishing Khalsa happens hold.; sent4 & assump1 -> int1: the smokelessness does not occur.; sent10 -> int2: that the smokelessness occurs is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the tarnishing Khalsa does not occur is not false.; sent3 & sent11 -> int5: the randomness does not occur.; int4 & int5 -> int6: the tarnishing Khalsa does not occur and the randomness does not occur.; int6 & sent6 -> int7: the noncollapsibleness does not occur.; int7 & sent12 -> hypothesis;
the ameboidness happens.
$hypothesis$ = the yip does not occur. ; $context$ = sent1: the noncollapsibleness happens and/or the yip occurs if the diabaticness does not occur. sent2: if that that the tarnishing Khalsa and/or the non-smokelessness happens is not correct hold then the ameboidness happens. sent3: if the fact that not the custom-made but the resurfacing happens is false the randomness does not occur. sent4: that the smokelessness does not occur is not incorrect if the fact that the tarnishing Khalsa occurs is right. sent5: if the homeopathicness does not occur then the fact that the derivation does not occur and the agrologicness does not occur is not correct. sent6: if the tarnishing Khalsa does not occur and the randomness does not occur the noncollapsibleness does not occur. sent7: the non-pro-lifeness brings about that the resurfacing but not the custom-madeness happens. sent8: the fact that the tarnishing Khalsa happens and/or the smokelessness does not occur is not right if the randomness happens. sent9: if the derivation occurs then both the non-pro-lifeness and the honorableness happens. sent10: the diabaticness happens and the smokelessness occurs. sent11: the fact that both the non-custom-madeness and the resurfacing happens is false. sent12: if the noncollapsibleness does not occur then the yip happens. sent13: if that the miscarrying does not occur is not incorrect then either the repenting Trotskyism happens or the chomping hut happens or both. sent14: if that the derivation does not occur and the agrologicness does not occur does not hold then the derivation happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tarnishing Khalsa happens hold.; sent4 & assump1 -> int1: the smokelessness does not occur.; sent10 -> int2: that the smokelessness occurs is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the tarnishing Khalsa does not occur is not false.; sent3 & sent11 -> int5: the randomness does not occur.; int4 & int5 -> int6: the tarnishing Khalsa does not occur and the randomness does not occur.; int6 & sent6 -> int7: the noncollapsibleness does not occur.; int7 & sent12 -> hypothesis; __DISPROVED__