the wildfire happens.
sent1: the pitying bad occurs. sent2: that the pitying docility happens causes the non-irreverentness. sent3: the pitying rancidity does not occur and/or the correlating Dominique does not occur. sent4: the wildfire does not occur if the fact that the fact that the swapping Canopus does not occur but the anabolicness occurs is false is not wrong. sent5: if the pitying rancidity does not occur and the Rabelaisianness does not occur the disjoining does not occur. sent6: the actualness does not occur if the actualness does not occur or the singling yokel does not occur or both. sent7: the exchangeableness does not occur. sent8: the Americanness occurs. sent9: that the truancy does not occur is caused by that the subjectiveness and/or the Rabelaisianness happens. sent10: that the singling yokel happens and/or that the aerologicalness occurs causes that the space does not occur. sent11: if the afraidness occurs then the saving does not occur. sent12: the pitying rancidity does not occur if the pitying rancidity does not occur and/or the correlating Dominique does not occur. sent13: the swapping Styron occurs. sent14: the fact that the swapping Canopus does not occur but the anabolicness happens is not correct if the disjoining does not occur. sent15: the fact that not the singling Czerny but the chalybeateness occurs is false. sent16: the truancy happens if the Americanness occurs. sent17: the fact that the elegantness does not occur hold.
void -> assump1: Let's assume that the Rabelaisianness occurs.; assump1 -> int1: the subjectiveness or the Rabelaisianness or both happens.; int1 & sent9 -> int2: the truancy does not occur.; sent16 & sent8 -> int3: the fact that the truancy occurs is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Rabelaisianness does not occur.; sent12 & sent3 -> int6: the pitying rancidity does not occur.; int5 & int6 -> int7: the pitying rancidity does not occur and the Rabelaisianness does not occur.; int7 & sent5 -> int8: the disjoining does not occur.; int8 & sent14 -> int9: that that not the swapping Canopus but the anabolicness occurs is not incorrect is wrong.; int9 & sent4 -> hypothesis;
$hypothesis$ = the wildfire happens. ; $context$ = sent1: the pitying bad occurs. sent2: that the pitying docility happens causes the non-irreverentness. sent3: the pitying rancidity does not occur and/or the correlating Dominique does not occur. sent4: the wildfire does not occur if the fact that the fact that the swapping Canopus does not occur but the anabolicness occurs is false is not wrong. sent5: if the pitying rancidity does not occur and the Rabelaisianness does not occur the disjoining does not occur. sent6: the actualness does not occur if the actualness does not occur or the singling yokel does not occur or both. sent7: the exchangeableness does not occur. sent8: the Americanness occurs. sent9: that the truancy does not occur is caused by that the subjectiveness and/or the Rabelaisianness happens. sent10: that the singling yokel happens and/or that the aerologicalness occurs causes that the space does not occur. sent11: if the afraidness occurs then the saving does not occur. sent12: the pitying rancidity does not occur if the pitying rancidity does not occur and/or the correlating Dominique does not occur. sent13: the swapping Styron occurs. sent14: the fact that the swapping Canopus does not occur but the anabolicness happens is not correct if the disjoining does not occur. sent15: the fact that not the singling Czerny but the chalybeateness occurs is false. sent16: the truancy happens if the Americanness occurs. sent17: the fact that the elegantness does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the Rabelaisianness occurs.; assump1 -> int1: the subjectiveness or the Rabelaisianness or both happens.; int1 & sent9 -> int2: the truancy does not occur.; sent16 & sent8 -> int3: the fact that the truancy occurs is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Rabelaisianness does not occur.; sent12 & sent3 -> int6: the pitying rancidity does not occur.; int5 & int6 -> int7: the pitying rancidity does not occur and the Rabelaisianness does not occur.; int7 & sent5 -> int8: the disjoining does not occur.; int8 & sent14 -> int9: that that not the swapping Canopus but the anabolicness occurs is not incorrect is wrong.; int9 & sent4 -> hypothesis; __DISPROVED__