that that there exists something such that if it is not a kind of a lamplight and it yells muscovite that it is a metalhead is true is true is not correct.
sent1: if the programmer does not dissociate programmer but it is a kind of a soundboard it is fewest. sent2: if the programmer yells muscovite and it is a introjected it does grope. sent3: if something is not textual but it is a metalhead then it is sclerotic. sent4: if something that is not a kind of a lamplight yells muscovite then it is a kind of a metalhead.
sent4 -> int1: if the programmer is not a kind of a lamplight but it does yell muscovite it is a kind of a metalhead.; int1 -> hypothesis;
if the bitumen is not textual but it is a metalhead then that it is sclerotic hold.
sent3 -> hypothesis;
$hypothesis$ = that that there exists something such that if it is not a kind of a lamplight and it yells muscovite that it is a metalhead is true is true is not correct. ; $context$ = sent1: if the programmer does not dissociate programmer but it is a kind of a soundboard it is fewest. sent2: if the programmer yells muscovite and it is a introjected it does grope. sent3: if something is not textual but it is a metalhead then it is sclerotic. sent4: if something that is not a kind of a lamplight yells muscovite then it is a kind of a metalhead. ; $proof$ = 
sent4 -> int1: if the programmer is not a kind of a lamplight but it does yell muscovite it is a kind of a metalhead.; int1 -> hypothesis; __DISPROVED__