the whipping happens and/or the marshalship occurs.
sent1: the rehearsing does not occur. sent2: if that the promoting occurs hold that the Ford occurs is true. sent3: if the on-streetness does not occur then the fact that either the whip occurs or the marshalship occurs or both is wrong. sent4: the memorializing parvovirus occurs and the radiopacity occurs. sent5: the enlistment does not occur. sent6: if the spurring does not occur then both the pinning and the vacation happens. sent7: if the outbreak does not occur then the Charlestoning and the tragedy occurs. sent8: if the linemen does not occur then the concession happens and the geomorphologicness occurs. sent9: the firstness occurs. sent10: that the blueing personhood happens is brought about by the geomorphologicness. sent11: the concession happens. sent12: both the on-streetness and the first occurs. sent13: that both the whip and the heliolatry happens is true if the blueing Tebet does not occur. sent14: that the blueing personhood occurs is prevented by that the on-streetness and the blueing Tebet occurs. sent15: that the enucleation does not occur leads to that the memorializing wood occurs. sent16: the linemen does not occur. sent17: the Draconianness occurs. sent18: the transgression happens and the allness occurs. sent19: the wrestling armlet and the blueing Gauss occurs if the illegibleness does not occur. sent20: if the fact that the casuisticness does not occur is right the inextricableness happens. sent21: the pinning occurs and/or the bromicness occurs.
sent12 -> int1: the on-streetness happens.; void -> assump1: Let's assume that the blueing Tebet happens.; int1 & assump1 -> int2: the on-streetness and the blueing Tebet happens.; int2 & sent14 -> int3: the blueing personhood does not occur.; sent8 & sent16 -> int4: the concession and the geomorphologicness happens.; int4 -> int5: the geomorphologicness occurs.; sent10 & int5 -> int6: the blueing personhood occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the blueing Tebet does not occur is right.; int8 & sent13 -> int9: the fact that the whip and the heliolatry occurs is not incorrect.; int9 -> int10: the fact that the whipping occurs is correct.; int10 -> hypothesis;
the fact that either the whipping or the marshalship or both occurs is wrong.
$hypothesis$ = the whipping happens and/or the marshalship occurs. ; $context$ = sent1: the rehearsing does not occur. sent2: if that the promoting occurs hold that the Ford occurs is true. sent3: if the on-streetness does not occur then the fact that either the whip occurs or the marshalship occurs or both is wrong. sent4: the memorializing parvovirus occurs and the radiopacity occurs. sent5: the enlistment does not occur. sent6: if the spurring does not occur then both the pinning and the vacation happens. sent7: if the outbreak does not occur then the Charlestoning and the tragedy occurs. sent8: if the linemen does not occur then the concession happens and the geomorphologicness occurs. sent9: the firstness occurs. sent10: that the blueing personhood happens is brought about by the geomorphologicness. sent11: the concession happens. sent12: both the on-streetness and the first occurs. sent13: that both the whip and the heliolatry happens is true if the blueing Tebet does not occur. sent14: that the blueing personhood occurs is prevented by that the on-streetness and the blueing Tebet occurs. sent15: that the enucleation does not occur leads to that the memorializing wood occurs. sent16: the linemen does not occur. sent17: the Draconianness occurs. sent18: the transgression happens and the allness occurs. sent19: the wrestling armlet and the blueing Gauss occurs if the illegibleness does not occur. sent20: if the fact that the casuisticness does not occur is right the inextricableness happens. sent21: the pinning occurs and/or the bromicness occurs. ; $proof$ = 
sent12 -> int1: the on-streetness happens.; void -> assump1: Let's assume that the blueing Tebet happens.; int1 & assump1 -> int2: the on-streetness and the blueing Tebet happens.; int2 & sent14 -> int3: the blueing personhood does not occur.; sent8 & sent16 -> int4: the concession and the geomorphologicness happens.; int4 -> int5: the geomorphologicness occurs.; sent10 & int5 -> int6: the blueing personhood occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the blueing Tebet does not occur is right.; int8 & sent13 -> int9: the fact that the whip and the heliolatry occurs is not incorrect.; int9 -> int10: the fact that the whipping occurs is correct.; int10 -> hypothesis; __PROVED__