the lambing kiloliter does not occur.
sent1: if the ammoniticness happens then not the swabbing but the sleeper occurs. sent2: the harmonicness happens. sent3: if the FM does not occur then the metamorphosing does not occur or the wearing paynim happens or both. sent4: that the dichromaticness happens is prevented by that the inking does not occur and the dominant does not occur. sent5: if the metamorphosing does not occur and/or the wearing paynim happens then the wearing logion does not occur. sent6: if the wearing logion does not occur and the self-destruction does not occur then the smashing does not occur. sent7: the corrugation results in that the inking does not occur and the dominantness does not occur. sent8: that the depreciation happens and the antrorseness happens is incorrect if the smashing does not occur. sent9: the lambing kiloliter happens if the vaccination and the non-bronchialness happens. sent10: if that the unsusceptibleness does not occur but the commensalness happens is not true then the ammoniticness occurs. sent11: if either the bronchialness happens or the vaccination happens or both then the trespass does not occur. sent12: that the dichromaticness does not occur and/or the ink prevents the antrorseness. sent13: that both the trespassing and the non-bronchialness happens is triggered by that the depreciation does not occur. sent14: if the fact that the antrorseness does not occur hold then the trespass occurs and the depreciation happens. sent15: either the non-dichromaticness or the ink or both happens. sent16: if the dichromaticness does not occur the vaccination occurs. sent17: if the vaccination occurs the trespassing does not occur. sent18: that the sortie does not occur and the premiership does not occur prevents that the FM happens. sent19: the sortie does not occur and the premiership does not occur. sent20: that the self-destruction does not occur is not wrong if not the swabbing but the sleeper occurs. sent21: if the lambing kiloliter happens the bronchialness occurs.
void -> assump1: Let's assume that the lambing kiloliter occurs.; sent21 & assump1 -> int1: the bronchialness happens.; int1 -> int2: the bronchialness happens or the vaccination happens or both.; int2 & sent11 -> int3: that the trespass happens does not hold.; sent12 & sent15 -> int4: the antrorseness does not occur.; sent14 & int4 -> int5: the trespass and the depreciation happens.; int5 -> int6: the trespassing happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the lambing kiloliter happens.
sent18 & sent19 -> int8: the FM does not occur.; sent3 & int8 -> int9: the metamorphosing does not occur and/or the wearing paynim occurs.; sent5 & int9 -> int10: the wearing logion does not occur.;
$hypothesis$ = the lambing kiloliter does not occur. ; $context$ = sent1: if the ammoniticness happens then not the swabbing but the sleeper occurs. sent2: the harmonicness happens. sent3: if the FM does not occur then the metamorphosing does not occur or the wearing paynim happens or both. sent4: that the dichromaticness happens is prevented by that the inking does not occur and the dominant does not occur. sent5: if the metamorphosing does not occur and/or the wearing paynim happens then the wearing logion does not occur. sent6: if the wearing logion does not occur and the self-destruction does not occur then the smashing does not occur. sent7: the corrugation results in that the inking does not occur and the dominantness does not occur. sent8: that the depreciation happens and the antrorseness happens is incorrect if the smashing does not occur. sent9: the lambing kiloliter happens if the vaccination and the non-bronchialness happens. sent10: if that the unsusceptibleness does not occur but the commensalness happens is not true then the ammoniticness occurs. sent11: if either the bronchialness happens or the vaccination happens or both then the trespass does not occur. sent12: that the dichromaticness does not occur and/or the ink prevents the antrorseness. sent13: that both the trespassing and the non-bronchialness happens is triggered by that the depreciation does not occur. sent14: if the fact that the antrorseness does not occur hold then the trespass occurs and the depreciation happens. sent15: either the non-dichromaticness or the ink or both happens. sent16: if the dichromaticness does not occur the vaccination occurs. sent17: if the vaccination occurs the trespassing does not occur. sent18: that the sortie does not occur and the premiership does not occur prevents that the FM happens. sent19: the sortie does not occur and the premiership does not occur. sent20: that the self-destruction does not occur is not wrong if not the swabbing but the sleeper occurs. sent21: if the lambing kiloliter happens the bronchialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the lambing kiloliter occurs.; sent21 & assump1 -> int1: the bronchialness happens.; int1 -> int2: the bronchialness happens or the vaccination happens or both.; int2 & sent11 -> int3: that the trespass happens does not hold.; sent12 & sent15 -> int4: the antrorseness does not occur.; sent14 & int4 -> int5: the trespass and the depreciation happens.; int5 -> int6: the trespassing happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__