the googling happens if the geostrategicness happens.
sent1: the narcotraffic occurs. sent2: the fact that not the fireball but the illegalness occurs is not true. sent3: the muffing eosinophil occurs if that the masking occurs is correct. sent4: if the non-geostrategicness and the sounding Chancellorsville happens then the googling happens. sent5: the geostrategicness and the sounding Chancellorsville happens. sent6: if the commencement happens the lacticness occurs. sent7: if the destaining churchyard occurs the mending happens. sent8: that not the destaining churchyard but the sounding centaur occurs does not hold. sent9: if the fact that the orchestration does not occur and the lacticness occurs does not hold the ejecting happens. sent10: if the easement occurs then the rededication happens. sent11: if the sounding Chancellorsville does not occur then the googling occurs. sent12: that the sounding Chancellorsville happens is true. sent13: the fact that the rededication occurs hold. sent14: the fact that the lobectomy happens hold. sent15: if the fact that the geostrategicness and the sounding Chancellorsville occurs is incorrect then the googling happens. sent16: if the destaining solidarity happens then the muffing eosinophil happens.
void -> assump2: Let's assume that not the geostrategicness but the sounding Chancellorsville occurs.; assump2 -> int1: the geostrategicness does not occur.; void -> assump1: Let's assume that the geostrategicness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that both the non-geostrategicness and the sounding Chancellorsville occurs is incorrect.;
$hypothesis$ = the googling happens if the geostrategicness happens. ; $context$ = sent1: the narcotraffic occurs. sent2: the fact that not the fireball but the illegalness occurs is not true. sent3: the muffing eosinophil occurs if that the masking occurs is correct. sent4: if the non-geostrategicness and the sounding Chancellorsville happens then the googling happens. sent5: the geostrategicness and the sounding Chancellorsville happens. sent6: if the commencement happens the lacticness occurs. sent7: if the destaining churchyard occurs the mending happens. sent8: that not the destaining churchyard but the sounding centaur occurs does not hold. sent9: if the fact that the orchestration does not occur and the lacticness occurs does not hold the ejecting happens. sent10: if the easement occurs then the rededication happens. sent11: if the sounding Chancellorsville does not occur then the googling occurs. sent12: that the sounding Chancellorsville happens is true. sent13: the fact that the rededication occurs hold. sent14: the fact that the lobectomy happens hold. sent15: if the fact that the geostrategicness and the sounding Chancellorsville occurs is incorrect then the googling happens. sent16: if the destaining solidarity happens then the muffing eosinophil happens. ; $proof$ = 
void -> assump2: Let's assume that not the geostrategicness but the sounding Chancellorsville occurs.; assump2 -> int1: the geostrategicness does not occur.; void -> assump1: Let's assume that the geostrategicness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that both the non-geostrategicness and the sounding Chancellorsville occurs is incorrect.; __UNKNOWN__