the fact that the airflow but not the capering pipeclay happens is not true.
sent1: if the euphemizing does not occur that that the airflow but not the capering pipeclay happens is not true hold. sent2: the mapping occurs if the fact that the leeward happens is right. sent3: the fact that the softness occurs hold if the shrieking occurs. sent4: the bogging rise occurs. sent5: the leewardness or the gait or both happens. sent6: if the Teutonicness happens then the capering Lutheran happens. sent7: that the euphemizing does not occur is caused by that the mapping happens and the capering Lutheran occurs. sent8: if the gait happens then the mapping occurs. sent9: the chiromanticness occurs. sent10: the smallerness occurs and the assertion does not occur if the Teutonicness does not occur.
void -> assump1: Let's assume that the Teutonicness does not occur.; sent10 & assump1 -> int1: the smallerness happens but the assertion does not occur.; int1 -> int2: the assertion does not occur.; sent5 & sent2 & sent8 -> int3: the mapping happens.;
$hypothesis$ = the fact that the airflow but not the capering pipeclay happens is not true. ; $context$ = sent1: if the euphemizing does not occur that that the airflow but not the capering pipeclay happens is not true hold. sent2: the mapping occurs if the fact that the leeward happens is right. sent3: the fact that the softness occurs hold if the shrieking occurs. sent4: the bogging rise occurs. sent5: the leewardness or the gait or both happens. sent6: if the Teutonicness happens then the capering Lutheran happens. sent7: that the euphemizing does not occur is caused by that the mapping happens and the capering Lutheran occurs. sent8: if the gait happens then the mapping occurs. sent9: the chiromanticness occurs. sent10: the smallerness occurs and the assertion does not occur if the Teutonicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Teutonicness does not occur.; sent10 & assump1 -> int1: the smallerness happens but the assertion does not occur.; int1 -> int2: the assertion does not occur.; sent5 & sent2 & sent8 -> int3: the mapping happens.; __UNKNOWN__