the governing Galeocerdo occurs.
sent1: that the primateship does not occur but the completion occurs is caused by that the closedness does not occur. sent2: if the primateship happens then the noncriticalness and the non-fossilness occurs. sent3: that the completion occurs and the closedness happens is not true if the primateship does not occur. sent4: the fact that the bibliographicness occurs and the greens does not occur is wrong if the carvel-builtness happens. sent5: if the fact that that either the disobliging does not occur or the apothecialness occurs or both is incorrect is right the governing Galeocerdo happens. sent6: the fact that either the disobliging does not occur or the apothecialness occurs or both is not right if the referendum does not occur. sent7: if that the licensing occurs is not false the fact that the noncriticalness and the non-fossilness happens is wrong. sent8: the license happens. sent9: that the catechismalness occurs and the primateship occurs is correct if the completion does not occur. sent10: the referendum does not occur if the completion does not occur. sent11: if the disobliging does not occur the referendum happens and the apothecialness happens. sent12: if the necroticness does not occur then the license and the disobliging occurs. sent13: if the fact that the completion and the closedness occurs is not correct the fact that the referendum does not occur is true.
void -> assump1: Let's assume that the primateship happens.; sent2 & assump1 -> int1: both the noncriticalness and the non-fossilness occurs.; sent7 & sent8 -> int2: that the noncriticalness occurs and the fossilness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the primateship does not occur.; int4 & sent3 -> int5: the fact that the fact that the completion happens and the closedness occurs is not correct is not wrong.; int5 & sent13 -> int6: the referendum does not occur.; int6 & sent6 -> int7: that that the disobliging does not occur and/or the apothecialness happens does not hold is right.; int7 & sent5 -> hypothesis;
the catechismalness happens.
$hypothesis$ = the governing Galeocerdo occurs. ; $context$ = sent1: that the primateship does not occur but the completion occurs is caused by that the closedness does not occur. sent2: if the primateship happens then the noncriticalness and the non-fossilness occurs. sent3: that the completion occurs and the closedness happens is not true if the primateship does not occur. sent4: the fact that the bibliographicness occurs and the greens does not occur is wrong if the carvel-builtness happens. sent5: if the fact that that either the disobliging does not occur or the apothecialness occurs or both is incorrect is right the governing Galeocerdo happens. sent6: the fact that either the disobliging does not occur or the apothecialness occurs or both is not right if the referendum does not occur. sent7: if that the licensing occurs is not false the fact that the noncriticalness and the non-fossilness happens is wrong. sent8: the license happens. sent9: that the catechismalness occurs and the primateship occurs is correct if the completion does not occur. sent10: the referendum does not occur if the completion does not occur. sent11: if the disobliging does not occur the referendum happens and the apothecialness happens. sent12: if the necroticness does not occur then the license and the disobliging occurs. sent13: if the fact that the completion and the closedness occurs is not correct the fact that the referendum does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the primateship happens.; sent2 & assump1 -> int1: both the noncriticalness and the non-fossilness occurs.; sent7 & sent8 -> int2: that the noncriticalness occurs and the fossilness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the primateship does not occur.; int4 & sent3 -> int5: the fact that the fact that the completion happens and the closedness occurs is not correct is not wrong.; int5 & sent13 -> int6: the referendum does not occur.; int6 & sent6 -> int7: that that the disobliging does not occur and/or the apothecialness happens does not hold is right.; int7 & sent5 -> hypothesis; __PROVED__