both the occlusion and the beading dormancy occurs.
sent1: if that the spooning oilstove but not the raft happens is not true then the spooning oilstove does not occur. sent2: that the occlusion happens and the beading dormancy occurs is not correct if the preening does not occur. sent3: if the corymboseness happens both the non-nephriticness and the credulousness happens. sent4: if the fact that the hyperbolicness does not occur is right then that the spooning oilstove but not the raft occurs is not true. sent5: the occlusion occurs and/or the nephriticness does not occur if the black happens. sent6: if that the blackness does not occur hold the fact that not the beading dormancy but the occlusion happens does not hold. sent7: if the fact that the preening and the aftershock occurs is not correct the preening does not occur. sent8: the blackness occurs. sent9: if the varnish does not occur the corymboseness and the enslaving Keaton happens. sent10: the aftershock happens. sent11: that the pacification does not occur leads to that both the monozygoticness and the air-to-airness happens. sent12: the preening occurs and the aftershock occurs. sent13: that the air-to-airness but not the nephriticness occurs brings about that the blackness does not occur. sent14: the hyperbolicness does not occur if the fact that both the enslaving spree and the unpreventableness occurs is wrong. sent15: if the spooning oilstove does not occur the fact that the providentness and the varnishing happens does not hold. sent16: that the jar occurs is true. sent17: the nepotism and the preening happens if the aftershock does not occur. sent18: that the occlusion happens or the nephriticness does not occur or both prevents that the occlusion does not occur. sent19: the varnish does not occur if the fact that the providentness and the varnish occurs is wrong.
sent12 -> int1: the preening happens.; sent5 & sent8 -> int2: the occlusion happens and/or the nephriticness does not occur.; sent18 & int2 -> int3: the occlusion happens.;
the nepotism happens.
$hypothesis$ = both the occlusion and the beading dormancy occurs. ; $context$ = sent1: if that the spooning oilstove but not the raft happens is not true then the spooning oilstove does not occur. sent2: that the occlusion happens and the beading dormancy occurs is not correct if the preening does not occur. sent3: if the corymboseness happens both the non-nephriticness and the credulousness happens. sent4: if the fact that the hyperbolicness does not occur is right then that the spooning oilstove but not the raft occurs is not true. sent5: the occlusion occurs and/or the nephriticness does not occur if the black happens. sent6: if that the blackness does not occur hold the fact that not the beading dormancy but the occlusion happens does not hold. sent7: if the fact that the preening and the aftershock occurs is not correct the preening does not occur. sent8: the blackness occurs. sent9: if the varnish does not occur the corymboseness and the enslaving Keaton happens. sent10: the aftershock happens. sent11: that the pacification does not occur leads to that both the monozygoticness and the air-to-airness happens. sent12: the preening occurs and the aftershock occurs. sent13: that the air-to-airness but not the nephriticness occurs brings about that the blackness does not occur. sent14: the hyperbolicness does not occur if the fact that both the enslaving spree and the unpreventableness occurs is wrong. sent15: if the spooning oilstove does not occur the fact that the providentness and the varnishing happens does not hold. sent16: that the jar occurs is true. sent17: the nepotism and the preening happens if the aftershock does not occur. sent18: that the occlusion happens or the nephriticness does not occur or both prevents that the occlusion does not occur. sent19: the varnish does not occur if the fact that the providentness and the varnish occurs is wrong. ; $proof$ = 
sent12 -> int1: the preening happens.; sent5 & sent8 -> int2: the occlusion happens and/or the nephriticness does not occur.; sent18 & int2 -> int3: the occlusion happens.; __UNKNOWN__