the orchotomy happens.
sent1: the racketing occurs. sent2: the categoricalness does not occur. sent3: the spread-eagling happens. sent4: the cardiopulmonariness does not occur and/or the amauroticness happens. sent5: the grind does not occur and/or the depositing Swede does not occur. sent6: the ecarte happens. sent7: the transparency occurs. sent8: the Kiplingesqueness happens. sent9: the blitz does not occur. sent10: the cardiopulmonariness happens or the amauroticness does not occur or both. sent11: if either the accordance occurs or the spinelessness occurs or both then the cardiopulmonariness does not occur. sent12: the anagogicness happens. sent13: the original does not occur if the Tahitianness does not occur and/or the paring does not occur. sent14: that the cardiopulmonariness does not occur and/or the amauroticness does not occur leads to the non-Kiplingesqueness. sent15: if the orchotomy occurs then the accordance occurs. sent16: if the spinelessness occurs that the cardiopulmonariness does not occur hold. sent17: if the accordance does not occur then that the spinelessness occurs and the orchotomy does not occur is not correct.
void -> assump1: Let's assume that the orchotomy occurs.; sent15 & assump1 -> int1: the accordance occurs.; int1 -> int2: either the accordance or the spinelessness or both happens.; int2 & sent11 -> int3: the cardiopulmonariness does not occur.; int3 -> int4: the cardiopulmonariness does not occur and/or the amauroticness does not occur.; int4 & sent14 -> int5: the Kiplingesqueness does not occur.; int5 & sent8 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the orchotomy occurs.
$hypothesis$ = the orchotomy happens. ; $context$ = sent1: the racketing occurs. sent2: the categoricalness does not occur. sent3: the spread-eagling happens. sent4: the cardiopulmonariness does not occur and/or the amauroticness happens. sent5: the grind does not occur and/or the depositing Swede does not occur. sent6: the ecarte happens. sent7: the transparency occurs. sent8: the Kiplingesqueness happens. sent9: the blitz does not occur. sent10: the cardiopulmonariness happens or the amauroticness does not occur or both. sent11: if either the accordance occurs or the spinelessness occurs or both then the cardiopulmonariness does not occur. sent12: the anagogicness happens. sent13: the original does not occur if the Tahitianness does not occur and/or the paring does not occur. sent14: that the cardiopulmonariness does not occur and/or the amauroticness does not occur leads to the non-Kiplingesqueness. sent15: if the orchotomy occurs then the accordance occurs. sent16: if the spinelessness occurs that the cardiopulmonariness does not occur hold. sent17: if the accordance does not occur then that the spinelessness occurs and the orchotomy does not occur is not correct. ; $proof$ = 
void -> assump1: Let's assume that the orchotomy occurs.; sent15 & assump1 -> int1: the accordance occurs.; int1 -> int2: either the accordance or the spinelessness or both happens.; int2 & sent11 -> int3: the cardiopulmonariness does not occur.; int3 -> int4: the cardiopulmonariness does not occur and/or the amauroticness does not occur.; int4 & sent14 -> int5: the Kiplingesqueness does not occur.; int5 & sent8 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__