the fact that if that the hipbone does not winnow ununquadium hold then the tilefish is a platitudinarian but it is not a kind of a shimmer is not incorrect.
sent1: if that the ununquadium is not non-autoecious is not incorrect then the hipbone winnows ununquadium. sent2: the ununquadium is autoecious if there exists something such that the fact that it is a platitudinarian and it does not shimmer does not hold. sent3: the coelenterate is not a platitudinarian.
void -> assump2: Let's assume that the fact that the tilefish is a platitudinarian but it is not a kind of a shimmer is not right.; assump2 -> int1: there is something such that the fact that it is a platitudinarian that is not a shimmer is not true.; int1 & sent2 -> int2: the ununquadium is autoecious.; sent1 & int2 -> int3: the hipbone does winnow ununquadium.; void -> assump1: Let's assume that the hipbone does not winnow ununquadium.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tilefish is a platitudinarian but it is not a shimmer.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if that the hipbone does not winnow ununquadium hold then the tilefish is a platitudinarian but it is not a kind of a shimmer is not incorrect. ; $context$ = sent1: if that the ununquadium is not non-autoecious is not incorrect then the hipbone winnows ununquadium. sent2: the ununquadium is autoecious if there exists something such that the fact that it is a platitudinarian and it does not shimmer does not hold. sent3: the coelenterate is not a platitudinarian. ; $proof$ = 
void -> assump2: Let's assume that the fact that the tilefish is a platitudinarian but it is not a kind of a shimmer is not right.; assump2 -> int1: there is something such that the fact that it is a platitudinarian that is not a shimmer is not true.; int1 & sent2 -> int2: the ununquadium is autoecious.; sent1 & int2 -> int3: the hipbone does winnow ununquadium.; void -> assump1: Let's assume that the hipbone does not winnow ununquadium.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tilefish is a platitudinarian but it is not a shimmer.; [assump1] & int5 -> hypothesis; __PROVED__