the winnowing projectile does not occur.
sent1: the unpicking welcoming occurs. sent2: the winnowing projectile does not occur if the basketry but not the unpicking Owensboro happens. sent3: the accumulation occurs. sent4: the unpicking welcoming happens and/or the minorness occurs. sent5: if the basketry happens the subscribing occurs. sent6: the fact that the hardship does not occur is right. sent7: that the yodeling pimp happens hold. sent8: the fact that the sentence occurs and/or the startup does not occur is not correct if the scorcher happens. sent9: that both the subscribing and the sentencing happens causes that the startup does not occur. sent10: that the unpicking Owensboro occurs is not wrong. sent11: if the sentencing does not occur then the fact that the singing happens and the scorcher does not occur is not true. sent12: the winnowing rupture does not occur. sent13: if the minorness does not occur then the predestination does not occur. sent14: the predestination does not occur if the unpicking welcoming and/or the non-minorness happens. sent15: that the singing does not occur and the scorcher does not occur is not true if the sentence does not occur. sent16: the fact that the basketry and the unpicking Owensboro happens is not wrong. sent17: if the singing happens the winnowing projectile happens. sent18: the importunity does not occur. sent19: the fact that the singing but not the scorcher occurs is false. sent20: the minorness happens if the Restoration does not occur. sent21: if the bogging capitalism does not occur the scorcher and the singing happens. sent22: the bogging capitalism occurs. sent23: if the predestination does not occur then the bogging capitalism occurs. sent24: the winnowing projectile happens if the fact that the singing does not occur and the scorcher does not occur does not hold. sent25: both the startup and the bogging capitalism occurs if the fact that the predestination does not occur hold.
sent16 -> int1: the basketry happens.; int1 & sent5 -> int2: the subscribing happens.; void -> assump1: Let's assume that the sentence happens.; int2 & assump1 -> int3: both the subscribing and the sentencing happens.; int3 & sent9 -> int4: the startup does not occur.; sent1 -> int5: the unpicking welcoming or the non-minorness or both occurs.; sent14 & int5 -> int6: the predestination does not occur.; sent25 & int6 -> int7: the startup and the bogging capitalism occurs.; int7 -> int8: the startup happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the sentencing does not occur.; int10 & sent15 -> int11: the fact that the singing does not occur and the scorcher does not occur is not true.; int11 & sent24 -> hypothesis;
the winnowing projectile does not occur.
$hypothesis$ = the winnowing projectile does not occur. ; $context$ = sent1: the unpicking welcoming occurs. sent2: the winnowing projectile does not occur if the basketry but not the unpicking Owensboro happens. sent3: the accumulation occurs. sent4: the unpicking welcoming happens and/or the minorness occurs. sent5: if the basketry happens the subscribing occurs. sent6: the fact that the hardship does not occur is right. sent7: that the yodeling pimp happens hold. sent8: the fact that the sentence occurs and/or the startup does not occur is not correct if the scorcher happens. sent9: that both the subscribing and the sentencing happens causes that the startup does not occur. sent10: that the unpicking Owensboro occurs is not wrong. sent11: if the sentencing does not occur then the fact that the singing happens and the scorcher does not occur is not true. sent12: the winnowing rupture does not occur. sent13: if the minorness does not occur then the predestination does not occur. sent14: the predestination does not occur if the unpicking welcoming and/or the non-minorness happens. sent15: that the singing does not occur and the scorcher does not occur is not true if the sentence does not occur. sent16: the fact that the basketry and the unpicking Owensboro happens is not wrong. sent17: if the singing happens the winnowing projectile happens. sent18: the importunity does not occur. sent19: the fact that the singing but not the scorcher occurs is false. sent20: the minorness happens if the Restoration does not occur. sent21: if the bogging capitalism does not occur the scorcher and the singing happens. sent22: the bogging capitalism occurs. sent23: if the predestination does not occur then the bogging capitalism occurs. sent24: the winnowing projectile happens if the fact that the singing does not occur and the scorcher does not occur does not hold. sent25: both the startup and the bogging capitalism occurs if the fact that the predestination does not occur hold. ; $proof$ = 
sent16 -> int1: the basketry happens.; int1 & sent5 -> int2: the subscribing happens.; void -> assump1: Let's assume that the sentence happens.; int2 & assump1 -> int3: both the subscribing and the sentencing happens.; int3 & sent9 -> int4: the startup does not occur.; sent1 -> int5: the unpicking welcoming or the non-minorness or both occurs.; sent14 & int5 -> int6: the predestination does not occur.; sent25 & int6 -> int7: the startup and the bogging capitalism occurs.; int7 -> int8: the startup happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the sentencing does not occur.; int10 & sent15 -> int11: the fact that the singing does not occur and the scorcher does not occur is not true.; int11 & sent24 -> hypothesis; __DISPROVED__