the fact that the snick happens is not wrong.
sent1: the green happens. sent2: the fidgeting viceroyship occurs if the prognathousness does not occur and/or the tetravalentness does not occur. sent3: that the interpolating localization happens triggers that the permitting fricassee happens. sent4: if the prognathousness and/or the canvassing happens the loticness does not occur. sent5: that the interpolating localization does not occur is prevented by that the greenness happens. sent6: that the permitting fricassee happens is prevented by the non-loticness.
void -> assump1: Let's assume that the prognathousness happens.; assump1 -> int1: the prognathousness happens and/or the canvassing occurs.; int1 & sent4 -> int2: the loticness does not occur.; int2 & sent6 -> int3: the fact that the permitting fricassee does not occur is correct.; sent5 & sent1 -> int4: the interpolating localization happens.; sent3 & int4 -> int5: the permitting fricassee occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the prognathousness does not occur.; int7 -> int8: either the non-prognathousness or the non-tetravalentness or both occurs.; int8 & sent2 -> int9: the fidgeting viceroyship happens.;
$hypothesis$ = the fact that the snick happens is not wrong. ; $context$ = sent1: the green happens. sent2: the fidgeting viceroyship occurs if the prognathousness does not occur and/or the tetravalentness does not occur. sent3: that the interpolating localization happens triggers that the permitting fricassee happens. sent4: if the prognathousness and/or the canvassing happens the loticness does not occur. sent5: that the interpolating localization does not occur is prevented by that the greenness happens. sent6: that the permitting fricassee happens is prevented by the non-loticness. ; $proof$ = 
void -> assump1: Let's assume that the prognathousness happens.; assump1 -> int1: the prognathousness happens and/or the canvassing occurs.; int1 & sent4 -> int2: the loticness does not occur.; int2 & sent6 -> int3: the fact that the permitting fricassee does not occur is correct.; sent5 & sent1 -> int4: the interpolating localization happens.; sent3 & int4 -> int5: the permitting fricassee occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the prognathousness does not occur.; int7 -> int8: either the non-prognathousness or the non-tetravalentness or both occurs.; int8 & sent2 -> int9: the fidgeting viceroyship happens.; __UNKNOWN__