the quivering does not occur.
sent1: if the everting does not occur the schismaticness occurs. sent2: the cloning and the prefabrication occurs if the strangulating refractoriness does not occur. sent3: if the fact that the prefabrication occurs hold then the fact that the interdiction does not occur and the honking occurs is not correct. sent4: the interdiction occurs. sent5: the gallinaceousness occurs if the multiformness happens. sent6: both the quiver and the multiformness happens if the strangulating pigtail does not occur. sent7: if that the schismaticness does not occur hold that the everting does not occur and the gallinaceousness does not occur is not right. sent8: the everting is prevented by that both the gallinaceousness and the quiver happens. sent9: the fact that the schismaticness occurs and the honking does not occur is wrong if the interdiction occurs. sent10: that the multiformness happens and the strangulating pigtail occurs is not incorrect.
sent10 -> int1: the multiformness occurs.; int1 & sent5 -> int2: that the gallinaceousness happens is not incorrect.; void -> assump1: Let's assume that the quiver occurs.; int2 & assump1 -> int3: the gallinaceousness and the quiver happens.; int3 & sent8 -> int4: the everting does not occur.; int4 & sent1 -> int5: the schismaticness occurs.; sent9 & sent4 -> int6: the fact that the schismaticness but not the honk occurs is not right.;
the quivering happens.
$hypothesis$ = the quivering does not occur. ; $context$ = sent1: if the everting does not occur the schismaticness occurs. sent2: the cloning and the prefabrication occurs if the strangulating refractoriness does not occur. sent3: if the fact that the prefabrication occurs hold then the fact that the interdiction does not occur and the honking occurs is not correct. sent4: the interdiction occurs. sent5: the gallinaceousness occurs if the multiformness happens. sent6: both the quiver and the multiformness happens if the strangulating pigtail does not occur. sent7: if that the schismaticness does not occur hold that the everting does not occur and the gallinaceousness does not occur is not right. sent8: the everting is prevented by that both the gallinaceousness and the quiver happens. sent9: the fact that the schismaticness occurs and the honking does not occur is wrong if the interdiction occurs. sent10: that the multiformness happens and the strangulating pigtail occurs is not incorrect. ; $proof$ = 
sent10 -> int1: the multiformness occurs.; int1 & sent5 -> int2: that the gallinaceousness happens is not incorrect.; void -> assump1: Let's assume that the quiver occurs.; int2 & assump1 -> int3: the gallinaceousness and the quiver happens.; int3 & sent8 -> int4: the everting does not occur.; int4 & sent1 -> int5: the schismaticness occurs.; sent9 & sent4 -> int6: the fact that the schismaticness but not the honk occurs is not right.; __UNKNOWN__