the sickbay is not bottomed.
sent1: if something is not bottomless that it is a disturber and it is a Ariidae is not true. sent2: if there is something such that that it is a kind of a disturber and it is a Ariidae is wrong the sickbay is not a kind of a Ariidae. sent3: if there is something such that that it is not a kind of a Ariidae and it is not a kind of a enjoyer is false the sickbay is not bottomless. sent4: the fact that the daybook is not a kind of a Ariidae and is not a enjoyer does not hold.
sent4 -> int1: there exists something such that that it is not a Ariidae and it is not a enjoyer does not hold.; int1 & sent3 -> hypothesis;
the sickbay is not a Ariidae.
sent1 -> int2: if the chromate is not bottomless then that it is a disturber and it is a Ariidae does not hold.;
$hypothesis$ = the sickbay is not bottomed. ; $context$ = sent1: if something is not bottomless that it is a disturber and it is a Ariidae is not true. sent2: if there is something such that that it is a kind of a disturber and it is a Ariidae is wrong the sickbay is not a kind of a Ariidae. sent3: if there is something such that that it is not a kind of a Ariidae and it is not a kind of a enjoyer is false the sickbay is not bottomless. sent4: the fact that the daybook is not a kind of a Ariidae and is not a enjoyer does not hold. ; $proof$ = 
sent4 -> int1: there exists something such that that it is not a Ariidae and it is not a enjoyer does not hold.; int1 & sent3 -> hypothesis; __DISPROVED__