if the hooking coccobacillus does not occur and the identifiableness happens then the radiotelephonicness happens.
sent1: that the identifiableness occurs hold. sent2: if the hooking coccobacillus does not occur but the identifiableness happens then the lapidifying does not occur. sent3: the incorrectness is prevented by that the deflating achievability happens. sent4: the posting does not occur. sent5: the lapidifying happens or the plowing does not occur or both. sent6: the deflationariness occurs. sent7: the hooking coccobacillus does not occur. sent8: that the lapidifying does not occur or that the plowing does not occur or both prevents that the offset does not occur. sent9: the robbery happens. sent10: the spiraling Alamo does not occur. sent11: the parotidness does not occur. sent12: the cause occurs if the offsetting occurs. sent13: the lapidifying does not occur and/or the plowing occurs. sent14: that the pharmaceutical does not occur is true. sent15: the lapidifying does not occur if the hooking coccobacillus happens and the identifiableness happens. sent16: that the hooking coccobacillus happens and the identifiableness happens prevents the non-radiotelephonicness. sent17: that the causing but not the posting happens prevents that the radiotelephonicness does not occur. sent18: either the chiming does not occur or the detaching does not occur or both.
void -> assump1: Let's assume that the fact that not the hooking coccobacillus but the identifiableness occurs hold.; sent2 & assump1 -> int1: the lapidifying does not occur.; int1 -> int2: either the lapidifying does not occur or the plowing does not occur or both.; int2 & sent8 -> int3: the offsetting occurs.; int3 & sent12 -> int4: the cause occurs.; int4 & sent4 -> int5: the causing but not the posting occurs.; int5 & sent17 -> int6: the radiotelephonicness occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the hooking coccobacillus does not occur and the identifiableness happens then the radiotelephonicness happens. ; $context$ = sent1: that the identifiableness occurs hold. sent2: if the hooking coccobacillus does not occur but the identifiableness happens then the lapidifying does not occur. sent3: the incorrectness is prevented by that the deflating achievability happens. sent4: the posting does not occur. sent5: the lapidifying happens or the plowing does not occur or both. sent6: the deflationariness occurs. sent7: the hooking coccobacillus does not occur. sent8: that the lapidifying does not occur or that the plowing does not occur or both prevents that the offset does not occur. sent9: the robbery happens. sent10: the spiraling Alamo does not occur. sent11: the parotidness does not occur. sent12: the cause occurs if the offsetting occurs. sent13: the lapidifying does not occur and/or the plowing occurs. sent14: that the pharmaceutical does not occur is true. sent15: the lapidifying does not occur if the hooking coccobacillus happens and the identifiableness happens. sent16: that the hooking coccobacillus happens and the identifiableness happens prevents the non-radiotelephonicness. sent17: that the causing but not the posting happens prevents that the radiotelephonicness does not occur. sent18: either the chiming does not occur or the detaching does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the hooking coccobacillus but the identifiableness occurs hold.; sent2 & assump1 -> int1: the lapidifying does not occur.; int1 -> int2: either the lapidifying does not occur or the plowing does not occur or both.; int2 & sent8 -> int3: the offsetting occurs.; int3 & sent12 -> int4: the cause occurs.; int4 & sent4 -> int5: the causing but not the posting occurs.; int5 & sent17 -> int6: the radiotelephonicness occurs.; [assump1] & int6 -> hypothesis; __PROVED__