the fact that the directing frogmouth happens and the solidness occurs if the hemisphericness does not occur is false.
sent1: the fact that the extraction occurs and the molding does not occur is not true. sent2: the grouch happens. sent3: that both the directing frogmouth and the anencephalicness occurs is false. sent4: the non-solidness and the non-hemisphericness occurs if the instruction happens. sent5: that the anencephalicness happens prevents the non-hemisphericness. sent6: if the diminishing erg does not occur and/or the post-communistness occurs then the diminishing erg does not occur. sent7: that the post-communistness occurs and the extension occurs is caused by that the scaling does not occur. sent8: the hazard and the impalement happens if the sedimentariness does not occur. sent9: the breasting occurs. sent10: the hemisphericness occurs if the fact that both the directing frogmouth and the non-anencephalicness occurs is incorrect. sent11: the fact that the examining but not the nicking happens is incorrect. sent12: the planographicness occurs. sent13: if the hemisphericness occurs then both the directing frogmouth and the solid happens. sent14: that the solid does not occur and the hemisphericness does not occur prevents that the diminishing gumbo-limbo occurs. sent15: the anencephalicness does not occur. sent16: the pleomorphicness does not occur. sent17: that the appositionalness occurs is right. sent18: the solid happens. sent19: if the diminishing erg does not occur then the instruction happens and the harlequining occurs.
void -> assump2: Let's assume that that the directing frogmouth but not the anencephalicness occurs is incorrect.; sent10 & assump2 -> int1: the hemisphericness happens.; void -> assump1: Let's assume that the hemisphericness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the directing frogmouth happens but the anencephalicness does not occur.; int3 -> int4: the directing frogmouth happens.; int4 & sent18 -> int5: the directing frogmouth happens and the solidness happens.; [assump1] & int5 -> hypothesis;
the diminishing gumbo-limbo does not occur.
$hypothesis$ = the fact that the directing frogmouth happens and the solidness occurs if the hemisphericness does not occur is false. ; $context$ = sent1: the fact that the extraction occurs and the molding does not occur is not true. sent2: the grouch happens. sent3: that both the directing frogmouth and the anencephalicness occurs is false. sent4: the non-solidness and the non-hemisphericness occurs if the instruction happens. sent5: that the anencephalicness happens prevents the non-hemisphericness. sent6: if the diminishing erg does not occur and/or the post-communistness occurs then the diminishing erg does not occur. sent7: that the post-communistness occurs and the extension occurs is caused by that the scaling does not occur. sent8: the hazard and the impalement happens if the sedimentariness does not occur. sent9: the breasting occurs. sent10: the hemisphericness occurs if the fact that both the directing frogmouth and the non-anencephalicness occurs is incorrect. sent11: the fact that the examining but not the nicking happens is incorrect. sent12: the planographicness occurs. sent13: if the hemisphericness occurs then both the directing frogmouth and the solid happens. sent14: that the solid does not occur and the hemisphericness does not occur prevents that the diminishing gumbo-limbo occurs. sent15: the anencephalicness does not occur. sent16: the pleomorphicness does not occur. sent17: that the appositionalness occurs is right. sent18: the solid happens. sent19: if the diminishing erg does not occur then the instruction happens and the harlequining occurs. ; $proof$ = 
void -> assump2: Let's assume that that the directing frogmouth but not the anencephalicness occurs is incorrect.; sent10 & assump2 -> int1: the hemisphericness happens.; void -> assump1: Let's assume that the hemisphericness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the directing frogmouth happens but the anencephalicness does not occur.; int3 -> int4: the directing frogmouth happens.; int4 & sent18 -> int5: the directing frogmouth happens and the solidness happens.; [assump1] & int5 -> hypothesis; __DISPROVED__