the non-paramilitariness and/or the Skinnerianness happens.
sent1: the overstraining floss happens. sent2: if the volley does not occur the relative happens. sent3: if the angling does not occur the paramilitary does not occur. sent4: if the fact that either the ventralness occurs or the incurring does not occur or both is wrong then the enthroning does not occur. sent5: that the disabusing surfer does not occur yields the overstraining Thessalonian and/or the non-masculineness. sent6: the softening does not occur. sent7: if the softening does not occur that either the first does not occur or the walkover does not occur or both is not right. sent8: if the fact that the fact that the first does not occur and/or the walkover does not occur is not incorrect is false then the solicitorship does not occur. sent9: if that the overstraining lochia does not occur is right then the angling does not occur. sent10: the disabusing seamed does not occur if both the overstraining Thessalonian and the disabusing surfer occurs. sent11: the laryngectomy does not occur. sent12: the masculineness occurs. sent13: if the masculine happens the overstraining Thessalonian occurs. sent14: if the masculineness does not occur then that the non-paramilitaryness and/or the Skinnerianness happens is false. sent15: the fact that the non-peaceableness and the portage occurs does not hold. sent16: if the solicitorship occurs then the angle occurs. sent17: the disabusing surfer occurs and the manifold happens.
sent13 & sent12 -> int1: the overstraining Thessalonian occurs.; sent17 -> int2: the disabusing surfer occurs.; int1 & int2 -> int3: the overstraining Thessalonian occurs and the disabusing surfer occurs.; int3 & sent10 -> int4: the disabusing seamed does not occur.; void -> assump1: Let's assume that the overstraining lochia occurs.; int4 & assump1 -> int5: the fact that the disabusing seamed does not occur but the overstraining lochia happens is not incorrect.; sent7 & sent6 -> int6: the fact that the firstness does not occur and/or the walkover does not occur does not hold.; sent8 & int6 -> int7: the solicitorship does not occur.;
that the paramilitariness does not occur and/or the Skinnerian occurs does not hold.
$hypothesis$ = the non-paramilitariness and/or the Skinnerianness happens. ; $context$ = sent1: the overstraining floss happens. sent2: if the volley does not occur the relative happens. sent3: if the angling does not occur the paramilitary does not occur. sent4: if the fact that either the ventralness occurs or the incurring does not occur or both is wrong then the enthroning does not occur. sent5: that the disabusing surfer does not occur yields the overstraining Thessalonian and/or the non-masculineness. sent6: the softening does not occur. sent7: if the softening does not occur that either the first does not occur or the walkover does not occur or both is not right. sent8: if the fact that the fact that the first does not occur and/or the walkover does not occur is not incorrect is false then the solicitorship does not occur. sent9: if that the overstraining lochia does not occur is right then the angling does not occur. sent10: the disabusing seamed does not occur if both the overstraining Thessalonian and the disabusing surfer occurs. sent11: the laryngectomy does not occur. sent12: the masculineness occurs. sent13: if the masculine happens the overstraining Thessalonian occurs. sent14: if the masculineness does not occur then that the non-paramilitaryness and/or the Skinnerianness happens is false. sent15: the fact that the non-peaceableness and the portage occurs does not hold. sent16: if the solicitorship occurs then the angle occurs. sent17: the disabusing surfer occurs and the manifold happens. ; $proof$ = 
sent13 & sent12 -> int1: the overstraining Thessalonian occurs.; sent17 -> int2: the disabusing surfer occurs.; int1 & int2 -> int3: the overstraining Thessalonian occurs and the disabusing surfer occurs.; int3 & sent10 -> int4: the disabusing seamed does not occur.; void -> assump1: Let's assume that the overstraining lochia occurs.; int4 & assump1 -> int5: the fact that the disabusing seamed does not occur but the overstraining lochia happens is not incorrect.; sent7 & sent6 -> int6: the fact that the firstness does not occur and/or the walkover does not occur does not hold.; sent8 & int6 -> int7: the solicitorship does not occur.; __UNKNOWN__