the shredder defrays gorget and it defrays pirate.
sent1: if the plutocrat is not seaward the fact that the shredder does defray gorget and it defrays pirate is not right. sent2: the millionaire is not a dolomite. sent3: the plutocrat is not a hygrodeik and it is not a kind of a seaward if the jack-o-lantern does temper squeamishness. sent4: if the pirate is a Antirrhinum the jack-o-lantern tempers squeamishness. sent5: the shredder is seaward. sent6: the pirate does not scallop estivation and it does not temper homeobox if it is not a kind of a Antirrhinum. sent7: the shredder defrays gorget if it is seaward. sent8: the fact that that the millionaire is not a kind of a dolomite and is not a Antirrhinum hold is not true if the fact that the pirate scallops estivation is not correct. sent9: that the pirate does not scallop estivation and does not temper homeobox is wrong if the millionaire is not a dolomite.
void -> assump1: Let's assume that the pirate is not a Antirrhinum.; sent6 & assump1 -> int1: the pirate does not scallop estivation and does not temper homeobox.; sent9 & sent2 -> int2: that the pirate does not scallop estivation and does not temper homeobox is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pirate is a Antirrhinum.; int4 & sent4 -> int5: the fact that the fact that the jack-o-lantern does not temper squeamishness is not wrong is false.; int5 & sent3 -> int6: the plutocrat is not a hygrodeik and not seaward.; int6 -> int7: the plutocrat is not a seaward.; int7 & sent1 -> hypothesis;
the shredder defrays gorget and it defrays pirate.
sent5 & sent7 -> int8: the shredder does defray gorget.;
$hypothesis$ = the shredder defrays gorget and it defrays pirate. ; $context$ = sent1: if the plutocrat is not seaward the fact that the shredder does defray gorget and it defrays pirate is not right. sent2: the millionaire is not a dolomite. sent3: the plutocrat is not a hygrodeik and it is not a kind of a seaward if the jack-o-lantern does temper squeamishness. sent4: if the pirate is a Antirrhinum the jack-o-lantern tempers squeamishness. sent5: the shredder is seaward. sent6: the pirate does not scallop estivation and it does not temper homeobox if it is not a kind of a Antirrhinum. sent7: the shredder defrays gorget if it is seaward. sent8: the fact that that the millionaire is not a kind of a dolomite and is not a Antirrhinum hold is not true if the fact that the pirate scallops estivation is not correct. sent9: that the pirate does not scallop estivation and does not temper homeobox is wrong if the millionaire is not a dolomite. ; $proof$ = 
void -> assump1: Let's assume that the pirate is not a Antirrhinum.; sent6 & assump1 -> int1: the pirate does not scallop estivation and does not temper homeobox.; sent9 & sent2 -> int2: that the pirate does not scallop estivation and does not temper homeobox is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pirate is a Antirrhinum.; int4 & sent4 -> int5: the fact that the fact that the jack-o-lantern does not temper squeamishness is not wrong is false.; int5 & sent3 -> int6: the plutocrat is not a hygrodeik and not seaward.; int6 -> int7: the plutocrat is not a seaward.; int7 & sent1 -> hypothesis; __DISPROVED__