the fact that the politicalness is caused by the non-dialectalness is false.
sent1: if the paschalness happens the digestibleness occurs. sent2: if that the sporulating but not the trustfulness happens is wrong the coveting archosaur does not occur. sent3: if the coveting archosaur does not occur the finishing and the smacker happens. sent4: if the fact that not the paschalness but the digestibleness happens is wrong the nonspecificness occurs. sent5: that the expression does not occur is not false. sent6: if the paschalness does not occur then the expression does not occur but the femoralness occurs. sent7: both the non-spondaicness and the luxuriating happens. sent8: the treating stonefly does not occur if the finishing occurs. sent9: the nonpoliticalness happens if the digestibleness and the non-dialectalness occurs. sent10: if the dialectalness happens then the fact that both the non-paschalness and the digestibleness occurs is not true. sent11: the nonpoliticalness happens if the dialectalness does not occur. sent12: the dialectalness and the nonpoliticalness happens if that the counter-sabotage does not occur hold. sent13: the femoralness does not occur. sent14: that the digestibleness and the dialectalness happens brings about that the nonpoliticalness does not occur. sent15: the fact that the nonpoliticalness does not occur is true if the dialectalness happens. sent16: that the spondaicness does not occur and the treating stonefly does not occur prevents the counter-sabotage. sent17: the nonpoliticalness does not occur if the digestibleness happens but the dialectalness does not occur. sent18: the expression does not occur if the paschalness does not occur.
void -> assump1: Let's assume that the paschalness does not occur.; sent6 & assump1 -> int1: not the expression but the femoralness occurs.; int1 -> int2: the femoralness occurs.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> int4: the paschalness happens.; int4 & sent1 -> int5: the digestibleness occurs.; void -> assump2: Let's assume that the dialectalness does not occur.; int5 & assump2 -> int6: both the digestibleness and the non-dialectalness occurs.; int6 & sent17 -> int7: that the nonpoliticalness does not occur is right.; [assump2] & int7 -> hypothesis;
the fact that the nonspecificness occurs is true.
sent7 -> int8: the spondaicness does not occur.;
$hypothesis$ = the fact that the politicalness is caused by the non-dialectalness is false. ; $context$ = sent1: if the paschalness happens the digestibleness occurs. sent2: if that the sporulating but not the trustfulness happens is wrong the coveting archosaur does not occur. sent3: if the coveting archosaur does not occur the finishing and the smacker happens. sent4: if the fact that not the paschalness but the digestibleness happens is wrong the nonspecificness occurs. sent5: that the expression does not occur is not false. sent6: if the paschalness does not occur then the expression does not occur but the femoralness occurs. sent7: both the non-spondaicness and the luxuriating happens. sent8: the treating stonefly does not occur if the finishing occurs. sent9: the nonpoliticalness happens if the digestibleness and the non-dialectalness occurs. sent10: if the dialectalness happens then the fact that both the non-paschalness and the digestibleness occurs is not true. sent11: the nonpoliticalness happens if the dialectalness does not occur. sent12: the dialectalness and the nonpoliticalness happens if that the counter-sabotage does not occur hold. sent13: the femoralness does not occur. sent14: that the digestibleness and the dialectalness happens brings about that the nonpoliticalness does not occur. sent15: the fact that the nonpoliticalness does not occur is true if the dialectalness happens. sent16: that the spondaicness does not occur and the treating stonefly does not occur prevents the counter-sabotage. sent17: the nonpoliticalness does not occur if the digestibleness happens but the dialectalness does not occur. sent18: the expression does not occur if the paschalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the paschalness does not occur.; sent6 & assump1 -> int1: not the expression but the femoralness occurs.; int1 -> int2: the femoralness occurs.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> int4: the paschalness happens.; int4 & sent1 -> int5: the digestibleness occurs.; void -> assump2: Let's assume that the dialectalness does not occur.; int5 & assump2 -> int6: both the digestibleness and the non-dialectalness occurs.; int6 & sent17 -> int7: that the nonpoliticalness does not occur is right.; [assump2] & int7 -> hypothesis; __DISPROVED__