the fact that the girdling mariticide does not occur or the scuffing parishioner occurs or both is not right.
sent1: the post is brought about by that the bouncing happens. sent2: the scuffing columbo brings about that the extravaganza does not occur and the pleasantry does not occur. sent3: that the role does not occur is brought about by that both the unorthodoxness and the simplification happens. sent4: that the repeatableness occurs prevents that the regimentalsness does not occur. sent5: the bouncing occurs. sent6: the piecing thaw occurs if that the regimentalsness occurs is not wrong. sent7: the girding occurs. sent8: if the dissembling happens then the repeatableness occurs. sent9: the fact that the reclamation does not occur and the scuffing columbo does not occur is incorrect if the callosotomy does not occur. sent10: the abstracting happens. sent11: if the unsupportiveness happens then the fact that the fact that the outgrowth does not occur but the remedying happens is false is right. sent12: the posting occurs but the piecing thaw does not occur if that the regimentalsness happens is incorrect. sent13: the seductiveness happens. sent14: if that the fact that the reclamation does not occur and the scuffing columbo does not occur is not right hold the scuffing columbo happens. sent15: the Marathon occurs or the expiation occurs or both. sent16: if the bouncing does not occur that the girdling mariticide does not occur and/or the scuffing parishioner happens does not hold. sent17: the sententialness occurs and the unsupportiveness occurs if the extravaganza does not occur. sent18: if the fact that not the outgrowth but the remedying occurs is not correct then the dissembling does not occur. sent19: either the girdling mariticide happens or the scuffing parishioner happens or both. sent20: if the post happens and the girdling mariticide happens then the piecing thaw does not occur. sent21: the dissembling happens.
sent1 & sent5 -> int1: the fact that the posting occurs is not wrong.; void -> assump1: Let's assume that the girdling mariticide occurs.; int1 & assump1 -> int2: both the posting and the girdling mariticide occurs.; int2 & sent20 -> int3: that the piecing thaw does not occur is correct.; sent8 & sent21 -> int4: the repeatableness happens.; sent4 & int4 -> int5: the regimentalsness occurs.; sent6 & int5 -> int6: that the piecing thaw occurs is true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the girdling mariticide does not occur is not incorrect.; int8 -> hypothesis;
the fact that either the girdling mariticide does not occur or the scuffing parishioner happens or both is false.
$hypothesis$ = the fact that the girdling mariticide does not occur or the scuffing parishioner occurs or both is not right. ; $context$ = sent1: the post is brought about by that the bouncing happens. sent2: the scuffing columbo brings about that the extravaganza does not occur and the pleasantry does not occur. sent3: that the role does not occur is brought about by that both the unorthodoxness and the simplification happens. sent4: that the repeatableness occurs prevents that the regimentalsness does not occur. sent5: the bouncing occurs. sent6: the piecing thaw occurs if that the regimentalsness occurs is not wrong. sent7: the girding occurs. sent8: if the dissembling happens then the repeatableness occurs. sent9: the fact that the reclamation does not occur and the scuffing columbo does not occur is incorrect if the callosotomy does not occur. sent10: the abstracting happens. sent11: if the unsupportiveness happens then the fact that the fact that the outgrowth does not occur but the remedying happens is false is right. sent12: the posting occurs but the piecing thaw does not occur if that the regimentalsness happens is incorrect. sent13: the seductiveness happens. sent14: if that the fact that the reclamation does not occur and the scuffing columbo does not occur is not right hold the scuffing columbo happens. sent15: the Marathon occurs or the expiation occurs or both. sent16: if the bouncing does not occur that the girdling mariticide does not occur and/or the scuffing parishioner happens does not hold. sent17: the sententialness occurs and the unsupportiveness occurs if the extravaganza does not occur. sent18: if the fact that not the outgrowth but the remedying occurs is not correct then the dissembling does not occur. sent19: either the girdling mariticide happens or the scuffing parishioner happens or both. sent20: if the post happens and the girdling mariticide happens then the piecing thaw does not occur. sent21: the dissembling happens. ; $proof$ = 
sent1 & sent5 -> int1: the fact that the posting occurs is not wrong.; void -> assump1: Let's assume that the girdling mariticide occurs.; int1 & assump1 -> int2: both the posting and the girdling mariticide occurs.; int2 & sent20 -> int3: that the piecing thaw does not occur is correct.; sent8 & sent21 -> int4: the repeatableness happens.; sent4 & int4 -> int5: the regimentalsness occurs.; sent6 & int5 -> int6: that the piecing thaw occurs is true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the girdling mariticide does not occur is not incorrect.; int8 -> hypothesis; __DISPROVED__