the varnisher is both not an anesthetic and a cutter.
sent1: if that the octogenarian is a harmonics hold then that the varnisher is non-anesthetic but it is a cutter does not hold. sent2: if the triggerfish is an anesthetic the varnisher is not an anesthetic but it is a kind of a cutter. sent3: the Bahamian is a autofocus or it butts smuttiness or both. sent4: the smuggler is not a harmonics if the fact that the octogenarian is nebular thing that is a kind of a harmonics does not hold. sent5: if the Bahamian is a autofocus and/or does not butt smuttiness the spawner is a kind of a polemic. sent6: that that something is nebular and it is harmonics is right is incorrect if it is not a Hippobosca. sent7: the Bahamian does not butt smuttiness if that the octogenarian is a kind of a Hippobosca that is nebular is wrong. sent8: if the triggerfish is an anesthetic then the varnisher is not an anesthetic. sent9: if the spawner is a kind of a polemic then the dhal does rear gentamicin. sent10: the fact that the octogenarian is a polemic that is nebular is not correct. sent11: if something is a harmonics that that the octogenarian is a Hippobosca and it is nebular is right is incorrect. sent12: something is a kind of a harmonics. sent13: if the octogenarian is not nebular then the Bahamian does not butt smuttiness. sent14: if that something does butt smuttiness and is not a kind of a autofocus does not hold it is not a Hippobosca. sent15: if the dhal does rear gentamicin then the triggerfish is an anesthetic. sent16: the nick is not a Labridae but it is systematics. sent17: the varnisher is not a kind of an anesthetic. sent18: something is not a flaunt but a dribble if it is not a harmonics.
sent12 & sent11 -> int1: the fact that the octogenarian is a Hippobosca and it is nebular does not hold.; sent7 & int1 -> int2: the Bahamian does not butt smuttiness.; int2 -> int3: either the Bahamian is a autofocus or it does not butt smuttiness or both.; sent5 & int3 -> int4: the spawner is a polemic.; sent9 & int4 -> int5: the dhal does rear gentamicin.; sent15 & int5 -> int6: the triggerfish is not non-anesthetic.; sent2 & int6 -> hypothesis;
the fact that the varnisher is not a kind of an anesthetic but it is a kind of a cutter does not hold.
$hypothesis$ = the varnisher is both not an anesthetic and a cutter. ; $context$ = sent1: if that the octogenarian is a harmonics hold then that the varnisher is non-anesthetic but it is a cutter does not hold. sent2: if the triggerfish is an anesthetic the varnisher is not an anesthetic but it is a kind of a cutter. sent3: the Bahamian is a autofocus or it butts smuttiness or both. sent4: the smuggler is not a harmonics if the fact that the octogenarian is nebular thing that is a kind of a harmonics does not hold. sent5: if the Bahamian is a autofocus and/or does not butt smuttiness the spawner is a kind of a polemic. sent6: that that something is nebular and it is harmonics is right is incorrect if it is not a Hippobosca. sent7: the Bahamian does not butt smuttiness if that the octogenarian is a kind of a Hippobosca that is nebular is wrong. sent8: if the triggerfish is an anesthetic then the varnisher is not an anesthetic. sent9: if the spawner is a kind of a polemic then the dhal does rear gentamicin. sent10: the fact that the octogenarian is a polemic that is nebular is not correct. sent11: if something is a harmonics that that the octogenarian is a Hippobosca and it is nebular is right is incorrect. sent12: something is a kind of a harmonics. sent13: if the octogenarian is not nebular then the Bahamian does not butt smuttiness. sent14: if that something does butt smuttiness and is not a kind of a autofocus does not hold it is not a Hippobosca. sent15: if the dhal does rear gentamicin then the triggerfish is an anesthetic. sent16: the nick is not a Labridae but it is systematics. sent17: the varnisher is not a kind of an anesthetic. sent18: something is not a flaunt but a dribble if it is not a harmonics. ; $proof$ = 
sent12 & sent11 -> int1: the fact that the octogenarian is a Hippobosca and it is nebular does not hold.; sent7 & int1 -> int2: the Bahamian does not butt smuttiness.; int2 -> int3: either the Bahamian is a autofocus or it does not butt smuttiness or both.; sent5 & int3 -> int4: the spawner is a polemic.; sent9 & int4 -> int5: the dhal does rear gentamicin.; sent15 & int5 -> int6: the triggerfish is not non-anesthetic.; sent2 & int6 -> hypothesis; __PROVED__