that that the Marks does not occur and the interstitialness does not occur does not hold if the calyculateness happens is not right.
sent1: the furloughing permissibility happens and the unpicking NGB occurs. sent2: that the fact that the furloughing favus happens and the tunneling ballyhoo does not occur is not incorrect is not right if the unpicking NGB happens. sent3: both the leakiness and the furloughing Tyr happens. sent4: the categoricness does not occur if both the familiarity and the calyculateness occurs. sent5: if the categoricness does not occur then the fact that the Marks does not occur and the interstitialness does not occur is wrong. sent6: the familiarity occurs if the fact that the furloughing favus but not the tunneling ballyhoo occurs is incorrect.
sent1 -> int1: the unpicking NGB happens.; sent2 & int1 -> int2: the fact that the furloughing favus happens and the tunneling ballyhoo does not occur is incorrect.; sent6 & int2 -> int3: the familiarity occurs.; void -> assump1: Let's assume that the calyculateness occurs.; int3 & assump1 -> int4: the familiarity happens and the calyculateness occurs.; sent4 & int4 -> int5: the categoricness does not occur.; sent5 & int5 -> int6: that the Marks does not occur and the interstitialness does not occur does not hold.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that that the Marks does not occur and the interstitialness does not occur does not hold if the calyculateness happens is not right. ; $context$ = sent1: the furloughing permissibility happens and the unpicking NGB occurs. sent2: that the fact that the furloughing favus happens and the tunneling ballyhoo does not occur is not incorrect is not right if the unpicking NGB happens. sent3: both the leakiness and the furloughing Tyr happens. sent4: the categoricness does not occur if both the familiarity and the calyculateness occurs. sent5: if the categoricness does not occur then the fact that the Marks does not occur and the interstitialness does not occur is wrong. sent6: the familiarity occurs if the fact that the furloughing favus but not the tunneling ballyhoo occurs is incorrect. ; $proof$ = 
sent1 -> int1: the unpicking NGB happens.; sent2 & int1 -> int2: the fact that the furloughing favus happens and the tunneling ballyhoo does not occur is incorrect.; sent6 & int2 -> int3: the familiarity occurs.; void -> assump1: Let's assume that the calyculateness occurs.; int3 & assump1 -> int4: the familiarity happens and the calyculateness occurs.; sent4 & int4 -> int5: the categoricness does not occur.; sent5 & int5 -> int6: that the Marks does not occur and the interstitialness does not occur does not hold.; [assump1] & int6 -> hypothesis; __DISPROVED__