the energy happens.
sent1: the fact that not the detention but the particulateness happens is not true if the fact that the biodefense does not occur is true. sent2: the steal does not occur and the bedewing sulfonate occurs. sent3: that the plumbing does not occur and the verbifying Satan does not occur is brought about by the biodefense. sent4: not the rendezvousing but the hinging occurs. sent5: the energy does not occur if the detention does not occur and the proteinaceousness does not occur. sent6: that the detention occurs results in that the biodefense happens. sent7: the proteinaceousness does not occur if not the rendezvous but the hinge happens. sent8: if the fact that the detention does not occur and the particulateness happens is wrong then the particulateness does not occur. sent9: that the verbifying Satan occurs hold. sent10: the rendezvous does not occur. sent11: that the crowding happens and the deglazing Tamale happens prevents that the Eucharist occurs.
void -> assump1: Let's assume that the detention occurs.; sent6 & assump1 -> int1: the biodefense happens.; int1 & sent3 -> int2: that the plumb does not occur and the verbifying Satan does not occur hold.; int2 -> int3: the verbifying Satan does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the detention does not occur.; sent7 & sent4 -> int6: the proteinaceousness does not occur.; int5 & int6 -> int7: the detention does not occur and the proteinaceousness does not occur.; int7 & sent5 -> hypothesis;
the particulate does not occur.
$hypothesis$ = the energy happens. ; $context$ = sent1: the fact that not the detention but the particulateness happens is not true if the fact that the biodefense does not occur is true. sent2: the steal does not occur and the bedewing sulfonate occurs. sent3: that the plumbing does not occur and the verbifying Satan does not occur is brought about by the biodefense. sent4: not the rendezvousing but the hinging occurs. sent5: the energy does not occur if the detention does not occur and the proteinaceousness does not occur. sent6: that the detention occurs results in that the biodefense happens. sent7: the proteinaceousness does not occur if not the rendezvous but the hinge happens. sent8: if the fact that the detention does not occur and the particulateness happens is wrong then the particulateness does not occur. sent9: that the verbifying Satan occurs hold. sent10: the rendezvous does not occur. sent11: that the crowding happens and the deglazing Tamale happens prevents that the Eucharist occurs. ; $proof$ = 
void -> assump1: Let's assume that the detention occurs.; sent6 & assump1 -> int1: the biodefense happens.; int1 & sent3 -> int2: that the plumb does not occur and the verbifying Satan does not occur hold.; int2 -> int3: the verbifying Satan does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the detention does not occur.; sent7 & sent4 -> int6: the proteinaceousness does not occur.; int5 & int6 -> int7: the detention does not occur and the proteinaceousness does not occur.; int7 & sent5 -> hypothesis; __DISPROVED__