both the Calvinist and the wowing gambist occurs.
sent1: the botryoidness happens. sent2: both the wowing rustication and the comicness happens. sent3: if the monotonicness does not occur the orthodonticsness happens. sent4: the influence occurs and the royalism occurs if the corticalness does not occur. sent5: the thyroidness happens and the wowing scleroprotein happens. sent6: if the perpendicular or the eutrophicness or both occurs then the thyroid does not occur. sent7: both the wowing gambist and the commensal occurs. sent8: the thyroidness does not occur if the eutrophicness occurs.
void -> assump1: Let's assume that the perpendicularness occurs.; assump1 -> int1: either the perpendicularness or the eutrophicness or both occurs.; int1 & sent6 -> int2: the thyroidness does not occur.; sent5 -> int3: the thyroidness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the perpendicularness does not occur.; sent7 -> int6: the wowing gambist happens.;
the fact that the Calvinistness and the wowing gambist happens is wrong.
 -> hypothesis;
$hypothesis$ = both the Calvinist and the wowing gambist occurs. ; $context$ = sent1: the botryoidness happens. sent2: both the wowing rustication and the comicness happens. sent3: if the monotonicness does not occur the orthodonticsness happens. sent4: the influence occurs and the royalism occurs if the corticalness does not occur. sent5: the thyroidness happens and the wowing scleroprotein happens. sent6: if the perpendicular or the eutrophicness or both occurs then the thyroid does not occur. sent7: both the wowing gambist and the commensal occurs. sent8: the thyroidness does not occur if the eutrophicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the perpendicularness occurs.; assump1 -> int1: either the perpendicularness or the eutrophicness or both occurs.; int1 & sent6 -> int2: the thyroidness does not occur.; sent5 -> int3: the thyroidness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the perpendicularness does not occur.; sent7 -> int6: the wowing gambist happens.; __UNKNOWN__