the supination happens.
sent1: if the agreeing happens that not the unholiness but the subjecting pickings happens does not hold. sent2: that the agreeing does not occur and the agriculturalness does not occur causes the radiopacity. sent3: the skid does not occur. sent4: the destructiveness happens if the fact that the destructiveness does not occur and the subjecting pickings happens is incorrect. sent5: the voyaging does not occur. sent6: that the fencing occurs and the sustentacularness occurs is not correct. sent7: the subjecting pickings does not occur but the robbery occurs. sent8: that the fencing does not occur and the subjecting CBC does not occur prevents that the depriving declension occurs. sent9: if the depriving declension happens then the agriculturalness does not occur. sent10: if the unholiness occurs the subjecting pickings occurs. sent11: the subjecting CBC happens. sent12: the fact that not the fencing but the sustentacularness happens is not correct if the voyage does not occur. sent13: if the voyaging does not occur that both the fencing and the sustentacularness occurs does not hold. sent14: that the supination does not occur is caused by that the radiopacity happens and the bidding happens. sent15: the bid happens if the fact that not the fencing but the sustentacularness occurs is incorrect. sent16: both the depriving declension and the subjecting CBC happens. sent17: if the unholiness does not occur then the fact that the agreeing does not occur hold. sent18: the robbery occurs. sent19: that the radiopacity does not occur hold if the robbery does not occur. sent20: if the fencing happens then the bid happens. sent21: if not the depriving declension but the sustentacularness occurs the robbery does not occur. sent22: the chitinousness happens.
void -> assump1: Let's assume that the unholiness occurs.; sent10 & assump1 -> int1: that the subjecting pickings happens hold.; sent7 -> int2: that the subjecting pickings does not occur is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the unholiness does not occur.; int4 & sent17 -> int5: the agreeing does not occur.; sent16 -> int6: the depriving declension occurs.; sent9 & int6 -> int7: the agriculturalness does not occur.; int5 & int7 -> int8: the agreeing does not occur and the agriculturalness does not occur.; int8 & sent2 -> int9: the radiopacity occurs.; sent12 & sent5 -> int10: that that the fencing does not occur and the sustentacularness occurs hold is not correct.; sent15 & int10 -> int11: the bidding occurs.; int9 & int11 -> int12: both the radiopacity and the bid happens.; int12 & sent14 -> hypothesis;
the supination happens.
$hypothesis$ = the supination happens. ; $context$ = sent1: if the agreeing happens that not the unholiness but the subjecting pickings happens does not hold. sent2: that the agreeing does not occur and the agriculturalness does not occur causes the radiopacity. sent3: the skid does not occur. sent4: the destructiveness happens if the fact that the destructiveness does not occur and the subjecting pickings happens is incorrect. sent5: the voyaging does not occur. sent6: that the fencing occurs and the sustentacularness occurs is not correct. sent7: the subjecting pickings does not occur but the robbery occurs. sent8: that the fencing does not occur and the subjecting CBC does not occur prevents that the depriving declension occurs. sent9: if the depriving declension happens then the agriculturalness does not occur. sent10: if the unholiness occurs the subjecting pickings occurs. sent11: the subjecting CBC happens. sent12: the fact that not the fencing but the sustentacularness happens is not correct if the voyage does not occur. sent13: if the voyaging does not occur that both the fencing and the sustentacularness occurs does not hold. sent14: that the supination does not occur is caused by that the radiopacity happens and the bidding happens. sent15: the bid happens if the fact that not the fencing but the sustentacularness occurs is incorrect. sent16: both the depriving declension and the subjecting CBC happens. sent17: if the unholiness does not occur then the fact that the agreeing does not occur hold. sent18: the robbery occurs. sent19: that the radiopacity does not occur hold if the robbery does not occur. sent20: if the fencing happens then the bid happens. sent21: if not the depriving declension but the sustentacularness occurs the robbery does not occur. sent22: the chitinousness happens. ; $proof$ = 
void -> assump1: Let's assume that the unholiness occurs.; sent10 & assump1 -> int1: that the subjecting pickings happens hold.; sent7 -> int2: that the subjecting pickings does not occur is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the unholiness does not occur.; int4 & sent17 -> int5: the agreeing does not occur.; sent16 -> int6: the depriving declension occurs.; sent9 & int6 -> int7: the agriculturalness does not occur.; int5 & int7 -> int8: the agreeing does not occur and the agriculturalness does not occur.; int8 & sent2 -> int9: the radiopacity occurs.; sent12 & sent5 -> int10: that that the fencing does not occur and the sustentacularness occurs hold is not correct.; sent15 & int10 -> int11: the bidding occurs.; int9 & int11 -> int12: both the radiopacity and the bid happens.; int12 & sent14 -> hypothesis; __DISPROVED__