the saprobe injects and it does fracture saprobe.
sent1: the saprobe fractures tenterhook but it is not Bantoid if the aposelene is a kind of a dent. sent2: something that is a Micrococcus that does not inject is a VFW. sent3: that the showpiece is a VFW and it is a kind of a Micrococcus is wrong if there are non-low-tension things. sent4: the slinger is offshore if that the nest is not a stroke and is propitious is not correct. sent5: something that is a kind of non-Bantoid thing that is not a kind of a dent does not fracture tenterhook. sent6: if something is not low-tension the fact that it injects and it does fracture saprobe is incorrect. sent7: if the aposelene is not Bantoid then the showpiece does not fracture tenterhook and does fracture saprobe. sent8: if something does not service quasiparticle that the penitentiary is not a dent and is not a kind of a contest does not hold. sent9: if the slinger is a kind of a conchology and it does surface then the aerie does not service quasiparticle. sent10: the nest does not service Transportation. sent11: something is low-tension if it is a VFW. sent12: there exists something such that it is not a kind of a Micrococcus. sent13: there are non-low-tension things. sent14: the fact that the saprobe is not a kind of a Micrococcus and is a VFW does not hold if the showpiece does not fracture tenterhook. sent15: the fact that the aposelene is a kind of a dent is correct. sent16: if that the showpiece does fracture saprobe is not wrong then the saprobe is a kind of a Micrococcus but it does not inject. sent17: if something fractures tenterhook but it is not Bantoid it does fracture saprobe. sent18: if the nest does not service Transportation that it does not stroke and it is propitious is wrong. sent19: the saprobe is non-Bantoid. sent20: if there exists something such that it is not low-tension then the fact that the fact that the showpiece is both not a VFW and a Micrococcus is incorrect is right. sent21: the saprobe does inject if the fact that the showpiece is not a VFW and is a kind of a Micrococcus is not correct. sent22: if that something is offshore is not incorrect it is a kind of a conchology. sent23: the slinger surfaces and is a PPLO.
sent13 & sent20 -> int1: that the showpiece is both not a VFW and a Micrococcus is not correct.; int1 & sent21 -> int2: the saprobe injects.; sent17 -> int3: the saprobe fractures saprobe if it does fracture tenterhook and it is not Bantoid.; sent1 & sent15 -> int4: the saprobe does fracture tenterhook but it is not Bantoid.; int3 & int4 -> int5: the saprobe fractures saprobe.; int2 & int5 -> hypothesis;
the fact that the saprobe does inject and does fracture saprobe is not correct.
sent6 -> int6: if the saprobe is not low-tension then the fact that it injects and does fracture saprobe is not true.; sent5 -> int7: if the showpiece is not Bantoid and it is not a dent it does not fracture tenterhook.;
$hypothesis$ = the saprobe injects and it does fracture saprobe. ; $context$ = sent1: the saprobe fractures tenterhook but it is not Bantoid if the aposelene is a kind of a dent. sent2: something that is a Micrococcus that does not inject is a VFW. sent3: that the showpiece is a VFW and it is a kind of a Micrococcus is wrong if there are non-low-tension things. sent4: the slinger is offshore if that the nest is not a stroke and is propitious is not correct. sent5: something that is a kind of non-Bantoid thing that is not a kind of a dent does not fracture tenterhook. sent6: if something is not low-tension the fact that it injects and it does fracture saprobe is incorrect. sent7: if the aposelene is not Bantoid then the showpiece does not fracture tenterhook and does fracture saprobe. sent8: if something does not service quasiparticle that the penitentiary is not a dent and is not a kind of a contest does not hold. sent9: if the slinger is a kind of a conchology and it does surface then the aerie does not service quasiparticle. sent10: the nest does not service Transportation. sent11: something is low-tension if it is a VFW. sent12: there exists something such that it is not a kind of a Micrococcus. sent13: there are non-low-tension things. sent14: the fact that the saprobe is not a kind of a Micrococcus and is a VFW does not hold if the showpiece does not fracture tenterhook. sent15: the fact that the aposelene is a kind of a dent is correct. sent16: if that the showpiece does fracture saprobe is not wrong then the saprobe is a kind of a Micrococcus but it does not inject. sent17: if something fractures tenterhook but it is not Bantoid it does fracture saprobe. sent18: if the nest does not service Transportation that it does not stroke and it is propitious is wrong. sent19: the saprobe is non-Bantoid. sent20: if there exists something such that it is not low-tension then the fact that the fact that the showpiece is both not a VFW and a Micrococcus is incorrect is right. sent21: the saprobe does inject if the fact that the showpiece is not a VFW and is a kind of a Micrococcus is not correct. sent22: if that something is offshore is not incorrect it is a kind of a conchology. sent23: the slinger surfaces and is a PPLO. ; $proof$ = 
sent13 & sent20 -> int1: that the showpiece is both not a VFW and a Micrococcus is not correct.; int1 & sent21 -> int2: the saprobe injects.; sent17 -> int3: the saprobe fractures saprobe if it does fracture tenterhook and it is not Bantoid.; sent1 & sent15 -> int4: the saprobe does fracture tenterhook but it is not Bantoid.; int3 & int4 -> int5: the saprobe fractures saprobe.; int2 & int5 -> hypothesis; __PROVED__