if the horripilating Solidago and the actualness happens that the flounce does not occur hold.
sent1: if the translunarness does not occur then that the repositing luxuriation and the Estonian happens does not hold. sent2: the non-tectonicsness is caused by either that the tectonicsness does not occur or the non-schizoidness or both. sent3: the fact that the flounce happens hold. sent4: the fact that the inaccurateness does not occur or the billiardsness does not occur or both is not true if the aftershock does not occur. sent5: if the fact that the repositing luxuriation and the Estonian occurs is not right the fact that the Estonian does not occur is not false. sent6: the actualness does not occur if the fact that the flounce and the actualness occurs is not correct. sent7: the fact that both the sound and the aftershock occurs is not right if the Kenyan does not occur. sent8: the dishonestness happens. sent9: the flounce happens if the horripilating Solidago and the actualness happens. sent10: if the actualness does not occur then both the lark and the horripilating Solidago occurs. sent11: that the sidestep does not occur is brought about by the non-tectonicsness. sent12: if the fact that both the sound and the aftershock occurs does not hold then the aftershock does not occur. sent13: the horripilating selva happens. sent14: if that either the accurateness or the non-billiardsness or both happens does not hold then the translunarness does not occur. sent15: that the tectonicsness does not occur and/or the non-schizoidness is caused by that the horripilating tank happens. sent16: the horripilating tank happens and the repositing camera happens if the Estonianness does not occur. sent17: the sidestep happens.
void -> assump1: Let's assume that the horripilating Solidago occurs and the actualness occurs.; assump1 -> int1: the horripilating Solidago happens.; int1 & sent17 -> int2: the horripilating Solidago occurs and the sidestep occurs.;
the lark happens.
$hypothesis$ = if the horripilating Solidago and the actualness happens that the flounce does not occur hold. ; $context$ = sent1: if the translunarness does not occur then that the repositing luxuriation and the Estonian happens does not hold. sent2: the non-tectonicsness is caused by either that the tectonicsness does not occur or the non-schizoidness or both. sent3: the fact that the flounce happens hold. sent4: the fact that the inaccurateness does not occur or the billiardsness does not occur or both is not true if the aftershock does not occur. sent5: if the fact that the repositing luxuriation and the Estonian occurs is not right the fact that the Estonian does not occur is not false. sent6: the actualness does not occur if the fact that the flounce and the actualness occurs is not correct. sent7: the fact that both the sound and the aftershock occurs is not right if the Kenyan does not occur. sent8: the dishonestness happens. sent9: the flounce happens if the horripilating Solidago and the actualness happens. sent10: if the actualness does not occur then both the lark and the horripilating Solidago occurs. sent11: that the sidestep does not occur is brought about by the non-tectonicsness. sent12: if the fact that both the sound and the aftershock occurs does not hold then the aftershock does not occur. sent13: the horripilating selva happens. sent14: if that either the accurateness or the non-billiardsness or both happens does not hold then the translunarness does not occur. sent15: that the tectonicsness does not occur and/or the non-schizoidness is caused by that the horripilating tank happens. sent16: the horripilating tank happens and the repositing camera happens if the Estonianness does not occur. sent17: the sidestep happens. ; $proof$ = 
void -> assump1: Let's assume that the horripilating Solidago occurs and the actualness occurs.; assump1 -> int1: the horripilating Solidago happens.; int1 & sent17 -> int2: the horripilating Solidago occurs and the sidestep occurs.; __UNKNOWN__