the fact that if the refractometer blankets the pitch is geriatric is not correct.
sent1: if the refractometer does geyser cumin the luthier blankets. sent2: the Plimsoll is a blanketed if the refractometer does intimate. sent3: that the Plimsoll is geriatric is not false. sent4: the luthier is a blanketed. sent5: if the luthier is a blanketed the refractometer does geyser cumin. sent6: the refractometer is geriatric. sent7: the pitch does intimate if the Plimsoll is geriatric. sent8: if the Plimsoll blankets the refractometer does intimate. sent9: that the refractometer does intimate hold. sent10: the Plimsoll does blanket. sent11: the luthier is geriatric. sent12: the refractometer does geyser cumin. sent13: the pitch does geyser cumin if that the luthier does blanket is not false. sent14: if the Plimsoll is a kind of a blanketed the luthier does intimate. sent15: the Plimsoll intimates if that the luthier does geyser cumin is not false. sent16: the pitch is geriatric if the Plimsoll intimates. sent17: if the pitch intimates then the Plimsoll is geriatric. sent18: that the luthier geysers cumin is not false if the refractometer is a blanketed. sent19: the Plimsoll geysers cumin if the luthier intimates.
void -> assump1: Let's assume that the refractometer does blanket.; sent18 & assump1 -> int1: the luthier geysers cumin.; sent15 & int1 -> int2: the Plimsoll does intimate.; sent16 & int2 -> int3: the pitch is geriatric.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the refractometer blankets the pitch is geriatric is not correct. ; $context$ = sent1: if the refractometer does geyser cumin the luthier blankets. sent2: the Plimsoll is a blanketed if the refractometer does intimate. sent3: that the Plimsoll is geriatric is not false. sent4: the luthier is a blanketed. sent5: if the luthier is a blanketed the refractometer does geyser cumin. sent6: the refractometer is geriatric. sent7: the pitch does intimate if the Plimsoll is geriatric. sent8: if the Plimsoll blankets the refractometer does intimate. sent9: that the refractometer does intimate hold. sent10: the Plimsoll does blanket. sent11: the luthier is geriatric. sent12: the refractometer does geyser cumin. sent13: the pitch does geyser cumin if that the luthier does blanket is not false. sent14: if the Plimsoll is a kind of a blanketed the luthier does intimate. sent15: the Plimsoll intimates if that the luthier does geyser cumin is not false. sent16: the pitch is geriatric if the Plimsoll intimates. sent17: if the pitch intimates then the Plimsoll is geriatric. sent18: that the luthier geysers cumin is not false if the refractometer is a blanketed. sent19: the Plimsoll geysers cumin if the luthier intimates. ; $proof$ = 
void -> assump1: Let's assume that the refractometer does blanket.; sent18 & assump1 -> int1: the luthier geysers cumin.; sent15 & int1 -> int2: the Plimsoll does intimate.; sent16 & int2 -> int3: the pitch is geriatric.; [assump1] & int3 -> hypothesis; __DISPROVED__