that there is something such that if it is not international then it is both a file and a platelayer is wrong.
sent1: if the cormorant is not a kind of a scraping it does mold Hexagrammidae and it is a platelayer. sent2: something is a platelayer if it is not international. sent3: if the menu is not international it is a platelayer. sent4: if something is not international it is a file and a platelayer.
sent4 -> int1: if the menu is non-international it is a file and a platelayer.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not international then it is both a file and a platelayer is wrong. ; $context$ = sent1: if the cormorant is not a kind of a scraping it does mold Hexagrammidae and it is a platelayer. sent2: something is a platelayer if it is not international. sent3: if the menu is not international it is a platelayer. sent4: if something is not international it is a file and a platelayer. ; $proof$ = 
sent4 -> int1: if the menu is non-international it is a file and a platelayer.; int1 -> hypothesis; __DISPROVED__