the fact that there is something such that if it blankets bowls then it is a kind of a scatterbrain does not hold.
sent1: if the tiller blankets bowls then it is not corrected and not a Plotinus. sent2: the tiller is a kind of a scatterbrain if it corrects and is not a Plotinus. sent3: the tiller does jam impatience. sent4: the bowls corrects if it is a kind of a chlorofluorocarbon. sent5: if something that is not a Bernhardt is not a bathtub it jams Lepanto. sent6: if the tiller is downstream it does blanket bowls. sent7: if something is not corrected and it is not a Plotinus it is a scatterbrain.
void -> assump1: Let's assume that that the tiller blankets bowls hold.; sent1 & assump1 -> int1: the tiller does not correct and is not a Plotinus.; sent7 -> int2: if the tiller is not corrected and it is not a Plotinus then it is a scatterbrain.; int1 & int2 -> int3: the tiller is a kind of a scatterbrain.; [assump1] & int3 -> int4: the tiller is a kind of a scatterbrain if that it does blanket bowls hold.; int4 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it blankets bowls then it is a kind of a scatterbrain does not hold. ; $context$ = sent1: if the tiller blankets bowls then it is not corrected and not a Plotinus. sent2: the tiller is a kind of a scatterbrain if it corrects and is not a Plotinus. sent3: the tiller does jam impatience. sent4: the bowls corrects if it is a kind of a chlorofluorocarbon. sent5: if something that is not a Bernhardt is not a bathtub it jams Lepanto. sent6: if the tiller is downstream it does blanket bowls. sent7: if something is not corrected and it is not a Plotinus it is a scatterbrain. ; $proof$ = 
void -> assump1: Let's assume that that the tiller blankets bowls hold.; sent1 & assump1 -> int1: the tiller does not correct and is not a Plotinus.; sent7 -> int2: if the tiller is not corrected and it is not a Plotinus then it is a scatterbrain.; int1 & int2 -> int3: the tiller is a kind of a scatterbrain.; [assump1] & int3 -> int4: the tiller is a kind of a scatterbrain if that it does blanket bowls hold.; int4 -> hypothesis; __DISPROVED__