that the restraining alarmist occurs yields that not the minstreling but the surmising sauerkraut happens.
sent1: the surmising sauerkraut occurs and the stifle occurs. sent2: the fact that the restraining fairway happens and the immunohistochemistry happens is correct. sent3: the penitentness occurs. sent4: that the minstreling does not occur is brought about by that the restraining fairway occurs and the restraining alarmist happens. sent5: the coming tombac does not occur and the outstaring typology occurs. sent6: the stifling occurs. sent7: the shanking does not occur. sent8: if the restraining scythe occurs then not the dallying but the trim occurs. sent9: if the shank does not occur then the dynamicness and the restraining alarmist occurs.
sent2 -> int1: the restraining fairway happens.; void -> assump1: Let's assume that the restraining alarmist occurs.; int1 & assump1 -> int2: the restraining fairway happens and the restraining alarmist happens.; int2 & sent4 -> int3: the minstrel does not occur.; sent1 -> int4: the surmising sauerkraut happens.; int3 & int4 -> int5: the minstreling does not occur but the surmising sauerkraut happens.; [assump1] & int5 -> hypothesis;
the dynamic and the immunosuppressiveness happens.
sent9 & sent7 -> int6: the dynamicness and the restraining alarmist occurs.; int6 -> int7: the dynamic happens.;
$hypothesis$ = that the restraining alarmist occurs yields that not the minstreling but the surmising sauerkraut happens. ; $context$ = sent1: the surmising sauerkraut occurs and the stifle occurs. sent2: the fact that the restraining fairway happens and the immunohistochemistry happens is correct. sent3: the penitentness occurs. sent4: that the minstreling does not occur is brought about by that the restraining fairway occurs and the restraining alarmist happens. sent5: the coming tombac does not occur and the outstaring typology occurs. sent6: the stifling occurs. sent7: the shanking does not occur. sent8: if the restraining scythe occurs then not the dallying but the trim occurs. sent9: if the shank does not occur then the dynamicness and the restraining alarmist occurs. ; $proof$ = 
sent2 -> int1: the restraining fairway happens.; void -> assump1: Let's assume that the restraining alarmist occurs.; int1 & assump1 -> int2: the restraining fairway happens and the restraining alarmist happens.; int2 & sent4 -> int3: the minstrel does not occur.; sent1 -> int4: the surmising sauerkraut happens.; int3 & int4 -> int5: the minstreling does not occur but the surmising sauerkraut happens.; [assump1] & int5 -> hypothesis; __PROVED__