the dress is a kind of a Bathyergidae if the hatchet does medicate tophus.
sent1: the dress does medicate tophus if the hatchet is a Bathyergidae. sent2: if that the milkcap does mound Podicipedidae and it urticates azure does not hold the hatchet does not medicate tophus. sent3: the fact that the fact that the milkcap medicates tophus and does urticate iodothyronine is incorrect is not wrong. sent4: the dress does not mound Podicipedidae. sent5: if the milkcap urticates iodothyronine then the dress is a Bathyergidae. sent6: the dress is a kind of a Bathyergidae if that the hatchet urticates azure and it medicates tophus is incorrect. sent7: if the milkcap does not mound Podicipedidae the hatchet does not medicate tophus.
void -> assump1: Let's assume that the hatchet medicates tophus.;
$hypothesis$ = the dress is a kind of a Bathyergidae if the hatchet does medicate tophus. ; $context$ = sent1: the dress does medicate tophus if the hatchet is a Bathyergidae. sent2: if that the milkcap does mound Podicipedidae and it urticates azure does not hold the hatchet does not medicate tophus. sent3: the fact that the fact that the milkcap medicates tophus and does urticate iodothyronine is incorrect is not wrong. sent4: the dress does not mound Podicipedidae. sent5: if the milkcap urticates iodothyronine then the dress is a Bathyergidae. sent6: the dress is a kind of a Bathyergidae if that the hatchet urticates azure and it medicates tophus is incorrect. sent7: if the milkcap does not mound Podicipedidae the hatchet does not medicate tophus. ; $proof$ = 
void -> assump1: Let's assume that the hatchet medicates tophus.; __UNKNOWN__