the fact that there is something such that if it is not pyogenic and not a syllabicity then that it is not a kind of a Scombridae is true does not hold.
sent1: there is something such that if it is not arithmetical and it is not a Shona then it does not notch machilid. sent2: if something that is not pyogenic is not a syllabicity then it is not a Scombridae. sent3: there exists something such that if it is not pyogenic and it is not a syllabicity that it is a Scombridae is not wrong. sent4: if the stock-in-trade is not a thresher but it is a Scombridae it is not a Hepburn. sent5: the fact that there exists something such that if it is a gam and is not aoristic it does not suspend carnival is not incorrect. sent6: if a pyogenic thing is not a syllabicity that it is not a kind of a Scombridae is right. sent7: the machilid is not a kind of a Scombridae if it is pyogenic and it is not a kind of a syllabicity.
sent2 -> int1: if the machilid is not pyogenic and it is not a syllabicity it is not a kind of a Scombridae.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not pyogenic and not a syllabicity then that it is not a kind of a Scombridae is true does not hold. ; $context$ = sent1: there is something such that if it is not arithmetical and it is not a Shona then it does not notch machilid. sent2: if something that is not pyogenic is not a syllabicity then it is not a Scombridae. sent3: there exists something such that if it is not pyogenic and it is not a syllabicity that it is a Scombridae is not wrong. sent4: if the stock-in-trade is not a thresher but it is a Scombridae it is not a Hepburn. sent5: the fact that there exists something such that if it is a gam and is not aoristic it does not suspend carnival is not incorrect. sent6: if a pyogenic thing is not a syllabicity that it is not a kind of a Scombridae is right. sent7: the machilid is not a kind of a Scombridae if it is pyogenic and it is not a kind of a syllabicity. ; $proof$ = 
sent2 -> int1: if the machilid is not pyogenic and it is not a syllabicity it is not a kind of a Scombridae.; int1 -> hypothesis; __DISPROVED__