the factualness and the doctoring patrial happens.
sent1: the doctoring patrial happens. sent2: the hypothecating desertion yields that the doctoring hole and the non-calycealness occurs. sent3: the overthrow occurs and the plantarness occurs. sent4: the doctoring oast happens. sent5: if the patronaging does not occur then that the providentness but not the vocative occurs is false. sent6: that both the reviewing and the heroicsness occurs prevents that the hunter occurs. sent7: that the calycealness occurs is right. sent8: that both the doctoring hole and the non-calycealness occurs yields the hunter. sent9: if the providentness does not occur then the awkwardness does not occur but the hypothecating desertion occurs. sent10: if the review does not occur the fact that the factualness and the doctoring patrial happens is not correct. sent11: the fact that the factualness happens is not false if the doctoring hole happens. sent12: the calycealness does not occur if the fact that the hunter occurs is wrong. sent13: if that the providentness and the non-vocativeness occurs is not correct the providentness does not occur. sent14: the sonography does not occur. sent15: the review happens. sent16: the fact that the doctoring hole happens hold if the fact that the heroics does not occur is correct.
void -> assump1: Let's assume that the heroics occurs.; sent15 & assump1 -> int1: the review and the heroicsness happens.; int1 & sent6 -> int2: the hunter does not occur.; int2 & sent12 -> int3: the calycealness does not occur.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the heroics does not occur.; int5 & sent16 -> int6: the doctoring hole occurs.; int6 & sent11 -> int7: the factualness occurs.; int7 & sent1 -> hypothesis;
that the fact that both the factualness and the doctoring patrial happens is not false is not correct.
$hypothesis$ = the factualness and the doctoring patrial happens. ; $context$ = sent1: the doctoring patrial happens. sent2: the hypothecating desertion yields that the doctoring hole and the non-calycealness occurs. sent3: the overthrow occurs and the plantarness occurs. sent4: the doctoring oast happens. sent5: if the patronaging does not occur then that the providentness but not the vocative occurs is false. sent6: that both the reviewing and the heroicsness occurs prevents that the hunter occurs. sent7: that the calycealness occurs is right. sent8: that both the doctoring hole and the non-calycealness occurs yields the hunter. sent9: if the providentness does not occur then the awkwardness does not occur but the hypothecating desertion occurs. sent10: if the review does not occur the fact that the factualness and the doctoring patrial happens is not correct. sent11: the fact that the factualness happens is not false if the doctoring hole happens. sent12: the calycealness does not occur if the fact that the hunter occurs is wrong. sent13: if that the providentness and the non-vocativeness occurs is not correct the providentness does not occur. sent14: the sonography does not occur. sent15: the review happens. sent16: the fact that the doctoring hole happens hold if the fact that the heroics does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the heroics occurs.; sent15 & assump1 -> int1: the review and the heroicsness happens.; int1 & sent6 -> int2: the hunter does not occur.; int2 & sent12 -> int3: the calycealness does not occur.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the heroics does not occur.; int5 & sent16 -> int6: the doctoring hole occurs.; int6 & sent11 -> int7: the factualness occurs.; int7 & sent1 -> hypothesis; __PROVED__