the blanc is a kind of non-haploid thing that does not guard desmid.
sent1: if something idealizes prematureness it is not a haploid and does not guard desmid. sent2: if the fact that the desmid does not subside comforter and guards pipeline is incorrect the bricklayer is not a pencil. sent3: if the Domino is a perpendicularity then the blanc idealizes prematureness. sent4: the desmid does subside kilogram and is centrifugal. sent5: the comforter does not subside tushery and it is not a kind of a Strombus if the bricklayer is not a kind of a pencil. sent6: if the desmid does not subside comforter and does guard pipeline then it does not subside kilogram. sent7: the Domino is a kind of a perpendicularity if the comforter does not subside tushery and it is not a Strombus.
void -> assump1: Let's assume that the desmid does not subside comforter but it does guard pipeline.; sent6 & assump1 -> int1: the desmid does not subside kilogram.; sent4 -> int2: the desmid subsides kilogram.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the desmid does not subside comforter and guards pipeline is incorrect.; int4 & sent2 -> int5: the bricklayer does not pencil.; int5 & sent5 -> int6: the comforter does not subside tushery and is not a Strombus.; int6 & sent7 -> int7: the Domino is a kind of a perpendicularity.; int7 & sent3 -> int8: the blanc does idealize prematureness.; sent1 -> int9: if the blanc idealizes prematureness it is not a haploid and does not guard desmid.; int8 & int9 -> hypothesis;
$hypothesis$ = the blanc is a kind of non-haploid thing that does not guard desmid. ; $context$ = sent1: if something idealizes prematureness it is not a haploid and does not guard desmid. sent2: if the fact that the desmid does not subside comforter and guards pipeline is incorrect the bricklayer is not a pencil. sent3: if the Domino is a perpendicularity then the blanc idealizes prematureness. sent4: the desmid does subside kilogram and is centrifugal. sent5: the comforter does not subside tushery and it is not a kind of a Strombus if the bricklayer is not a kind of a pencil. sent6: if the desmid does not subside comforter and does guard pipeline then it does not subside kilogram. sent7: the Domino is a kind of a perpendicularity if the comforter does not subside tushery and it is not a Strombus. ; $proof$ = 
void -> assump1: Let's assume that the desmid does not subside comforter but it does guard pipeline.; sent6 & assump1 -> int1: the desmid does not subside kilogram.; sent4 -> int2: the desmid subsides kilogram.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the desmid does not subside comforter and guards pipeline is incorrect.; int4 & sent2 -> int5: the bricklayer does not pencil.; int5 & sent5 -> int6: the comforter does not subside tushery and is not a Strombus.; int6 & sent7 -> int7: the Domino is a kind of a perpendicularity.; int7 & sent3 -> int8: the blanc does idealize prematureness.; sent1 -> int9: if the blanc idealizes prematureness it is not a haploid and does not guard desmid.; int8 & int9 -> hypothesis; __PROVED__