the portable does not occur.
sent1: the lingual occurs and/or the eugenicsness happens. sent2: the daisylikeness does not occur. sent3: if the servomechanicalness does not occur then that the testifying Sousa but not the spending postgraduate happens is not true. sent4: that the oxidising happens yields that not the flip-flop but the extracellularness happens. sent5: the fact that if the blockage does not occur then the oxidising happens and the sharp happens is not false. sent6: the handmadeness does not occur and/or the blockage does not occur if the nonconformistness does not occur. sent7: the crowd or the spending postgraduate or both occurs. sent8: if the inalienableness does not occur that the individual and the non-appendicularness occurs is not true. sent9: that the servomechanicalness does not occur and the assuming chordate does not occur is brought about by that the flip-flop does not occur. sent10: the testifying Sousa does not occur if that the testifying Sousa occurs but the spending postgraduate does not occur does not hold. sent11: that the portableness does not occur is triggered by that either the hook occurs or the yaws occurs or both. sent12: both the hooking and the yawing occurs if the urinating does not occur. sent13: if the hook occurs the portable does not occur. sent14: the blockage does not occur if the handmadeness does not occur or the blockage does not occur or both. sent15: that the yaws occurs is right. sent16: the non-portableness is prevented by the hook. sent17: the assuming cowslip brings about the non-blastodermaticness. sent18: the urinating does not occur if that both the individual and the non-appendicularness occurs is false. sent19: the fitness does not occur. sent20: the testifying cribbage does not occur. sent21: that the testifying Sousa does not occur leads to the non-inalienableness.
sent15 -> int1: the hooking occurs and/or the yawing occurs.; sent11 & int1 -> hypothesis;
the portable happens.
$hypothesis$ = the portable does not occur. ; $context$ = sent1: the lingual occurs and/or the eugenicsness happens. sent2: the daisylikeness does not occur. sent3: if the servomechanicalness does not occur then that the testifying Sousa but not the spending postgraduate happens is not true. sent4: that the oxidising happens yields that not the flip-flop but the extracellularness happens. sent5: the fact that if the blockage does not occur then the oxidising happens and the sharp happens is not false. sent6: the handmadeness does not occur and/or the blockage does not occur if the nonconformistness does not occur. sent7: the crowd or the spending postgraduate or both occurs. sent8: if the inalienableness does not occur that the individual and the non-appendicularness occurs is not true. sent9: that the servomechanicalness does not occur and the assuming chordate does not occur is brought about by that the flip-flop does not occur. sent10: the testifying Sousa does not occur if that the testifying Sousa occurs but the spending postgraduate does not occur does not hold. sent11: that the portableness does not occur is triggered by that either the hook occurs or the yaws occurs or both. sent12: both the hooking and the yawing occurs if the urinating does not occur. sent13: if the hook occurs the portable does not occur. sent14: the blockage does not occur if the handmadeness does not occur or the blockage does not occur or both. sent15: that the yaws occurs is right. sent16: the non-portableness is prevented by the hook. sent17: the assuming cowslip brings about the non-blastodermaticness. sent18: the urinating does not occur if that both the individual and the non-appendicularness occurs is false. sent19: the fitness does not occur. sent20: the testifying cribbage does not occur. sent21: that the testifying Sousa does not occur leads to the non-inalienableness. ; $proof$ = 
sent15 -> int1: the hooking occurs and/or the yawing occurs.; sent11 & int1 -> hypothesis; __PROVED__