the fact that if the hotchpotch is piscatorial that the workbench is a dower is true is not true.
sent1: the hydroxyproline is siliceous. sent2: if a dower is piscatorial then the workbench does estimate. sent3: if that the hotchpotch is a dower hold the workbench is homeostatic. sent4: there exists something such that it is siliceous. sent5: the hydroxyproline is not siliceous if that the hotchpotch is homeostatic is not wrong. sent6: there exists something such that that it is phrenic is not wrong. sent7: the workbench is a dower if a piscatorial thing estimates. sent8: if the hotchpotch falsifies drugstore but it is not homeostatic then it does estimate. sent9: the fact that there is something such that it is a kind of an estimate is not wrong. sent10: if that the hotchpotch does falsify drugstore and is not homeostatic is not true then that that the hydroxyproline is siliceous is not incorrect does not hold. sent11: that the hotchpotch is non-homeostatic hold. sent12: the slag is piscatorial. sent13: the hotchpotch is a kind of an estimate if it falsifies drugstore and it is homeostatic. sent14: the workbench estimates. sent15: the hydroxyproline is piscatorial. sent16: if the hydroxyproline is non-siliceous thing that does not estimate then the hotchpotch is illogical.
void -> assump1: Let's assume that that the hotchpotch does falsify drugstore but it is not homeostatic is not correct.; sent10 & assump1 -> int1: the hydroxyproline is not siliceous.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hotchpotch does falsify drugstore and is not homeostatic.; int3 & sent8 -> int4: that the hotchpotch does estimate hold.; void -> assump2: Let's assume that the hotchpotch is piscatorial.; int4 & assump2 -> int5: the hotchpotch is piscatorial and does estimate.; int5 -> int6: that something is piscatorial thing that is a kind of an estimate hold.; int6 & sent7 -> int7: the fact that the workbench is a dower is not wrong.; [assump2] & int7 -> hypothesis;
the hotchpotch is illogical.
$hypothesis$ = the fact that if the hotchpotch is piscatorial that the workbench is a dower is true is not true. ; $context$ = sent1: the hydroxyproline is siliceous. sent2: if a dower is piscatorial then the workbench does estimate. sent3: if that the hotchpotch is a dower hold the workbench is homeostatic. sent4: there exists something such that it is siliceous. sent5: the hydroxyproline is not siliceous if that the hotchpotch is homeostatic is not wrong. sent6: there exists something such that that it is phrenic is not wrong. sent7: the workbench is a dower if a piscatorial thing estimates. sent8: if the hotchpotch falsifies drugstore but it is not homeostatic then it does estimate. sent9: the fact that there is something such that it is a kind of an estimate is not wrong. sent10: if that the hotchpotch does falsify drugstore and is not homeostatic is not true then that that the hydroxyproline is siliceous is not incorrect does not hold. sent11: that the hotchpotch is non-homeostatic hold. sent12: the slag is piscatorial. sent13: the hotchpotch is a kind of an estimate if it falsifies drugstore and it is homeostatic. sent14: the workbench estimates. sent15: the hydroxyproline is piscatorial. sent16: if the hydroxyproline is non-siliceous thing that does not estimate then the hotchpotch is illogical. ; $proof$ = 
void -> assump1: Let's assume that that the hotchpotch does falsify drugstore but it is not homeostatic is not correct.; sent10 & assump1 -> int1: the hydroxyproline is not siliceous.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hotchpotch does falsify drugstore and is not homeostatic.; int3 & sent8 -> int4: that the hotchpotch does estimate hold.; void -> assump2: Let's assume that the hotchpotch is piscatorial.; int4 & assump2 -> int5: the hotchpotch is piscatorial and does estimate.; int5 -> int6: that something is piscatorial thing that is a kind of an estimate hold.; int6 & sent7 -> int7: the fact that the workbench is a dower is not wrong.; [assump2] & int7 -> hypothesis; __DISPROVED__