that if the fact that the trackball is not a pedaler and it is not a kind of a mono-iodotyrosine is false then the plutocrat does not wake is wrong.
sent1: if the fact that the trackball is a pedaler but it is not a mono-iodotyrosine does not hold then that the plutocrat is not a kind of a wake hold. sent2: if the fact that the trackball is not a kind of a pedaler and it is not a mono-iodotyrosine is false the jugale is not gluteal. sent3: the fact that the trackball is a pedaler hold. sent4: if the fact that something is spermicidal and it is gluteal is false it is not a wake. sent5: the fact that the plutocrat is spermicidal and it is gluteal is not right if the jugale is not gluteal. sent6: the jugale is not gluteal if the trackball is not a pedaler and is not a mono-iodotyrosine.
void -> assump1: Let's assume that that the trackball is not a pedaler and it is not a mono-iodotyrosine does not hold.; sent2 & assump1 -> int1: the jugale is non-gluteal.; int1 & sent5 -> int2: the fact that the plutocrat is both not non-spermicidal and not non-gluteal does not hold.; sent4 -> int3: the plutocrat is not a wake if that it is spermicidal and is gluteal is false.; int2 & int3 -> int4: the plutocrat is not a wake.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the fact that the trackball is not a pedaler and it is not a kind of a mono-iodotyrosine is false then the plutocrat does not wake is wrong. ; $context$ = sent1: if the fact that the trackball is a pedaler but it is not a mono-iodotyrosine does not hold then that the plutocrat is not a kind of a wake hold. sent2: if the fact that the trackball is not a kind of a pedaler and it is not a mono-iodotyrosine is false the jugale is not gluteal. sent3: the fact that the trackball is a pedaler hold. sent4: if the fact that something is spermicidal and it is gluteal is false it is not a wake. sent5: the fact that the plutocrat is spermicidal and it is gluteal is not right if the jugale is not gluteal. sent6: the jugale is not gluteal if the trackball is not a pedaler and is not a mono-iodotyrosine. ; $proof$ = 
void -> assump1: Let's assume that that the trackball is not a pedaler and it is not a mono-iodotyrosine does not hold.; sent2 & assump1 -> int1: the jugale is non-gluteal.; int1 & sent5 -> int2: the fact that the plutocrat is both not non-spermicidal and not non-gluteal does not hold.; sent4 -> int3: the plutocrat is not a wake if that it is spermicidal and is gluteal is false.; int2 & int3 -> int4: the plutocrat is not a wake.; [assump1] & int4 -> hypothesis; __DISPROVED__