not the punctuation but the ingenue happens.
sent1: the imbecility does not occur. sent2: the proceduralness happens if that not the sailing-race but the woolenness occurs is incorrect. sent3: that the imbecility does not occur is prevented by that the proceduralness occurs. sent4: if the pullback does not occur both the salvificness and the hitting occurs. sent5: the pullback does not occur if the fact that both the pullback and the non-hypercatalecticness happens is incorrect. sent6: that the Shavian happens hold if the startup occurs. sent7: the detribalizing Lloyd does not occur. sent8: if the punctuation does not occur but the ingenue occurs then the startup occurs. sent9: both the non-Shavianness and the deterrence occurs if the imbecility does not occur. sent10: that that the pullback occurs and the hypercatalecticness does not occur is not right is true if the psychiatricness does not occur. sent11: that the acing occurs is prevented by the non-Manchurianness and/or that the salvificness occurs. sent12: if that the deterrence does not occur and the startup does not occur is wrong the punctuation does not occur. sent13: that the deterrence does not occur and the startup does not occur is not true if the acing does not occur. sent14: the fact that the homework and the non-psychiatricness happens if the detribalizing Lloyd does not occur hold. sent15: the fact that not the sailing-race but the woolenness occurs is incorrect if the karma does not occur.
void -> assump1: Let's assume that not the punctuation but the ingenue happens.; sent8 & assump1 -> int1: the startup happens.; int1 & sent6 -> int2: the Shavianness happens.; sent9 & sent1 -> int3: both the non-Shavianness and the deterrence happens.; int3 -> int4: the Shavian does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
not the punctuation but the ingenue happens.
sent14 & sent7 -> int6: both the homework and the non-psychiatricness happens.; int6 -> int7: the psychiatricness does not occur.; sent10 & int7 -> int8: the fact that the fact that the pullback occurs but the hypercatalectic does not occur is not wrong does not hold.; sent5 & int8 -> int9: the pullback does not occur.; sent4 & int9 -> int10: both the salvificness and the hitting occurs.; int10 -> int11: the salvificness happens.; int11 -> int12: the Manchurianness does not occur and/or the salvificness happens.; sent11 & int12 -> int13: the ace does not occur.; sent13 & int13 -> int14: the fact that the deterrence does not occur and the startup does not occur is incorrect.; sent12 & int14 -> int15: the punctuation does not occur.;
$hypothesis$ = not the punctuation but the ingenue happens. ; $context$ = sent1: the imbecility does not occur. sent2: the proceduralness happens if that not the sailing-race but the woolenness occurs is incorrect. sent3: that the imbecility does not occur is prevented by that the proceduralness occurs. sent4: if the pullback does not occur both the salvificness and the hitting occurs. sent5: the pullback does not occur if the fact that both the pullback and the non-hypercatalecticness happens is incorrect. sent6: that the Shavian happens hold if the startup occurs. sent7: the detribalizing Lloyd does not occur. sent8: if the punctuation does not occur but the ingenue occurs then the startup occurs. sent9: both the non-Shavianness and the deterrence occurs if the imbecility does not occur. sent10: that that the pullback occurs and the hypercatalecticness does not occur is not right is true if the psychiatricness does not occur. sent11: that the acing occurs is prevented by the non-Manchurianness and/or that the salvificness occurs. sent12: if that the deterrence does not occur and the startup does not occur is wrong the punctuation does not occur. sent13: that the deterrence does not occur and the startup does not occur is not true if the acing does not occur. sent14: the fact that the homework and the non-psychiatricness happens if the detribalizing Lloyd does not occur hold. sent15: the fact that not the sailing-race but the woolenness occurs is incorrect if the karma does not occur. ; $proof$ = 
void -> assump1: Let's assume that not the punctuation but the ingenue happens.; sent8 & assump1 -> int1: the startup happens.; int1 & sent6 -> int2: the Shavianness happens.; sent9 & sent1 -> int3: both the non-Shavianness and the deterrence happens.; int3 -> int4: the Shavian does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__