not the briefing carnosaur but the tuberculateness occurs.
sent1: the fact that the briefing carnosaur does not occur but the tuberculateness occurs does not hold if the diaphysealness occurs. sent2: that not the constituting but the perusing stair-rod happens is wrong if the briefing carnosaur occurs. sent3: the suckling happens. sent4: the reasoning does not occur if the adrenocorticalness does not occur but the choralness occurs. sent5: if the fact that the perusing stair-rod happens is not incorrect then the briefing carnosaur does not occur. sent6: the choralness happens. sent7: the tuberculateness happens. sent8: that the constituting happens hold if the fact that not the diaphysealness but the suckling occurs is not false. sent9: if that the non-adrenocorticalness and the choralness occurs does not hold then the diaphysealness does not occur. sent10: the diaphysealness does not occur if the choralness does not occur. sent11: the reason happens. sent12: the categorization does not occur. sent13: that the diaphysealness happens triggers the characterization.
void -> assump1: Let's assume that the adrenocorticalness does not occur and the choralness happens.; sent4 & assump1 -> int1: the reasoning does not occur.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the adrenocorticalness but the choralness occurs is not right.; int3 & sent9 -> int4: the diaphysealness does not occur.; int4 & sent3 -> int5: both the non-diaphysealness and the suckling happens.; int5 & sent8 -> int6: the constituting happens.; int6 -> int7: the constituting happens or the perusing stair-rod occurs or both.;
either the characterization happens or the perusing directivity happens or both.
$hypothesis$ = not the briefing carnosaur but the tuberculateness occurs. ; $context$ = sent1: the fact that the briefing carnosaur does not occur but the tuberculateness occurs does not hold if the diaphysealness occurs. sent2: that not the constituting but the perusing stair-rod happens is wrong if the briefing carnosaur occurs. sent3: the suckling happens. sent4: the reasoning does not occur if the adrenocorticalness does not occur but the choralness occurs. sent5: if the fact that the perusing stair-rod happens is not incorrect then the briefing carnosaur does not occur. sent6: the choralness happens. sent7: the tuberculateness happens. sent8: that the constituting happens hold if the fact that not the diaphysealness but the suckling occurs is not false. sent9: if that the non-adrenocorticalness and the choralness occurs does not hold then the diaphysealness does not occur. sent10: the diaphysealness does not occur if the choralness does not occur. sent11: the reason happens. sent12: the categorization does not occur. sent13: that the diaphysealness happens triggers the characterization. ; $proof$ = 
void -> assump1: Let's assume that the adrenocorticalness does not occur and the choralness happens.; sent4 & assump1 -> int1: the reasoning does not occur.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the adrenocorticalness but the choralness occurs is not right.; int3 & sent9 -> int4: the diaphysealness does not occur.; int4 & sent3 -> int5: both the non-diaphysealness and the suckling happens.; int5 & sent8 -> int6: the constituting happens.; int6 -> int7: the constituting happens or the perusing stair-rod occurs or both.; __UNKNOWN__