that the fact that the tanning does not navigate but it is a Cocus hold is wrong.
sent1: if the bohemian subdivides gudgeon it either is non-busy or is not a kind of a rummer or both. sent2: The gudgeon does subdivide bohemian. sent3: the fact that the tanning is a kind of non-equatorial thing that does disco does not hold. sent4: the fact that the bohemian does not navigate but it is a kind of a fluoridation is incorrect. sent5: the fact that the tanning subdivides gudgeon and it busies does not hold if the bohemian does not navigate. sent6: either the bohemian is not a Cocus or it is not a saltire or both. sent7: if that the bohemian does not busy is right then it does not navigate. sent8: something is not a saltire if it is not a rummer. sent9: the canvasback is not inedible if it does not subdivide gudgeon. sent10: if the bohemian is not a saltire the fact that the tanning does not navigate and is a Cocus is not true. sent11: something is not a saltire if it does not busy. sent12: the bohemian does subdivide gudgeon.
sent11 -> int1: the fact that the bohemian is not the saltire if the bohemian is not busy is not wrong.; sent1 & sent12 -> int2: the bohemian is not busy or it is not a rummer or both.; sent8 -> int3: if the bohemian is not a rummer then it is not a kind of a saltire.; int1 & int2 & int3 -> int4: the bohemian is not a saltire.; int4 & sent10 -> hypothesis;
$hypothesis$ = that the fact that the tanning does not navigate but it is a Cocus hold is wrong. ; $context$ = sent1: if the bohemian subdivides gudgeon it either is non-busy or is not a kind of a rummer or both. sent2: The gudgeon does subdivide bohemian. sent3: the fact that the tanning is a kind of non-equatorial thing that does disco does not hold. sent4: the fact that the bohemian does not navigate but it is a kind of a fluoridation is incorrect. sent5: the fact that the tanning subdivides gudgeon and it busies does not hold if the bohemian does not navigate. sent6: either the bohemian is not a Cocus or it is not a saltire or both. sent7: if that the bohemian does not busy is right then it does not navigate. sent8: something is not a saltire if it is not a rummer. sent9: the canvasback is not inedible if it does not subdivide gudgeon. sent10: if the bohemian is not a saltire the fact that the tanning does not navigate and is a Cocus is not true. sent11: something is not a saltire if it does not busy. sent12: the bohemian does subdivide gudgeon. ; $proof$ = 
sent11 -> int1: the fact that the bohemian is not the saltire if the bohemian is not busy is not wrong.; sent1 & sent12 -> int2: the bohemian is not busy or it is not a rummer or both.; sent8 -> int3: if the bohemian is not a rummer then it is not a kind of a saltire.; int1 & int2 & int3 -> int4: the bohemian is not a saltire.; int4 & sent10 -> hypothesis; __PROVED__