that there is something such that if that it is a kind of a ton and it is a periclase does not hold it is not a kind of a skinheads is not correct.
sent1: there exists something such that if the fact that it is a kind of a ton and it is a periclase does not hold then it is a kind of a skinheads. sent2: something is not expendable if the fact that it is muscular and it is aculeate is not correct. sent3: if the fact that something is a ton and a periclase is not true it is not a skinheads. sent4: there exists something such that if it is a ton and it is a kind of a periclase then it is not a skinheads. sent5: there exists something such that if it does not rustle menstruum then it does not supply. sent6: if that the Milanese is a kind of a ton and it is a kind of a periclase is not correct then it is a skinheads. sent7: if something is not a kind of a ton it is not a kind of a skinheads.
sent3 -> int1: if that the Milanese is a ton and it is a periclase is not right then it is not a skinheads.; int1 -> hypothesis;
if that the menstruum is muscular and aculeate is false it is not expendable.
sent2 -> hypothesis;
$hypothesis$ = that there is something such that if that it is a kind of a ton and it is a periclase does not hold it is not a kind of a skinheads is not correct. ; $context$ = sent1: there exists something such that if the fact that it is a kind of a ton and it is a periclase does not hold then it is a kind of a skinheads. sent2: something is not expendable if the fact that it is muscular and it is aculeate is not correct. sent3: if the fact that something is a ton and a periclase is not true it is not a skinheads. sent4: there exists something such that if it is a ton and it is a kind of a periclase then it is not a skinheads. sent5: there exists something such that if it does not rustle menstruum then it does not supply. sent6: if that the Milanese is a kind of a ton and it is a kind of a periclase is not correct then it is a skinheads. sent7: if something is not a kind of a ton it is not a kind of a skinheads. ; $proof$ = 
sent3 -> int1: if that the Milanese is a ton and it is a periclase is not right then it is not a skinheads.; int1 -> hypothesis; __DISPROVED__