the havelock does indurate Villard but it is not a kind of a sanguinity.
sent1: if the pilewort touts publicity then the inkle does curse. sent2: if the locomotive does tout publicity then the pilewort tout publicity. sent3: if something touts ulcer and is not a configuration it does not puncture. sent4: the hunter is a puncture. sent5: if the hunter is not a configuration then the havelock does indurate Villard but it is not a sanguinity. sent6: the locomotive touts publicity. sent7: if that the cascarilla does not spurt Polk is not incorrect then the carrageenin touts ulcer and is not a configuration. sent8: something that is a kind of a puncture is not a configuration. sent9: something does not indurate Villard if it does not puncture.
sent8 -> int1: the hunter is not a configuration if that it does not puncture does not hold.; int1 & sent4 -> int2: the hunter is not a configuration.; int2 & sent5 -> hypothesis;
that the havelock does indurate Villard and is not a sanguinity is not right.
sent9 -> int3: the carrageenin does not indurate Villard if it is not a puncture.; sent3 -> int4: the carrageenin is not a puncture if it touts ulcer and it is not a configuration.; sent2 & sent6 -> int5: the pilewort touts publicity.; sent1 & int5 -> int6: the inkle is a curse.; int6 -> int7: there exists something such that it is a kind of a curse.;
$hypothesis$ = the havelock does indurate Villard but it is not a kind of a sanguinity. ; $context$ = sent1: if the pilewort touts publicity then the inkle does curse. sent2: if the locomotive does tout publicity then the pilewort tout publicity. sent3: if something touts ulcer and is not a configuration it does not puncture. sent4: the hunter is a puncture. sent5: if the hunter is not a configuration then the havelock does indurate Villard but it is not a sanguinity. sent6: the locomotive touts publicity. sent7: if that the cascarilla does not spurt Polk is not incorrect then the carrageenin touts ulcer and is not a configuration. sent8: something that is a kind of a puncture is not a configuration. sent9: something does not indurate Villard if it does not puncture. ; $proof$ = 
sent8 -> int1: the hunter is not a configuration if that it does not puncture does not hold.; int1 & sent4 -> int2: the hunter is not a configuration.; int2 & sent5 -> hypothesis; __PROVED__