the fact that there is something such that if it is a squirrel it is permissive is wrong.
sent1: there is something such that if it is a meatloaf it is a kind of a Cocytus. sent2: the wet-nurse is permissive if it is a squirrel. sent3: if something is permissive then it is etymological.
sent2 -> hypothesis;
the factory is not non-etymological if it is permissive.
sent3 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a squirrel it is permissive is wrong. ; $context$ = sent1: there is something such that if it is a meatloaf it is a kind of a Cocytus. sent2: the wet-nurse is permissive if it is a squirrel. sent3: if something is permissive then it is etymological. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__