the moonlighter is inconclusive.
sent1: if the bluefin is a sigmoidoscope it does blind stippler. sent2: there is something such that it is a Goldman. sent3: the ascender blinds stippler. sent4: the bluefin does blind stippler and it is a pro if it is not conclusive. sent5: the retreatant is conclusive. sent6: if the fact that something disturbs is true then that it is a light is not incorrect. sent7: the bluefin is a sigmoidoscope. sent8: if something blinds stippler and is conclusive then the moonlighter is light. sent9: the moonlighter disturbs. sent10: something does recuperate if it does light. sent11: the moonlighter does include quahog. sent12: that the East does blind stippler is right. sent13: the tribune does blind stippler. sent14: if something that is a kind of a digit is a Goldman the moonlighter is a counterirritant. sent15: the bluefin disturbs if it is a light. sent16: there exists something such that it does blind stippler. sent17: the bluefin is a aftershaft. sent18: something is a kind of light thing that is a sigmoidoscope. sent19: the moonlighter is conclusive if something that does disturb does blind stippler. sent20: there exists something such that it disturbs. sent21: if the moonlighter is conclusive it is a light. sent22: the bluefin is a light. sent23: the moonlighter is not conclusive if the bluefin is conclusive.
sent15 & sent22 -> int1: the bluefin disturbs.; sent1 & sent7 -> int2: the bluefin does blind stippler.; int1 & int2 -> int3: the bluefin disturbs and does blind stippler.; int3 -> int4: there is something such that it disturbs and does blind stippler.; int4 & sent19 -> hypothesis;
the moonlighter is not conclusive.
$hypothesis$ = the moonlighter is inconclusive. ; $context$ = sent1: if the bluefin is a sigmoidoscope it does blind stippler. sent2: there is something such that it is a Goldman. sent3: the ascender blinds stippler. sent4: the bluefin does blind stippler and it is a pro if it is not conclusive. sent5: the retreatant is conclusive. sent6: if the fact that something disturbs is true then that it is a light is not incorrect. sent7: the bluefin is a sigmoidoscope. sent8: if something blinds stippler and is conclusive then the moonlighter is light. sent9: the moonlighter disturbs. sent10: something does recuperate if it does light. sent11: the moonlighter does include quahog. sent12: that the East does blind stippler is right. sent13: the tribune does blind stippler. sent14: if something that is a kind of a digit is a Goldman the moonlighter is a counterirritant. sent15: the bluefin disturbs if it is a light. sent16: there exists something such that it does blind stippler. sent17: the bluefin is a aftershaft. sent18: something is a kind of light thing that is a sigmoidoscope. sent19: the moonlighter is conclusive if something that does disturb does blind stippler. sent20: there exists something such that it disturbs. sent21: if the moonlighter is conclusive it is a light. sent22: the bluefin is a light. sent23: the moonlighter is not conclusive if the bluefin is conclusive. ; $proof$ = 
sent15 & sent22 -> int1: the bluefin disturbs.; sent1 & sent7 -> int2: the bluefin does blind stippler.; int1 & int2 -> int3: the bluefin disturbs and does blind stippler.; int3 -> int4: there is something such that it disturbs and does blind stippler.; int4 & sent19 -> hypothesis; __DISPROVED__