if the consequence occurs the spondaicness occurs.
sent1: the reclining Korbut occurs. sent2: the non-phlegminess is prevented by the dirt. sent3: the serologicness happens. sent4: the spondaicness occurs if the fact that not the fishing sheepman but the consequence occurs is correct. sent5: if the pacification but not the monopsony happens then the unbending happens. sent6: the monopsony does not occur. sent7: if the serologicness happens then the whisk occurs. sent8: the pacification but not the monopsony happens. sent9: the undemonstrativeness prevents that the fishing geomancer does not occur. sent10: the mate does not occur. sent11: that the pacification happens and the monopsony occurs results in that the unbending occurs. sent12: the expostulating does not occur.
sent7 & sent3 -> int1: the whisking occurs.; sent5 & sent8 -> int2: the unbending occurs.; int1 & int2 -> int3: the unbending and the whisking happens.;
$hypothesis$ = if the consequence occurs the spondaicness occurs. ; $context$ = sent1: the reclining Korbut occurs. sent2: the non-phlegminess is prevented by the dirt. sent3: the serologicness happens. sent4: the spondaicness occurs if the fact that not the fishing sheepman but the consequence occurs is correct. sent5: if the pacification but not the monopsony happens then the unbending happens. sent6: the monopsony does not occur. sent7: if the serologicness happens then the whisk occurs. sent8: the pacification but not the monopsony happens. sent9: the undemonstrativeness prevents that the fishing geomancer does not occur. sent10: the mate does not occur. sent11: that the pacification happens and the monopsony occurs results in that the unbending occurs. sent12: the expostulating does not occur. ; $proof$ = 
sent7 & sent3 -> int1: the whisking occurs.; sent5 & sent8 -> int2: the unbending occurs.; int1 & int2 -> int3: the unbending and the whisking happens.; __UNKNOWN__