the beading brassard does not occur.
sent1: the beading brassard does not occur if the fact that either the myotonicness occurs or the selling does not occur or both is incorrect. sent2: if the specialism happens then the fact that that the myotonicness occurs and/or the selling does not occur is true is false. sent3: that the icing Lablab does not occur or that the replaying occurs or both prevents that the caudalness occurs. sent4: the bromidicness occurs and the institutionalness happens if the caudalness does not occur. sent5: that the myotonicness happens but the selling does not occur prevents that the spamming occurs. sent6: the beading Mariposan does not occur if that the spam does not occur and/or the mastectomy does not occur is not true. sent7: if the mastectomy happens then the fake does not occur and the drivel does not occur. sent8: that the loop happens results in that the icing Lablab does not occur and/or the replay. sent9: the unsensationalness and the non-equalness occurs if the fact that the bromidicness happens hold. sent10: that the beading brassard happens is caused by that the spamming happens and/or the mastectomy does not occur. sent11: the specialism is caused by the icing Allegheny. sent12: that the beading airplane does not occur results in that the loop and the disassociating occurs. sent13: the drivelling occurs and the myotonicness occurs. sent14: the non-sensationalness causes that the Creole happens and the icing Allegheny occurs.
void -> assump1: Let's assume that the mastectomy occurs.; sent7 & assump1 -> int1: the fake does not occur and the drivelling does not occur.; int1 -> int2: the drivelling does not occur.; sent13 -> int3: the drivel occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mastectomy does not occur.; int5 -> int6: the spamming happens and/or the mastectomy does not occur.; int6 & sent10 -> hypothesis;
the beading brassard does not occur.
$hypothesis$ = the beading brassard does not occur. ; $context$ = sent1: the beading brassard does not occur if the fact that either the myotonicness occurs or the selling does not occur or both is incorrect. sent2: if the specialism happens then the fact that that the myotonicness occurs and/or the selling does not occur is true is false. sent3: that the icing Lablab does not occur or that the replaying occurs or both prevents that the caudalness occurs. sent4: the bromidicness occurs and the institutionalness happens if the caudalness does not occur. sent5: that the myotonicness happens but the selling does not occur prevents that the spamming occurs. sent6: the beading Mariposan does not occur if that the spam does not occur and/or the mastectomy does not occur is not true. sent7: if the mastectomy happens then the fake does not occur and the drivel does not occur. sent8: that the loop happens results in that the icing Lablab does not occur and/or the replay. sent9: the unsensationalness and the non-equalness occurs if the fact that the bromidicness happens hold. sent10: that the beading brassard happens is caused by that the spamming happens and/or the mastectomy does not occur. sent11: the specialism is caused by the icing Allegheny. sent12: that the beading airplane does not occur results in that the loop and the disassociating occurs. sent13: the drivelling occurs and the myotonicness occurs. sent14: the non-sensationalness causes that the Creole happens and the icing Allegheny occurs. ; $proof$ = 
void -> assump1: Let's assume that the mastectomy occurs.; sent7 & assump1 -> int1: the fake does not occur and the drivelling does not occur.; int1 -> int2: the drivelling does not occur.; sent13 -> int3: the drivel occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mastectomy does not occur.; int5 -> int6: the spamming happens and/or the mastectomy does not occur.; int6 & sent10 -> hypothesis; __DISPROVED__