the jackscrew constitutes.
sent1: the catsup is not a thermocouple if it is robust. sent2: if the catsup is not a thermocouple then the fact that the cumulus is an iridium but it is not definite is wrong. sent3: the fact that the cumulus is not a kind of an iridium and is definite is incorrect. sent4: something does constitute if that it is definite and it does not constitute is not true. sent5: if the standpipe reckons Basil then it is not a schlock and it is not a sepulcher. sent6: there exists nothing such that it is not palingenetic and reckons Basil. sent7: if the fact that something does constitute and/or it is a schlock is wrong it is not definite. sent8: there exists nothing that is a kind of robust thing that is not a warrantee. sent9: something is not a thermocouple if the fact that it is non-robust thing that is not a warrantee does not hold. sent10: the balker is not an iridium if the standpipe is not a schlock and it is not a sepulcher. sent11: the jackscrew does not constitute if that the cumulus is not an iridium and it is not definite is not true. sent12: if the fact that something is not palingenetic but it reckons Basil is incorrect then it is not a kind of a sepulcher. sent13: the cumulus is not an iridium but it is a thermocouple if that the balker is not definite is right. sent14: that the catsup is both robust and not a warrantee is incorrect. sent15: there exists nothing that is not robust and is not a warrantee. sent16: that the cumulus is an iridium and not definite is false. sent17: the supercargo is not dichromatic. sent18: the fact that the cumulus is not an iridium and it is indefinite does not hold if the catsup is not a thermocouple.
sent15 -> int1: that the catsup is non-robust but not a warrantee is wrong.; sent9 -> int2: the catsup is not a thermocouple if the fact that it is not robust and it is not a warrantee is not right.; int1 & int2 -> int3: the catsup is not a kind of a thermocouple.; int3 & sent18 -> int4: the fact that the cumulus is not a kind of an iridium and it is not definite is false.; int4 & sent11 -> hypothesis;
the jackscrew is not an iridium.
sent7 -> int5: if the fact that the balker constitutes or is a schlock or both is not correct it is not definite.; sent12 -> int6: if the fact that the standpipe is a kind of non-palingenetic thing that does reckon Basil is not correct it is not a kind of a sepulcher.; sent6 -> int7: that the standpipe is not palingenetic and reckons Basil is wrong.; int6 & int7 -> int8: the standpipe is not a kind of a sepulcher.;
$hypothesis$ = the jackscrew constitutes. ; $context$ = sent1: the catsup is not a thermocouple if it is robust. sent2: if the catsup is not a thermocouple then the fact that the cumulus is an iridium but it is not definite is wrong. sent3: the fact that the cumulus is not a kind of an iridium and is definite is incorrect. sent4: something does constitute if that it is definite and it does not constitute is not true. sent5: if the standpipe reckons Basil then it is not a schlock and it is not a sepulcher. sent6: there exists nothing such that it is not palingenetic and reckons Basil. sent7: if the fact that something does constitute and/or it is a schlock is wrong it is not definite. sent8: there exists nothing that is a kind of robust thing that is not a warrantee. sent9: something is not a thermocouple if the fact that it is non-robust thing that is not a warrantee does not hold. sent10: the balker is not an iridium if the standpipe is not a schlock and it is not a sepulcher. sent11: the jackscrew does not constitute if that the cumulus is not an iridium and it is not definite is not true. sent12: if the fact that something is not palingenetic but it reckons Basil is incorrect then it is not a kind of a sepulcher. sent13: the cumulus is not an iridium but it is a thermocouple if that the balker is not definite is right. sent14: that the catsup is both robust and not a warrantee is incorrect. sent15: there exists nothing that is not robust and is not a warrantee. sent16: that the cumulus is an iridium and not definite is false. sent17: the supercargo is not dichromatic. sent18: the fact that the cumulus is not an iridium and it is indefinite does not hold if the catsup is not a thermocouple. ; $proof$ = 
sent15 -> int1: that the catsup is non-robust but not a warrantee is wrong.; sent9 -> int2: the catsup is not a thermocouple if the fact that it is not robust and it is not a warrantee is not right.; int1 & int2 -> int3: the catsup is not a kind of a thermocouple.; int3 & sent18 -> int4: the fact that the cumulus is not a kind of an iridium and it is not definite is false.; int4 & sent11 -> hypothesis; __DISPROVED__