the fact that that the non-greensideness and/or the outgeneraling weigher happens is not true if the fortunateness occurs does not hold.
sent1: if that the shoring ackee and the elements occurs is false the fact that the shoring ackee does not occur is not wrong. sent2: the handlelessness results in that the stubbornness but not the declamation happens. sent3: the topiary occurs and the acneiformness occurs. sent4: the outgeneraling weigher is prevented by that the fortunateness happens. sent5: the fortunateness does not occur if both the topiary and the moon happens. sent6: that the darting does not occur and the topiary does not occur is caused by that the acneiformness does not occur. sent7: the flotation does not occur. sent8: both the overrunning and the exponential happens. sent9: that the fortunateness happens brings about the non-greensideness and/or the outgeneraling weigher. sent10: that the dwelling happens is true. sent11: the outgeneraling weigher does not occur if the mooning does not occur. sent12: if the fortunateness occurs that either the greensideness or the outgeneraling weigher or both happens is not true. sent13: the outgeneraling weigher does not occur. sent14: the fact that the acneiformness happens hold. sent15: if that the gore occurs and/or the outgeneraling weigher does not occur is incorrect then the greensideness does not occur. sent16: that if the shoring ackee does not occur then the fact that the gore happens and/or the outgeneraling weigher does not occur is false is not wrong. sent17: the trivalentness does not occur. sent18: the fact that the non-greensideness and/or the outgeneraling weigher happens is not right if the mooning does not occur. sent19: the fact that the fact that the fact that the fortunateness does not occur is not false is false is correct if the topiary and the moon happens. sent20: that both the shoring ackee and the elements happens is not right if the declamation does not occur.
void -> assump2: Let's assume that the fortunateness happens.; sent3 -> int1: the topiary occurs.; void -> assump1: Let's assume that the mooning occurs.; int1 & assump1 -> int2: the topiary and the mooning occurs.; sent5 & int2 -> int3: the fortunateness does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mooning does not occur.; sent18 & int5 -> int6: that either the non-greensideness or the outgeneraling weigher or both happens does not hold.; [assump2] & int6 -> hypothesis;
the darting does not occur.
$hypothesis$ = the fact that that the non-greensideness and/or the outgeneraling weigher happens is not true if the fortunateness occurs does not hold. ; $context$ = sent1: if that the shoring ackee and the elements occurs is false the fact that the shoring ackee does not occur is not wrong. sent2: the handlelessness results in that the stubbornness but not the declamation happens. sent3: the topiary occurs and the acneiformness occurs. sent4: the outgeneraling weigher is prevented by that the fortunateness happens. sent5: the fortunateness does not occur if both the topiary and the moon happens. sent6: that the darting does not occur and the topiary does not occur is caused by that the acneiformness does not occur. sent7: the flotation does not occur. sent8: both the overrunning and the exponential happens. sent9: that the fortunateness happens brings about the non-greensideness and/or the outgeneraling weigher. sent10: that the dwelling happens is true. sent11: the outgeneraling weigher does not occur if the mooning does not occur. sent12: if the fortunateness occurs that either the greensideness or the outgeneraling weigher or both happens is not true. sent13: the outgeneraling weigher does not occur. sent14: the fact that the acneiformness happens hold. sent15: if that the gore occurs and/or the outgeneraling weigher does not occur is incorrect then the greensideness does not occur. sent16: that if the shoring ackee does not occur then the fact that the gore happens and/or the outgeneraling weigher does not occur is false is not wrong. sent17: the trivalentness does not occur. sent18: the fact that the non-greensideness and/or the outgeneraling weigher happens is not right if the mooning does not occur. sent19: the fact that the fact that the fact that the fortunateness does not occur is not false is false is correct if the topiary and the moon happens. sent20: that both the shoring ackee and the elements happens is not right if the declamation does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fortunateness happens.; sent3 -> int1: the topiary occurs.; void -> assump1: Let's assume that the mooning occurs.; int1 & assump1 -> int2: the topiary and the mooning occurs.; sent5 & int2 -> int3: the fortunateness does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mooning does not occur.; sent18 & int5 -> int6: that either the non-greensideness or the outgeneraling weigher or both happens does not hold.; [assump2] & int6 -> hypothesis; __DISPROVED__