the keep happens if the metaphysicalness occurs.
sent1: the insufflating complexion happens. sent2: if not the octangularness but the homer occurs the subduralness occurs. sent3: that the insufflating coextension occurs is caused by that the insufflating Mesmer happens. sent4: that the symptomaticness occurs does not hold. sent5: if not the tenderization but the tailgating Kannada happens then the Bolshevik happens. sent6: the sisterliness does not occur but the interlinearness happens. sent7: the insufflating deadeye happens. sent8: if that the IPO does not occur and the retailing happens is right then the custody occurs. sent9: the insufflating Washington does not occur but the disciplinariness happens. sent10: the maxillomandibularness does not occur but the articularness happens. sent11: both the non-Rosicrucianness and the rupestralness occurs. sent12: if the non-symptomaticness and the metaphysicalness happens the keep happens. sent13: not the maxillomandibularness but the electromotiveness occurs. sent14: the antheridialness does not occur and the performance happens. sent15: the preciseness and the cometariness occurs. sent16: that the non-energeticness and the female occurs yields the reshipment. sent17: the systolicness happens. sent18: the otoplasty happens.
void -> assump1: Let's assume that the metaphysicalness happens.; sent4 & assump1 -> int1: both the non-symptomaticness and the metaphysicalness occurs.; sent12 & int1 -> int2: the keeping occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the keep happens if the metaphysicalness occurs. ; $context$ = sent1: the insufflating complexion happens. sent2: if not the octangularness but the homer occurs the subduralness occurs. sent3: that the insufflating coextension occurs is caused by that the insufflating Mesmer happens. sent4: that the symptomaticness occurs does not hold. sent5: if not the tenderization but the tailgating Kannada happens then the Bolshevik happens. sent6: the sisterliness does not occur but the interlinearness happens. sent7: the insufflating deadeye happens. sent8: if that the IPO does not occur and the retailing happens is right then the custody occurs. sent9: the insufflating Washington does not occur but the disciplinariness happens. sent10: the maxillomandibularness does not occur but the articularness happens. sent11: both the non-Rosicrucianness and the rupestralness occurs. sent12: if the non-symptomaticness and the metaphysicalness happens the keep happens. sent13: not the maxillomandibularness but the electromotiveness occurs. sent14: the antheridialness does not occur and the performance happens. sent15: the preciseness and the cometariness occurs. sent16: that the non-energeticness and the female occurs yields the reshipment. sent17: the systolicness happens. sent18: the otoplasty happens. ; $proof$ = 
void -> assump1: Let's assume that the metaphysicalness happens.; sent4 & assump1 -> int1: both the non-symptomaticness and the metaphysicalness occurs.; sent12 & int1 -> int2: the keeping occurs.; [assump1] & int2 -> hypothesis; __PROVED__