not the refuge but the nastiness occurs.
sent1: the disinfestation happens if the fact that the faithfulness but not the disinfestation occurs is not correct. sent2: the non-Shintoness and the omissiveness happens. sent3: the insert happens if the innerness does not occur. sent4: if the scripturalness does not occur not the refuge but the nastiness occurs. sent5: if the scripturalness does not occur then that the refuge does not occur hold. sent6: the insert does not occur if the innerness does not occur. sent7: the fact that both the faithfulness and the disinfestation happens is wrong. sent8: that the insert occurs is prevented by that the falling nonuniformity does not occur. sent9: if the disinfestation happens that not the inserting but the caudalness occurs is not right. sent10: if the caudalness does not occur then the fact that the scripturalness does not occur hold. sent11: that the faithful occurs but the disinfestation does not occur is incorrect. sent12: the falling nonuniformity does not occur or the innerness does not occur or both.
sent12 & sent8 & sent6 -> int1: the insert does not occur.; void -> assump1: Let's assume that the caudalness occurs.; int1 & assump1 -> int2: the insert does not occur and the caudalness occurs.; sent1 & sent11 -> int3: the disinfestation occurs.; sent9 & int3 -> int4: that not the insert but the caudalness occurs is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the caudalness does not occur.; int6 & sent10 -> int7: the scripturalness does not occur.; int7 & sent4 -> hypothesis;
$hypothesis$ = not the refuge but the nastiness occurs. ; $context$ = sent1: the disinfestation happens if the fact that the faithfulness but not the disinfestation occurs is not correct. sent2: the non-Shintoness and the omissiveness happens. sent3: the insert happens if the innerness does not occur. sent4: if the scripturalness does not occur not the refuge but the nastiness occurs. sent5: if the scripturalness does not occur then that the refuge does not occur hold. sent6: the insert does not occur if the innerness does not occur. sent7: the fact that both the faithfulness and the disinfestation happens is wrong. sent8: that the insert occurs is prevented by that the falling nonuniformity does not occur. sent9: if the disinfestation happens that not the inserting but the caudalness occurs is not right. sent10: if the caudalness does not occur then the fact that the scripturalness does not occur hold. sent11: that the faithful occurs but the disinfestation does not occur is incorrect. sent12: the falling nonuniformity does not occur or the innerness does not occur or both. ; $proof$ = 
sent12 & sent8 & sent6 -> int1: the insert does not occur.; void -> assump1: Let's assume that the caudalness occurs.; int1 & assump1 -> int2: the insert does not occur and the caudalness occurs.; sent1 & sent11 -> int3: the disinfestation occurs.; sent9 & int3 -> int4: that not the insert but the caudalness occurs is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the caudalness does not occur.; int6 & sent10 -> int7: the scripturalness does not occur.; int7 & sent4 -> hypothesis; __PROVED__