the ventilating fillet happens.
sent1: if that the backhander and the banding poltergeist happens is false the banding myrmidon does not occur. sent2: the fact that the zing happens and/or the Muhammadanness occurs hold if that the premeditating symphysis does not occur is true. sent3: the fartlek happens. sent4: the premeditating symphysis does not occur if the boast occurs. sent5: the specifying does not occur. sent6: that the thatch does not occur brings about that the feminineness and the contusion happens. sent7: the electronicness does not occur and the redoubling does not occur if the contusion occurs. sent8: either the zing happens or the Muhammadanness does not occur or both if that the premeditating symphysis does not occur is right. sent9: that the redoubling does not occur and/or the non-small-capitalizationness results in the non-small-capitalizationness. sent10: if the ventilating franc-tireur occurs then the ventilating fillet happens. sent11: that the ventilating franc-tireur occurs is triggered by the zing. sent12: that the boast and/or the cinematicness happens triggers the non-cousinliness. sent13: the fact that the premeditating symphysis occurs is true. sent14: both the Muhammadanness and the premeditating symphysis happens. sent15: that the ventilating franc-tireur occurs and/or the zing occurs prevents the Muhammadanness. sent16: that the banding myrmidon does not occur causes that the boasting occurs and the Argive does not occur. sent17: either the premeditating blacktop or the propping or both happens. sent18: if the zing does not occur the ventilating fillet does not occur. sent19: that the thatching happens is prevented by that the ventilating poltergeist does not occur and the snookering does not occur. sent20: the ventilating dirk does not occur and the co-option does not occur if the small-capitalizationness does not occur. sent21: the fact that the backhander occurs and the banding poltergeist occurs is not right if the co-option does not occur. sent22: the ventilating dirk occurs.
void -> assump1: Let's assume that the zing happens.; assump1 -> int1: the ventilating franc-tireur occurs and/or the zing occurs.; int1 & sent15 -> int2: the Muhammadanness does not occur.; sent14 -> int3: the Muhammadanness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the zing does not occur is not incorrect.; int5 & sent18 -> hypothesis;
the ventilating fillet occurs.
$hypothesis$ = the ventilating fillet happens. ; $context$ = sent1: if that the backhander and the banding poltergeist happens is false the banding myrmidon does not occur. sent2: the fact that the zing happens and/or the Muhammadanness occurs hold if that the premeditating symphysis does not occur is true. sent3: the fartlek happens. sent4: the premeditating symphysis does not occur if the boast occurs. sent5: the specifying does not occur. sent6: that the thatch does not occur brings about that the feminineness and the contusion happens. sent7: the electronicness does not occur and the redoubling does not occur if the contusion occurs. sent8: either the zing happens or the Muhammadanness does not occur or both if that the premeditating symphysis does not occur is right. sent9: that the redoubling does not occur and/or the non-small-capitalizationness results in the non-small-capitalizationness. sent10: if the ventilating franc-tireur occurs then the ventilating fillet happens. sent11: that the ventilating franc-tireur occurs is triggered by the zing. sent12: that the boast and/or the cinematicness happens triggers the non-cousinliness. sent13: the fact that the premeditating symphysis occurs is true. sent14: both the Muhammadanness and the premeditating symphysis happens. sent15: that the ventilating franc-tireur occurs and/or the zing occurs prevents the Muhammadanness. sent16: that the banding myrmidon does not occur causes that the boasting occurs and the Argive does not occur. sent17: either the premeditating blacktop or the propping or both happens. sent18: if the zing does not occur the ventilating fillet does not occur. sent19: that the thatching happens is prevented by that the ventilating poltergeist does not occur and the snookering does not occur. sent20: the ventilating dirk does not occur and the co-option does not occur if the small-capitalizationness does not occur. sent21: the fact that the backhander occurs and the banding poltergeist occurs is not right if the co-option does not occur. sent22: the ventilating dirk occurs. ; $proof$ = 
void -> assump1: Let's assume that the zing happens.; assump1 -> int1: the ventilating franc-tireur occurs and/or the zing occurs.; int1 & sent15 -> int2: the Muhammadanness does not occur.; sent14 -> int3: the Muhammadanness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the zing does not occur is not incorrect.; int5 & sent18 -> hypothesis; __DISPROVED__