the nasopharyngealness occurs.
sent1: if the nasopharyngealness does not occur then the trochaicness does not occur. sent2: both the agroundness and the falsifying gamma-interferon happens if the knowableness does not occur. sent3: that the knowableness happens is prevented by that the non-omnidirectionalness and the non-syncreticness occurs. sent4: the agroundness does not occur but the streaming happens if the trochaicness does not occur. sent5: the non-omnidirectionalness and the non-syncreticness occurs.
void -> assump1: Let's assume that the nasopharyngealness does not occur.; sent1 & assump1 -> int1: the trochaicness does not occur.; int1 & sent4 -> int2: that not the agroundness but the streaming happens is right.; int2 -> int3: the agroundness does not occur.; sent3 & sent5 -> int4: that the knowableness does not occur hold.; sent2 & int4 -> int5: both the agroundness and the falsifying gamma-interferon occurs.; int5 -> int6: the agroundness happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the nasopharyngealness occurs. ; $context$ = sent1: if the nasopharyngealness does not occur then the trochaicness does not occur. sent2: both the agroundness and the falsifying gamma-interferon happens if the knowableness does not occur. sent3: that the knowableness happens is prevented by that the non-omnidirectionalness and the non-syncreticness occurs. sent4: the agroundness does not occur but the streaming happens if the trochaicness does not occur. sent5: the non-omnidirectionalness and the non-syncreticness occurs. ; $proof$ = 
void -> assump1: Let's assume that the nasopharyngealness does not occur.; sent1 & assump1 -> int1: the trochaicness does not occur.; int1 & sent4 -> int2: that not the agroundness but the streaming happens is right.; int2 -> int3: the agroundness does not occur.; sent3 & sent5 -> int4: that the knowableness does not occur hold.; sent2 & int4 -> int5: both the agroundness and the falsifying gamma-interferon occurs.; int5 -> int6: the agroundness happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__