the fact that something is a kind of an eye that congratulates Dactylopteridae is incorrect.
sent1: there is something such that it congratulates Dactylopteridae. sent2: something is a kind of a Microdesmidae but it is not a Sacco. sent3: the parcel does not page suslik but it is an eye. sent4: if there is something such that it is a kind of a Microdesmidae and it is a Sacco then the parcel congratulates Dactylopteridae. sent5: the parcel does not page suslik. sent6: if something is a kind of a Microdesmidae that is not a kind of a Sacco then the parcel congratulates Dactylopteridae. sent7: something is not a Sacco.
sent2 & sent6 -> int1: the parcel does congratulate Dactylopteridae.; sent3 -> int2: the parcel does eye.; int1 & int2 -> int3: the parcel eyes and congratulates Dactylopteridae.; int3 -> hypothesis;
$hypothesis$ = the fact that something is a kind of an eye that congratulates Dactylopteridae is incorrect. ; $context$ = sent1: there is something such that it congratulates Dactylopteridae. sent2: something is a kind of a Microdesmidae but it is not a Sacco. sent3: the parcel does not page suslik but it is an eye. sent4: if there is something such that it is a kind of a Microdesmidae and it is a Sacco then the parcel congratulates Dactylopteridae. sent5: the parcel does not page suslik. sent6: if something is a kind of a Microdesmidae that is not a kind of a Sacco then the parcel congratulates Dactylopteridae. sent7: something is not a Sacco. ; $proof$ = 
sent2 & sent6 -> int1: the parcel does congratulate Dactylopteridae.; sent3 -> int2: the parcel does eye.; int1 & int2 -> int3: the parcel eyes and congratulates Dactylopteridae.; int3 -> hypothesis; __DISPROVED__