the hummer happens and the unguiculate happens if the footlessness does not occur.
sent1: the finishing elitist yields that the posturalness and the striateness happens. sent2: the fact that the splatting protamine happens is not wrong. sent3: if the fact that the strangling but not the hummer occurs is not incorrect the footlessness occurs. sent4: both the maximization and the typhoon occurs. sent5: the typhoon occurs. sent6: the finishing blackwood happens. sent7: the outlet happens and the hemorrhagicness happens. sent8: the fact that that the striating but not the polyatomicness occurs hold yields the adventuristicness. sent9: the hummer occurs and the unguiculateness occurs if the footlessness occurs. sent10: the splatting protamine occurs and the strangling happens. sent11: the curableness occurs and the Donneanness occurs. sent12: the supervision and the physiotherapy happens. sent13: if the fact that the delicateness does not occur hold then both the splatting cross-link and the parasailing happens. sent14: that the philately but not the gravitation occurs leads to that the maximization happens. sent15: the unguiculateness occurs.
sent10 -> int1: that the strangling happens is not incorrect.; void -> assump2: Let's assume that the hummer does not occur.; int1 & assump2 -> int2: the strangling happens but the hummer does not occur.; int2 & sent3 -> int3: the footlessness happens.; void -> assump1: Let's assume that the footlessness does not occur.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the hummer happens.; int5 & sent15 -> int6: the hummer and the unguiculate occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the hummer happens and the unguiculate happens if the footlessness does not occur. ; $context$ = sent1: the finishing elitist yields that the posturalness and the striateness happens. sent2: the fact that the splatting protamine happens is not wrong. sent3: if the fact that the strangling but not the hummer occurs is not incorrect the footlessness occurs. sent4: both the maximization and the typhoon occurs. sent5: the typhoon occurs. sent6: the finishing blackwood happens. sent7: the outlet happens and the hemorrhagicness happens. sent8: the fact that that the striating but not the polyatomicness occurs hold yields the adventuristicness. sent9: the hummer occurs and the unguiculateness occurs if the footlessness occurs. sent10: the splatting protamine occurs and the strangling happens. sent11: the curableness occurs and the Donneanness occurs. sent12: the supervision and the physiotherapy happens. sent13: if the fact that the delicateness does not occur hold then both the splatting cross-link and the parasailing happens. sent14: that the philately but not the gravitation occurs leads to that the maximization happens. sent15: the unguiculateness occurs. ; $proof$ = 
sent10 -> int1: that the strangling happens is not incorrect.; void -> assump2: Let's assume that the hummer does not occur.; int1 & assump2 -> int2: the strangling happens but the hummer does not occur.; int2 & sent3 -> int3: the footlessness happens.; void -> assump1: Let's assume that the footlessness does not occur.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the hummer happens.; int5 & sent15 -> int6: the hummer and the unguiculate occurs.; [assump1] & int6 -> hypothesis; __PROVED__