the swiz does not occur and the salvificness does not occur.
sent1: if the trustfulness happens then the bilging occurs. sent2: the transport does not occur if the fact that the transport happens and the bedding composure does not occur is false. sent3: the swiz does not occur and the salvificness does not occur if the bilging occurs. sent4: that the transporting happens and the bedding composure does not occur is not right. sent5: if that not the fabricating Chlorococcum but the chitinousness occurs is incorrect the trustfulness happens. sent6: the transporting happens if the chitinousness happens. sent7: the fact that the swiz does not occur and the salvificness does not occur is not correct if the fabricating Chlorococcum does not occur.
void -> assump1: Let's assume that the fabricating Chlorococcum does not occur and the chitinousness happens.; assump1 -> int1: the chitinousness happens.; int1 & sent6 -> int2: the transporting occurs.; sent2 & sent4 -> int3: the transport does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fabricating Chlorococcum does not occur but the chitinousness happens is incorrect.; int5 & sent5 -> int6: the trustfulness happens.; int6 & sent1 -> int7: the bilging happens.; int7 & sent3 -> hypothesis;
the fact that the swiz does not occur and the salvificness does not occur does not hold.
$hypothesis$ = the swiz does not occur and the salvificness does not occur. ; $context$ = sent1: if the trustfulness happens then the bilging occurs. sent2: the transport does not occur if the fact that the transport happens and the bedding composure does not occur is false. sent3: the swiz does not occur and the salvificness does not occur if the bilging occurs. sent4: that the transporting happens and the bedding composure does not occur is not right. sent5: if that not the fabricating Chlorococcum but the chitinousness occurs is incorrect the trustfulness happens. sent6: the transporting happens if the chitinousness happens. sent7: the fact that the swiz does not occur and the salvificness does not occur is not correct if the fabricating Chlorococcum does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fabricating Chlorococcum does not occur and the chitinousness happens.; assump1 -> int1: the chitinousness happens.; int1 & sent6 -> int2: the transporting occurs.; sent2 & sent4 -> int3: the transport does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fabricating Chlorococcum does not occur but the chitinousness happens is incorrect.; int5 & sent5 -> int6: the trustfulness happens.; int6 & sent1 -> int7: the bilging happens.; int7 & sent3 -> hypothesis; __PROVED__