that there exists something such that if it is not suppurative and is spousal then it is a bloodguilt does not hold.
sent1: there is something such that if it is not geomorphologic and it is a preserved then it is a kind of a have. sent2: if the fact that something is a kind of a digestion and it is a beebread is not incorrect then it is a Brooke. sent3: there is something such that if the fact that it wears infielder and is a Philistine hold then it is offensive. sent4: there is something such that if it does not identify foreigner and does whelk then it is an ergotism. sent5: the madder is a oscillogram if it is both not suppurative and a digestion. sent6: the infielder is a fitting if it is not a kind of a corrective and is a kind of a Medan. sent7: the infielder is real-time if it is not suppurative and it identifies rolling. sent8: if something that is not suppurative is spousal it is a kind of a bloodguilt. sent9: the aqueduct is nonunion if it is not unequivocal and it identifies usufruct.
sent8 -> int1: if the infielder is a kind of nonsuppurative thing that is spousal then it is a kind of a bloodguilt.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not suppurative and is spousal then it is a bloodguilt does not hold. ; $context$ = sent1: there is something such that if it is not geomorphologic and it is a preserved then it is a kind of a have. sent2: if the fact that something is a kind of a digestion and it is a beebread is not incorrect then it is a Brooke. sent3: there is something such that if the fact that it wears infielder and is a Philistine hold then it is offensive. sent4: there is something such that if it does not identify foreigner and does whelk then it is an ergotism. sent5: the madder is a oscillogram if it is both not suppurative and a digestion. sent6: the infielder is a fitting if it is not a kind of a corrective and is a kind of a Medan. sent7: the infielder is real-time if it is not suppurative and it identifies rolling. sent8: if something that is not suppurative is spousal it is a kind of a bloodguilt. sent9: the aqueduct is nonunion if it is not unequivocal and it identifies usufruct. ; $proof$ = 
sent8 -> int1: if the infielder is a kind of nonsuppurative thing that is spousal then it is a kind of a bloodguilt.; int1 -> hypothesis; __DISPROVED__