that the fact that the overawing footpad happens and the pictographicness occurs does not hold is not false.
sent1: the praetorship and the intercession happens. sent2: if the overawing imbecility does not occur then the strawing and the gauging dotted occurs. sent3: if the operative does not occur then the aestheticsness occurs. sent4: the sphingineness occurs if the fact that the sphingineness does not occur and the job does not occur is not right. sent5: the overawing attribute does not occur if the repeat does not occur. sent6: the smashing does not occur. sent7: the tagging warmth occurs. sent8: if the fact that the staling does not occur is not false that not the smash but the pictographicness occurs is not right. sent9: the overawing imbecility occurs. sent10: the fact that the pressorness happens and the overawing footpad occurs does not hold if the pictographicness does not occur. sent11: if the fact that the phenomenalness does not occur is true the preoccupation does not occur. sent12: the bardicness occurs. sent13: the marshalship does not occur. sent14: the pictographicness does not occur if the fact that the smash does not occur but the pictographicness happens is incorrect. sent15: the pictographicness and the non-pressorness happens if the smash does not occur. sent16: if that the tagging parsonage does not occur is not false then the aplacentalness does not occur. sent17: the enrolling does not occur if the gauging dotted does not occur. sent18: if the repeat occurs then the overawing imbecility does not occur and/or the overawing attribute happens. sent19: the sphingineness does not occur. sent20: the isentropicness occurs. sent21: if the fact that the sphingineness does not occur is not incorrect then the overawing attribute occurs and the staleness happens. sent22: that the overawing footpad occurs is triggered by that the enrolling does not occur. sent23: that the repeating does not occur is brought about by that the gauging dotted occurs and the overawing imbecility happens. sent24: the osculating occurs. sent25: the retrorseness happens.
void -> assump1: Let's assume that the gauging dotted happens.; assump1 & sent9 -> int1: both the gauging dotted and the overawing imbecility occurs.; int1 & sent23 -> int2: the repeat does not occur.; int2 & sent5 -> int3: the overawing attribute does not occur.; sent21 & sent19 -> int4: both the overawing attribute and the staling occurs.; int4 -> int5: the overawing attribute occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gauging dotted does not occur.; int7 & sent17 -> int8: that the enrolling does not occur is not false.; int8 & sent22 -> int9: the overawing footpad occurs.; sent15 & sent6 -> int10: the pictographicness but not the pressorness occurs.; int10 -> int11: the pictographicness occurs.; int9 & int11 -> hypothesis;
the strawing happens.
$hypothesis$ = that the fact that the overawing footpad happens and the pictographicness occurs does not hold is not false. ; $context$ = sent1: the praetorship and the intercession happens. sent2: if the overawing imbecility does not occur then the strawing and the gauging dotted occurs. sent3: if the operative does not occur then the aestheticsness occurs. sent4: the sphingineness occurs if the fact that the sphingineness does not occur and the job does not occur is not right. sent5: the overawing attribute does not occur if the repeat does not occur. sent6: the smashing does not occur. sent7: the tagging warmth occurs. sent8: if the fact that the staling does not occur is not false that not the smash but the pictographicness occurs is not right. sent9: the overawing imbecility occurs. sent10: the fact that the pressorness happens and the overawing footpad occurs does not hold if the pictographicness does not occur. sent11: if the fact that the phenomenalness does not occur is true the preoccupation does not occur. sent12: the bardicness occurs. sent13: the marshalship does not occur. sent14: the pictographicness does not occur if the fact that the smash does not occur but the pictographicness happens is incorrect. sent15: the pictographicness and the non-pressorness happens if the smash does not occur. sent16: if that the tagging parsonage does not occur is not false then the aplacentalness does not occur. sent17: the enrolling does not occur if the gauging dotted does not occur. sent18: if the repeat occurs then the overawing imbecility does not occur and/or the overawing attribute happens. sent19: the sphingineness does not occur. sent20: the isentropicness occurs. sent21: if the fact that the sphingineness does not occur is not incorrect then the overawing attribute occurs and the staleness happens. sent22: that the overawing footpad occurs is triggered by that the enrolling does not occur. sent23: that the repeating does not occur is brought about by that the gauging dotted occurs and the overawing imbecility happens. sent24: the osculating occurs. sent25: the retrorseness happens. ; $proof$ = 
void -> assump1: Let's assume that the gauging dotted happens.; assump1 & sent9 -> int1: both the gauging dotted and the overawing imbecility occurs.; int1 & sent23 -> int2: the repeat does not occur.; int2 & sent5 -> int3: the overawing attribute does not occur.; sent21 & sent19 -> int4: both the overawing attribute and the staling occurs.; int4 -> int5: the overawing attribute occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gauging dotted does not occur.; int7 & sent17 -> int8: that the enrolling does not occur is not false.; int8 & sent22 -> int9: the overawing footpad occurs.; sent15 & sent6 -> int10: the pictographicness but not the pressorness occurs.; int10 -> int11: the pictographicness occurs.; int9 & int11 -> hypothesis; __DISPROVED__