the globeflower is not a blistering.
sent1: the lacteal is not noncellular if the fact that the hemming-stitch is not logarithmic is not false. sent2: the hemming-stitch is not logarithmic or it is a hyson or both. sent3: that the lacteal is lymphatic if the dogmatist is non-plural hold. sent4: the hemming-stitch is not cellular and/or it is a kind of a hyson. sent5: the astrakhan is not a kind of a Castilleja if there is something such that it activates dieter. sent6: the globeflower is non-noncellular thing that blisters if the lacteal is not noncellular. sent7: the hindshank activates dieter. sent8: if the fact that something is not a clunch and is a schmuck is incorrect it is Einsteinian. sent9: the dogmatist is both not a Ionesco and not plural if that the astrakhan is not a Castilleja is true. sent10: the globeflower is not a hyson but it is not non-logarithmic if the hemming-stitch is not a hyson. sent11: if the hemming-stitch is either not logarithmic or a hyson or both the lacteal is not noncellular. sent12: if the lacteal is lymphatic then the fact that the hemming-stitch is not a kind of a clunch and is a kind of a schmuck is not true. sent13: something is noncellular if it is Einsteinian. sent14: the globeflower is not Einsteinian and it is not noncellular if the hemming-stitch is a kind of a schmuck. sent15: if the lacteal is not noncellular the globeflower is not noncellular.
sent11 & sent2 -> int1: the lacteal is not noncellular.; sent6 & int1 -> int2: the globeflower is a kind of cellular thing that is a blistering.; int2 -> hypothesis;
the globeflower is not a blistering.
sent13 -> int3: if the hemming-stitch is Einsteinian it is noncellular.; sent8 -> int4: the hemming-stitch is Einsteinian if the fact that it is not a clunch and it is a schmuck is not right.; sent7 -> int5: there is something such that it activates dieter.; int5 & sent5 -> int6: the astrakhan is not a Castilleja.; sent9 & int6 -> int7: the dogmatist is not a Ionesco and not plural.; int7 -> int8: the dogmatist is not a plural.; sent3 & int8 -> int9: that the lacteal is lymphatic is correct.; sent12 & int9 -> int10: the fact that the hemming-stitch is not a clunch but it is a kind of a schmuck does not hold.; int4 & int10 -> int11: the hemming-stitch is Einsteinian.; int3 & int11 -> int12: the hemming-stitch is noncellular.; int12 -> int13: something is noncellular.;
$hypothesis$ = the globeflower is not a blistering. ; $context$ = sent1: the lacteal is not noncellular if the fact that the hemming-stitch is not logarithmic is not false. sent2: the hemming-stitch is not logarithmic or it is a hyson or both. sent3: that the lacteal is lymphatic if the dogmatist is non-plural hold. sent4: the hemming-stitch is not cellular and/or it is a kind of a hyson. sent5: the astrakhan is not a kind of a Castilleja if there is something such that it activates dieter. sent6: the globeflower is non-noncellular thing that blisters if the lacteal is not noncellular. sent7: the hindshank activates dieter. sent8: if the fact that something is not a clunch and is a schmuck is incorrect it is Einsteinian. sent9: the dogmatist is both not a Ionesco and not plural if that the astrakhan is not a Castilleja is true. sent10: the globeflower is not a hyson but it is not non-logarithmic if the hemming-stitch is not a hyson. sent11: if the hemming-stitch is either not logarithmic or a hyson or both the lacteal is not noncellular. sent12: if the lacteal is lymphatic then the fact that the hemming-stitch is not a kind of a clunch and is a kind of a schmuck is not true. sent13: something is noncellular if it is Einsteinian. sent14: the globeflower is not Einsteinian and it is not noncellular if the hemming-stitch is a kind of a schmuck. sent15: if the lacteal is not noncellular the globeflower is not noncellular. ; $proof$ = 
sent11 & sent2 -> int1: the lacteal is not noncellular.; sent6 & int1 -> int2: the globeflower is a kind of cellular thing that is a blistering.; int2 -> hypothesis; __DISPROVED__