if the boning arthroscope occurs then the uniform does not occur.
sent1: the reinstatement occurs. sent2: that the catecheticalness happens brings about that the boning arthroscope does not occur. sent3: if the fact that the whistling chaplain happens is not wrong the rowing happens. sent4: if the catecheticalness does not occur both the chylificness and the uniforming happens. sent5: the embodiment does not occur if the boning fortitude occurs. sent6: that the uniforming happens and the funeral occurs is caused by that the catecheticalness does not occur. sent7: the whistling coinsurance does not occur if the ampullarness occurs. sent8: if that the mid-off occurs and the particularization does not occur does not hold the firebombing gonion happens. sent9: if that the uniform happens is correct the catecheticalness occurs. sent10: the boning arthroscope causes that the uniform occurs. sent11: the questionableness does not occur. sent12: that the ampullarness happens is true if the firebombing gonion happens. sent13: the gymnasticsness does not occur. sent14: the interoceptiveness does not occur if the soundingness happens. sent15: if the whistling coinsurance does not occur then the fact that that the firebombing puerperium occurs hold is false. sent16: the pteridologicalness happens if the character happens. sent17: that the firebombing puerperium does not occur leads to that the catecheticalness does not occur and the boning arthroscope does not occur.
void -> assump1: Let's assume that the boning arthroscope happens.; void -> assump2: Let's assume that that the uniforming occurs is not wrong.; sent9 & assump2 -> int1: the catecheticalness occurs.; sent2 & int1 -> int2: the boning arthroscope does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the uniform does not occur is right.; [assump1] & int4 -> hypothesis;
the chylificness occurs.
$hypothesis$ = if the boning arthroscope occurs then the uniform does not occur. ; $context$ = sent1: the reinstatement occurs. sent2: that the catecheticalness happens brings about that the boning arthroscope does not occur. sent3: if the fact that the whistling chaplain happens is not wrong the rowing happens. sent4: if the catecheticalness does not occur both the chylificness and the uniforming happens. sent5: the embodiment does not occur if the boning fortitude occurs. sent6: that the uniforming happens and the funeral occurs is caused by that the catecheticalness does not occur. sent7: the whistling coinsurance does not occur if the ampullarness occurs. sent8: if that the mid-off occurs and the particularization does not occur does not hold the firebombing gonion happens. sent9: if that the uniform happens is correct the catecheticalness occurs. sent10: the boning arthroscope causes that the uniform occurs. sent11: the questionableness does not occur. sent12: that the ampullarness happens is true if the firebombing gonion happens. sent13: the gymnasticsness does not occur. sent14: the interoceptiveness does not occur if the soundingness happens. sent15: if the whistling coinsurance does not occur then the fact that that the firebombing puerperium occurs hold is false. sent16: the pteridologicalness happens if the character happens. sent17: that the firebombing puerperium does not occur leads to that the catecheticalness does not occur and the boning arthroscope does not occur. ; $proof$ = 
void -> assump1: Let's assume that the boning arthroscope happens.; void -> assump2: Let's assume that that the uniforming occurs is not wrong.; sent9 & assump2 -> int1: the catecheticalness occurs.; sent2 & int1 -> int2: the boning arthroscope does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the uniform does not occur is right.; [assump1] & int4 -> hypothesis; __PROVED__