that that the strappado does not occur is true is incorrect.
sent1: the dinning does not occur and the filarialness does not occur if the recasting foray occurs. sent2: not the baronetage but the defusing Goliath occurs if the tagging drawn does not occur. sent3: the tagging drawn happens. sent4: if the thronging does not occur the rationalisticness and the microeconomicsness happens. sent5: not the guaranteeing Pujunan but the prejudicialness happens if the rationalisticness happens. sent6: that the follies does not occur is true if the fact that the fact that the auroralness occurs or the defusing Pujunan occurs or both is not correct is not incorrect. sent7: if that the recasting foray does not occur and the filarialness does not occur is false the tagging Salome does not occur. sent8: that the recasting foray and the tagging Salome occurs is brought about by that the follies does not occur. sent9: if the guaranteeing Pujunan does not occur then that the auroralness occurs and/or the defusing Pujunan happens is incorrect. sent10: not the strappado but the defusing Goliath happens if the tagging drawn does not occur. sent11: the auroralness does not occur. sent12: that the defusing Pujunan occurs and the dinning happens is triggered by the non-auroralness. sent13: that the strappado happens hold if the follies does not occur or the tagging Salome does not occur or both. sent14: that the dinning occurs is prevented by that both the defusing Goliath and the tagging drawn happens. sent15: either that the tagging Salome does not occur or that the follies does not occur or both leads to that the recasting foray does not occur.
void -> assump1: Let's assume that the defusing Goliath occurs.; assump1 & sent3 -> int1: the defusing Goliath and the tagging drawn occurs.; int1 & sent14 -> int2: the fact that the dinning does not occur is correct.; sent12 & sent11 -> int3: both the defusing Pujunan and the dinning occurs.; int3 -> int4: the dinning happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the defusing Goliath does not occur.;
the strappado does not occur.
$hypothesis$ = that that the strappado does not occur is true is incorrect. ; $context$ = sent1: the dinning does not occur and the filarialness does not occur if the recasting foray occurs. sent2: not the baronetage but the defusing Goliath occurs if the tagging drawn does not occur. sent3: the tagging drawn happens. sent4: if the thronging does not occur the rationalisticness and the microeconomicsness happens. sent5: not the guaranteeing Pujunan but the prejudicialness happens if the rationalisticness happens. sent6: that the follies does not occur is true if the fact that the fact that the auroralness occurs or the defusing Pujunan occurs or both is not correct is not incorrect. sent7: if that the recasting foray does not occur and the filarialness does not occur is false the tagging Salome does not occur. sent8: that the recasting foray and the tagging Salome occurs is brought about by that the follies does not occur. sent9: if the guaranteeing Pujunan does not occur then that the auroralness occurs and/or the defusing Pujunan happens is incorrect. sent10: not the strappado but the defusing Goliath happens if the tagging drawn does not occur. sent11: the auroralness does not occur. sent12: that the defusing Pujunan occurs and the dinning happens is triggered by the non-auroralness. sent13: that the strappado happens hold if the follies does not occur or the tagging Salome does not occur or both. sent14: that the dinning occurs is prevented by that both the defusing Goliath and the tagging drawn happens. sent15: either that the tagging Salome does not occur or that the follies does not occur or both leads to that the recasting foray does not occur. ; $proof$ = 
void -> assump1: Let's assume that the defusing Goliath occurs.; assump1 & sent3 -> int1: the defusing Goliath and the tagging drawn occurs.; int1 & sent14 -> int2: the fact that the dinning does not occur is correct.; sent12 & sent11 -> int3: both the defusing Pujunan and the dinning occurs.; int3 -> int4: the dinning happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the defusing Goliath does not occur.; __UNKNOWN__