if the Alaskan happens then the hogging baas occurs.
sent1: if the fact that the heterodactylness does not occur hold the glorifying happens and the overlordship does not occur. sent2: the beggaring Decapterus and/or that the hogging gherkin does not occur prevents the cathodicness. sent3: the repressing timberline does not occur and the repressing whalebone happens if the countersubversion does not occur. sent4: the hogging gherkin occurs. sent5: if the afforestation does not occur the fact that the hogging sop and the badness occurs is not true. sent6: the sighting does not occur if that the non-spectrometricness and the flatnessness happens is false. sent7: if the sight does not occur then not the self-improvement but the toughening happens. sent8: if the fact that the fact that the life-supportness occurs but the hogging achiever does not occur is not true is right the hogging achiever happens. sent9: the repressing Czechoslovakian does not occur if the fact that the hogging sop occurs and the bad happens does not hold. sent10: if the repressing swamp occurs that the life-supportness occurs but the hogging achiever does not occur does not hold. sent11: the fact that the heterodactylness does not occur hold if the self-improvement does not occur and the toughening occurs. sent12: that either the hogging baas or the Alaskan or both occurs does not hold if the repressing Czechoslovakian does not occur. sent13: if the deformation does not occur that not the spectrometricness but the flatnessness occurs does not hold. sent14: the repressing swamp happens if the repressing whalebone happens. sent15: that both the hogging gherkin and the beggaring Decapterus occurs yields the Alaskanness. sent16: that the hogging gherkin happens and the beggaring Decapterus happens brings about that the Alaskan does not occur. sent17: if that the hogging baas occurs and/or the Alaskan occurs does not hold the hogging gherkin does not occur. sent18: if the hogging achiever happens the plum does not occur and the deformation does not occur. sent19: that the glorifying occurs but the overlordship does not occur leads to that the afforestation does not occur.
void -> assump2: Let's assume that the beggaring Decapterus happens.; sent4 & assump2 -> int1: the hogging gherkin occurs and the beggaring Decapterus happens.; int1 & sent16 -> int2: the Alaskan does not occur.; void -> assump1: Let's assume that the Alaskanness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the beggaring Decapterus does not occur.;
the cathodicness does not occur.
$hypothesis$ = if the Alaskan happens then the hogging baas occurs. ; $context$ = sent1: if the fact that the heterodactylness does not occur hold the glorifying happens and the overlordship does not occur. sent2: the beggaring Decapterus and/or that the hogging gherkin does not occur prevents the cathodicness. sent3: the repressing timberline does not occur and the repressing whalebone happens if the countersubversion does not occur. sent4: the hogging gherkin occurs. sent5: if the afforestation does not occur the fact that the hogging sop and the badness occurs is not true. sent6: the sighting does not occur if that the non-spectrometricness and the flatnessness happens is false. sent7: if the sight does not occur then not the self-improvement but the toughening happens. sent8: if the fact that the fact that the life-supportness occurs but the hogging achiever does not occur is not true is right the hogging achiever happens. sent9: the repressing Czechoslovakian does not occur if the fact that the hogging sop occurs and the bad happens does not hold. sent10: if the repressing swamp occurs that the life-supportness occurs but the hogging achiever does not occur does not hold. sent11: the fact that the heterodactylness does not occur hold if the self-improvement does not occur and the toughening occurs. sent12: that either the hogging baas or the Alaskan or both occurs does not hold if the repressing Czechoslovakian does not occur. sent13: if the deformation does not occur that not the spectrometricness but the flatnessness occurs does not hold. sent14: the repressing swamp happens if the repressing whalebone happens. sent15: that both the hogging gherkin and the beggaring Decapterus occurs yields the Alaskanness. sent16: that the hogging gherkin happens and the beggaring Decapterus happens brings about that the Alaskan does not occur. sent17: if that the hogging baas occurs and/or the Alaskan occurs does not hold the hogging gherkin does not occur. sent18: if the hogging achiever happens the plum does not occur and the deformation does not occur. sent19: that the glorifying occurs but the overlordship does not occur leads to that the afforestation does not occur. ; $proof$ = 
void -> assump2: Let's assume that the beggaring Decapterus happens.; sent4 & assump2 -> int1: the hogging gherkin occurs and the beggaring Decapterus happens.; int1 & sent16 -> int2: the Alaskan does not occur.; void -> assump1: Let's assume that the Alaskanness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the beggaring Decapterus does not occur.; __UNKNOWN__