the hypovolemicness occurs.
sent1: the officialness happens. sent2: the speech and the servileness occurs if the lode does not occur. sent3: if the fact that the fact that both the lode and the headlining happens hold is not right the lode does not occur. sent4: the sea-duty does not occur. sent5: if the contradistinguishing relentlessness occurs not the interleaving sphygmomanometer but the ancestralness occurs. sent6: the rebound occurs. sent7: if the persuasiveness happens then not the flamenco but the burying happens. sent8: that the particularization does not occur or the contradistinguishing revenant or both leads to the undemonstrativeness. sent9: if the sea-duty does not occur then the Laputanness happens and the headline occurs. sent10: if the hypovolemicness happens then both the non-siderealness and the ambush happens. sent11: if the Laputanness happens not the servileness but the lode happens. sent12: that the servileness does not occur is prevented by that the siderealness does not occur and/or the speech. sent13: if the speech occurs the hypovolemicness happens.
void -> assump1: Let's assume that the hypovolemicness happens.; sent10 & assump1 -> int1: not the siderealness but the ambush occurs.; int1 -> int2: the siderealness does not occur.; int2 -> int3: the fact that the siderealness does not occur and/or the speech occurs is not incorrect.; int3 & sent12 -> int4: the servileness happens.; sent9 & sent4 -> int5: the Laputanness and the headline occurs.; int5 -> int6: the Laputanness occurs.; sent11 & int6 -> int7: the unservileness and the lode occurs.; int7 -> int8: the servileness does not occur.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the hypovolemicness happens.
$hypothesis$ = the hypovolemicness occurs. ; $context$ = sent1: the officialness happens. sent2: the speech and the servileness occurs if the lode does not occur. sent3: if the fact that the fact that both the lode and the headlining happens hold is not right the lode does not occur. sent4: the sea-duty does not occur. sent5: if the contradistinguishing relentlessness occurs not the interleaving sphygmomanometer but the ancestralness occurs. sent6: the rebound occurs. sent7: if the persuasiveness happens then not the flamenco but the burying happens. sent8: that the particularization does not occur or the contradistinguishing revenant or both leads to the undemonstrativeness. sent9: if the sea-duty does not occur then the Laputanness happens and the headline occurs. sent10: if the hypovolemicness happens then both the non-siderealness and the ambush happens. sent11: if the Laputanness happens not the servileness but the lode happens. sent12: that the servileness does not occur is prevented by that the siderealness does not occur and/or the speech. sent13: if the speech occurs the hypovolemicness happens. ; $proof$ = 
void -> assump1: Let's assume that the hypovolemicness happens.; sent10 & assump1 -> int1: not the siderealness but the ambush occurs.; int1 -> int2: the siderealness does not occur.; int2 -> int3: the fact that the siderealness does not occur and/or the speech occurs is not incorrect.; int3 & sent12 -> int4: the servileness happens.; sent9 & sent4 -> int5: the Laputanness and the headline occurs.; int5 -> int6: the Laputanness occurs.; sent11 & int6 -> int7: the unservileness and the lode occurs.; int7 -> int8: the servileness does not occur.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__