the amperage does not occur but the biosystematicsness happens if the infrequentness occurs.
sent1: if the fitting gleaner does not occur the contorting shifting happens. sent2: the amperage and the contorting incentive occurs if that the dominantness does not occur hold. sent3: the non-infrequentness is prevented by that the amperage occurs and the dominant happens. sent4: the fitting gleaner does not occur if that not the violableness but the bedizening obsessive happens is false. sent5: that the fitting scalage happens prevents that the biosystematicsness does not occur. sent6: the fact that the violableness does not occur but the bedizening obsessive happens does not hold. sent7: that the amperage and the dominantness happens results in that the infrequentness does not occur. sent8: that the bedizening obsessive does not occur results in that the fitting gleaner does not occur. sent9: the contorting shifting occurs. sent10: if the fitting gleaner does not occur both the fitting scalage and the contorting shifting happens. sent11: the dominant occurs. sent12: the fact that the kneel does not occur is not correct.
void -> assump1: Let's assume that the amperage occurs.; assump1 & sent11 -> int1: the amperage and the dominant occurs.; int1 & sent7 -> int2: the infrequentness does not occur.; void -> assump2: Let's assume that the infrequentness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the amperage does not occur.; sent4 & sent6 -> int5: the fitting gleaner does not occur.; sent10 & int5 -> int6: the fitting scalage and the contorting shifting occurs.; int6 -> int7: the fitting scalage happens.; sent5 & int7 -> int8: the biosystematicsness occurs.; int4 & int8 -> int9: the amperage does not occur and the biosystematicsness occurs.; [assump2] & int9 -> hypothesis;
the contorting incentive occurs.
$hypothesis$ = the amperage does not occur but the biosystematicsness happens if the infrequentness occurs. ; $context$ = sent1: if the fitting gleaner does not occur the contorting shifting happens. sent2: the amperage and the contorting incentive occurs if that the dominantness does not occur hold. sent3: the non-infrequentness is prevented by that the amperage occurs and the dominant happens. sent4: the fitting gleaner does not occur if that not the violableness but the bedizening obsessive happens is false. sent5: that the fitting scalage happens prevents that the biosystematicsness does not occur. sent6: the fact that the violableness does not occur but the bedizening obsessive happens does not hold. sent7: that the amperage and the dominantness happens results in that the infrequentness does not occur. sent8: that the bedizening obsessive does not occur results in that the fitting gleaner does not occur. sent9: the contorting shifting occurs. sent10: if the fitting gleaner does not occur both the fitting scalage and the contorting shifting happens. sent11: the dominant occurs. sent12: the fact that the kneel does not occur is not correct. ; $proof$ = 
void -> assump1: Let's assume that the amperage occurs.; assump1 & sent11 -> int1: the amperage and the dominant occurs.; int1 & sent7 -> int2: the infrequentness does not occur.; void -> assump2: Let's assume that the infrequentness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the amperage does not occur.; sent4 & sent6 -> int5: the fitting gleaner does not occur.; sent10 & int5 -> int6: the fitting scalage and the contorting shifting occurs.; int6 -> int7: the fitting scalage happens.; sent5 & int7 -> int8: the biosystematicsness occurs.; int4 & int8 -> int9: the amperage does not occur and the biosystematicsness occurs.; [assump2] & int9 -> hypothesis; __PROVED__