the fact that the miscarrying kerion does not occur hold.
sent1: that if the uneventfulness does not occur then the fact that the miscarrying kerion and the tripping playmate occurs does not hold is correct. sent2: if that both the miscarrying kerion and the tripping playmate happens is wrong the tripping playmate does not occur. sent3: the Frenchifying colligation does not occur if the uneventfulness and/or the caressing happens. sent4: the symptomaticness does not occur. sent5: the fact that the Frenchifying colligation does not occur is not incorrect if the caressing happens. sent6: the non-postglacialness and the non-symptomaticness occurs. sent7: the inexactness happens and the Frenchifying colligation occurs if the postglacialness does not occur. sent8: if the exodonticsness does not occur the stylishness and the hearing quadroon occurs. sent9: the inexactness happens. sent10: if the miscarrying kerion occurs then the uneventfulness occurs. sent11: the non-symptomaticness and the diversion happens if the Hertzianness does not occur. sent12: the inexactness occurs if the postglacialness does not occur. sent13: the postglacialness occurs if the fact that the miscarrying jugglery occurs and the postglacialness does not occur is false. sent14: if the fact that the postglacialness happens and the symptomaticness happens is not true then the caressing does not occur. sent15: the fact that the caress does not occur is right if not the Frenchifying colligation but the inexactness occurs. sent16: the Frenchifying colligation does not occur and the inexactness occurs if the postglacialness happens.
void -> assump1: Let's assume that the miscarrying kerion occurs.; sent10 & assump1 -> int1: the uneventfulness happens.; int1 -> int2: the uneventfulness or the caress or both occurs.; int2 & sent3 -> int3: the Frenchifying colligation does not occur.; sent6 -> int4: the postglacialness does not occur.; sent7 & int4 -> int5: the inexactness and the Frenchifying colligation happens.; int5 -> int6: the Frenchifying colligation happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the miscarrying kerion happens.
$hypothesis$ = the fact that the miscarrying kerion does not occur hold. ; $context$ = sent1: that if the uneventfulness does not occur then the fact that the miscarrying kerion and the tripping playmate occurs does not hold is correct. sent2: if that both the miscarrying kerion and the tripping playmate happens is wrong the tripping playmate does not occur. sent3: the Frenchifying colligation does not occur if the uneventfulness and/or the caressing happens. sent4: the symptomaticness does not occur. sent5: the fact that the Frenchifying colligation does not occur is not incorrect if the caressing happens. sent6: the non-postglacialness and the non-symptomaticness occurs. sent7: the inexactness happens and the Frenchifying colligation occurs if the postglacialness does not occur. sent8: if the exodonticsness does not occur the stylishness and the hearing quadroon occurs. sent9: the inexactness happens. sent10: if the miscarrying kerion occurs then the uneventfulness occurs. sent11: the non-symptomaticness and the diversion happens if the Hertzianness does not occur. sent12: the inexactness occurs if the postglacialness does not occur. sent13: the postglacialness occurs if the fact that the miscarrying jugglery occurs and the postglacialness does not occur is false. sent14: if the fact that the postglacialness happens and the symptomaticness happens is not true then the caressing does not occur. sent15: the fact that the caress does not occur is right if not the Frenchifying colligation but the inexactness occurs. sent16: the Frenchifying colligation does not occur and the inexactness occurs if the postglacialness happens. ; $proof$ = 
void -> assump1: Let's assume that the miscarrying kerion occurs.; sent10 & assump1 -> int1: the uneventfulness happens.; int1 -> int2: the uneventfulness or the caress or both occurs.; int2 & sent3 -> int3: the Frenchifying colligation does not occur.; sent6 -> int4: the postglacialness does not occur.; sent7 & int4 -> int5: the inexactness and the Frenchifying colligation happens.; int5 -> int6: the Frenchifying colligation happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__