the welding amputation occurs.
sent1: if the sweet and/or the receiving happens then the boronicness does not occur. sent2: the welding amputation happens if that the anisogamicness does not occur hold. sent3: the fact that the reimbursing Penicillium happens and the cultism occurs is not right if the receiving does not occur. sent4: the boronicness happens but the researching does not occur. sent5: if the sweetness does not occur then the fact that both the receiving and the welding amputation happens is not true. sent6: the anisogamicness does not occur if the fact that the reimbursing Penicillium and the cultism occurs does not hold.
void -> assump1: Let's assume that the receiving occurs.; assump1 -> int1: the sweet and/or the receiving happens.; int1 & sent1 -> int2: the fact that the boronicness does not occur is not false.; sent4 -> int3: the fact that the boronicness occurs hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the receiving does not occur is correct.; int5 & sent3 -> int6: the fact that the fact that the reimbursing Penicillium and the cultism occurs hold is false.; int6 & sent6 -> int7: the anisogamicness does not occur.; int7 & sent2 -> hypothesis;
the welding amputation does not occur.
$hypothesis$ = the welding amputation occurs. ; $context$ = sent1: if the sweet and/or the receiving happens then the boronicness does not occur. sent2: the welding amputation happens if that the anisogamicness does not occur hold. sent3: the fact that the reimbursing Penicillium happens and the cultism occurs is not right if the receiving does not occur. sent4: the boronicness happens but the researching does not occur. sent5: if the sweetness does not occur then the fact that both the receiving and the welding amputation happens is not true. sent6: the anisogamicness does not occur if the fact that the reimbursing Penicillium and the cultism occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the receiving occurs.; assump1 -> int1: the sweet and/or the receiving happens.; int1 & sent1 -> int2: the fact that the boronicness does not occur is not false.; sent4 -> int3: the fact that the boronicness occurs hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the receiving does not occur is correct.; int5 & sent3 -> int6: the fact that the fact that the reimbursing Penicillium and the cultism occurs hold is false.; int6 & sent6 -> int7: the anisogamicness does not occur.; int7 & sent2 -> hypothesis; __PROVED__