the wirelessness happens.
sent1: the notation does not occur. sent2: that the notation but not the blistering Napoleon occurs is not right if the functioning pliers happens. sent3: that the encasement occurs is true. sent4: if the facelift does not occur the wireless occurs and the uncharitableness occurs. sent5: if the functioning pliers does not occur and the viviparousness does not occur then the subtractiveness does not occur. sent6: the fact that the notation but not the blistering Napoleon occurs is not true. sent7: the notation does not occur and the blistering Napoleon does not occur. sent8: if the functioning pliers occurs that the notation does not occur and the blistering Napoleon does not occur is incorrect. sent9: that not the functioning pliers but the viviparousness happens leads to that the conducting occurs. sent10: the viviparousness happens. sent11: if the encasement occurs and the conducting occurs the wireless does not occur.
void -> assump1: Let's assume that the functioning pliers happens.; sent8 & assump1 -> int1: the fact that the notation does not occur and the blistering Napoleon does not occur is false.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the functioning pliers does not occur.; int3 & sent10 -> int4: the functioning pliers does not occur and the viviparousness occurs.; int4 & sent9 -> int5: the conducting happens.; int5 & sent3 -> int6: the encasement occurs and the conducting happens.; int6 & sent11 -> hypothesis;
the subtractiveness does not occur.
$hypothesis$ = the wirelessness happens. ; $context$ = sent1: the notation does not occur. sent2: that the notation but not the blistering Napoleon occurs is not right if the functioning pliers happens. sent3: that the encasement occurs is true. sent4: if the facelift does not occur the wireless occurs and the uncharitableness occurs. sent5: if the functioning pliers does not occur and the viviparousness does not occur then the subtractiveness does not occur. sent6: the fact that the notation but not the blistering Napoleon occurs is not true. sent7: the notation does not occur and the blistering Napoleon does not occur. sent8: if the functioning pliers occurs that the notation does not occur and the blistering Napoleon does not occur is incorrect. sent9: that not the functioning pliers but the viviparousness happens leads to that the conducting occurs. sent10: the viviparousness happens. sent11: if the encasement occurs and the conducting occurs the wireless does not occur. ; $proof$ = 
void -> assump1: Let's assume that the functioning pliers happens.; sent8 & assump1 -> int1: the fact that the notation does not occur and the blistering Napoleon does not occur is false.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the functioning pliers does not occur.; int3 & sent10 -> int4: the functioning pliers does not occur and the viviparousness occurs.; int4 & sent9 -> int5: the conducting happens.; int5 & sent3 -> int6: the encasement occurs and the conducting happens.; int6 & sent11 -> hypothesis; __DISPROVED__