the south is a kind of a serjeant-at-law.
sent1: if something does not concoct Steiner then it is a kind of a serjeant-at-law. sent2: the arthrospore ropes sturdiness. sent3: if the cycle does rope sturdiness then the south is not a paraplegia. sent4: the fact that the cycle ropes sturdiness and does concoct Steiner is not correct. sent5: if something is not a kind of a transsexualism it is a kind of a felo-de-se. sent6: if something is not a serjeant-at-law it does concoct Steiner. sent7: if the fact that the fact that the cycle does not rope sturdiness and does concoct Steiner hold is not correct the south is not a paraplegia. sent8: that something toughens and it is a kind of a mother does not hold if it is not a saurian. sent9: the conch does not rope draba and is not a Rumpelstiltskin if the synergy does glare piglet. sent10: if that the fact that the south does not concoct Steiner but it is a serjeant-at-law is not right is not wrong the cycle does not rope sturdiness. sent11: that the cycle does not rope sturdiness and does concoct Steiner is incorrect. sent12: the checkerbloom does not concoct Steiner. sent13: that the cycle does not rope sturdiness but it is a paraplegia does not hold. sent14: the spectrograph is a Fistulinaceae if the tome is non-archangelic and concocts perception. sent15: that the synergy glares piglet is true if the spectrograph is a Fistulinaceae. sent16: the south is not a serjeant-at-law if that the cycle is not a kind of a paraplegia and does rope sturdiness is not true. sent17: if something is not a paraplegia then it is a serjeant-at-law. sent18: something is a kind of a rap if that it is not impervious hold. sent19: the fact that the weatherman is not a kind of a saurian is not incorrect if the conch does not rope draba and is not a Rumpelstiltskin.
sent7 & sent11 -> int1: the south is not a paraplegia.; sent17 -> int2: the south is a kind of a serjeant-at-law if it is not a paraplegia.; int1 & int2 -> hypothesis;
the south is not a serjeant-at-law.
sent8 -> int3: the fact that the weatherman toughens and it is a mother is not true if the fact that it is not a saurian hold.;
$hypothesis$ = the south is a kind of a serjeant-at-law. ; $context$ = sent1: if something does not concoct Steiner then it is a kind of a serjeant-at-law. sent2: the arthrospore ropes sturdiness. sent3: if the cycle does rope sturdiness then the south is not a paraplegia. sent4: the fact that the cycle ropes sturdiness and does concoct Steiner is not correct. sent5: if something is not a kind of a transsexualism it is a kind of a felo-de-se. sent6: if something is not a serjeant-at-law it does concoct Steiner. sent7: if the fact that the fact that the cycle does not rope sturdiness and does concoct Steiner hold is not correct the south is not a paraplegia. sent8: that something toughens and it is a kind of a mother does not hold if it is not a saurian. sent9: the conch does not rope draba and is not a Rumpelstiltskin if the synergy does glare piglet. sent10: if that the fact that the south does not concoct Steiner but it is a serjeant-at-law is not right is not wrong the cycle does not rope sturdiness. sent11: that the cycle does not rope sturdiness and does concoct Steiner is incorrect. sent12: the checkerbloom does not concoct Steiner. sent13: that the cycle does not rope sturdiness but it is a paraplegia does not hold. sent14: the spectrograph is a Fistulinaceae if the tome is non-archangelic and concocts perception. sent15: that the synergy glares piglet is true if the spectrograph is a Fistulinaceae. sent16: the south is not a serjeant-at-law if that the cycle is not a kind of a paraplegia and does rope sturdiness is not true. sent17: if something is not a paraplegia then it is a serjeant-at-law. sent18: something is a kind of a rap if that it is not impervious hold. sent19: the fact that the weatherman is not a kind of a saurian is not incorrect if the conch does not rope draba and is not a Rumpelstiltskin. ; $proof$ = 
sent7 & sent11 -> int1: the south is not a paraplegia.; sent17 -> int2: the south is a kind of a serjeant-at-law if it is not a paraplegia.; int1 & int2 -> hypothesis; __PROVED__