that the homostylousness happens is not false.
sent1: if the crashing does not occur the leptorrhineness does not occur. sent2: the fact that not the boomerang but the fragmenting thistledown happens is false if the discountenancing squeamishness occurs. sent3: the elongating does not occur and the pacing does not occur. sent4: the elongating is brought about by that the crashing occurs. sent5: that the coo does not occur but the shrift happens is false if the picking occurs. sent6: if the non-leptorrhineness or the galling or both happens the discountenancing squeamishness occurs. sent7: if that the boomeranging does not occur but the fragmenting thistledown happens does not hold the homostylousness happens.
void -> assump1: Let's assume that the crashing happens.; sent4 & assump1 -> int1: the elongating happens.; sent3 -> int2: the elongating does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the crash does not occur is not false.; int4 & sent1 -> int5: the leptorrhineness does not occur.; int5 -> int6: the leptorrhineness does not occur or the galling happens or both.; int6 & sent6 -> int7: the discountenancing squeamishness occurs.; int7 & sent2 -> int8: the fact that not the boomeranging but the fragmenting thistledown happens is wrong.; int8 & sent7 -> hypothesis;
$hypothesis$ = that the homostylousness happens is not false. ; $context$ = sent1: if the crashing does not occur the leptorrhineness does not occur. sent2: the fact that not the boomerang but the fragmenting thistledown happens is false if the discountenancing squeamishness occurs. sent3: the elongating does not occur and the pacing does not occur. sent4: the elongating is brought about by that the crashing occurs. sent5: that the coo does not occur but the shrift happens is false if the picking occurs. sent6: if the non-leptorrhineness or the galling or both happens the discountenancing squeamishness occurs. sent7: if that the boomeranging does not occur but the fragmenting thistledown happens does not hold the homostylousness happens. ; $proof$ = 
void -> assump1: Let's assume that the crashing happens.; sent4 & assump1 -> int1: the elongating happens.; sent3 -> int2: the elongating does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the crash does not occur is not false.; int4 & sent1 -> int5: the leptorrhineness does not occur.; int5 -> int6: the leptorrhineness does not occur or the galling happens or both.; int6 & sent6 -> int7: the discountenancing squeamishness occurs.; int7 & sent2 -> int8: the fact that not the boomeranging but the fragmenting thistledown happens is wrong.; int8 & sent7 -> hypothesis; __PROVED__