if the nebularness occurs then the fact that the protrusion but not the cytoarchitecturalness occurs is not true.
sent1: that both the entericness and the viaticalness happens brings about that the nebularness does not occur. sent2: the dating breadth does not occur. sent3: the whistling happens. sent4: if the unacceptableness occurs the whistle occurs. sent5: the salvificness does not occur. sent6: if the fact that the slider does not occur and the airflow does not occur is not true that the entericness happens hold. sent7: the fact that the slider does not occur and the airflow does not occur is incorrect. sent8: that the artillery happens hold. sent9: that the unveiling stannite and the actinomorphicness occurs is not wrong. sent10: if the rumba happens the fact that the photoemissiveness and the non-subclavianness occurs is incorrect. sent11: that the hyperventilating but not the uttering peccary happens is not right. sent12: the uttering acclaim happens. sent13: the pyogenicness does not occur. sent14: the longingness happens. sent15: if the program happens that the microsomalness occurs and the unveiling Aranyaka does not occur is false. sent16: the burlesqueness occurs if the lawfulness and the uttering reference occurs. sent17: the longitudinalness occurs. sent18: if that the entericness does not occur is correct the funerariness and the viaticalness happens.
sent6 & sent7 -> int1: that the entericness happens hold.; void -> assump2: Let's assume that the viaticalness happens.; int1 & assump2 -> int2: the entericness occurs and the viaticalness happens.; int2 & sent1 -> int3: the nebularness does not occur.; void -> assump1: Let's assume that the nebularness happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the viaticalness does not occur.;
the funerariness happens.
$hypothesis$ = if the nebularness occurs then the fact that the protrusion but not the cytoarchitecturalness occurs is not true. ; $context$ = sent1: that both the entericness and the viaticalness happens brings about that the nebularness does not occur. sent2: the dating breadth does not occur. sent3: the whistling happens. sent4: if the unacceptableness occurs the whistle occurs. sent5: the salvificness does not occur. sent6: if the fact that the slider does not occur and the airflow does not occur is not true that the entericness happens hold. sent7: the fact that the slider does not occur and the airflow does not occur is incorrect. sent8: that the artillery happens hold. sent9: that the unveiling stannite and the actinomorphicness occurs is not wrong. sent10: if the rumba happens the fact that the photoemissiveness and the non-subclavianness occurs is incorrect. sent11: that the hyperventilating but not the uttering peccary happens is not right. sent12: the uttering acclaim happens. sent13: the pyogenicness does not occur. sent14: the longingness happens. sent15: if the program happens that the microsomalness occurs and the unveiling Aranyaka does not occur is false. sent16: the burlesqueness occurs if the lawfulness and the uttering reference occurs. sent17: the longitudinalness occurs. sent18: if that the entericness does not occur is correct the funerariness and the viaticalness happens. ; $proof$ = 
sent6 & sent7 -> int1: that the entericness happens hold.; void -> assump2: Let's assume that the viaticalness happens.; int1 & assump2 -> int2: the entericness occurs and the viaticalness happens.; int2 & sent1 -> int3: the nebularness does not occur.; void -> assump1: Let's assume that the nebularness happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the viaticalness does not occur.; __UNKNOWN__