the emigrant is a kind of a Verdandi.
sent1: the pinole is not a Rhincodon if there is something such that that it is eukaryotic and it is not a Verdandi is not right. sent2: that the acanthopterygian is a kind of catoptric thing that does not investigate contingency is not correct. sent3: that the pinole is not eukaryotic is not incorrect if there is something such that that it is not Russian and not a dalasi is not true. sent4: if something is a Russian that it is eukaryotic and it is not a Verdandi is not true. sent5: there is something such that the fact that that it is both not a Russian and not a dalasi hold is not true. sent6: something sparkles oxygenase and/or it is a kind of a Bergson if it is not eukaryotic. sent7: the emigrant is not a Verdandi if there exists something such that either it does sparkle oxygenase or it is a Bergson or both. sent8: if something is not catoptric then it is a Russian and is a dalasi.
sent6 -> int1: if the pinole is not eukaryotic then it sparkles oxygenase or it is a Bergson or both.; sent5 & sent3 -> int2: the pinole is not eukaryotic.; int1 & int2 -> int3: the pinole does sparkle oxygenase and/or it is a Bergson.; int3 -> int4: something either does sparkle oxygenase or is a Bergson or both.; int4 & sent7 -> hypothesis;
the pinole is not a Rhincodon.
sent4 -> int5: if the emigrant is Russian then the fact that it is eukaryotic and it is not a Verdandi is wrong.; sent8 -> int6: if the emigrant is not catoptric then it is both a Russian and a dalasi.; sent2 -> int7: there is something such that that it is catoptric and it does not investigate contingency is false.;
$hypothesis$ = the emigrant is a kind of a Verdandi. ; $context$ = sent1: the pinole is not a Rhincodon if there is something such that that it is eukaryotic and it is not a Verdandi is not right. sent2: that the acanthopterygian is a kind of catoptric thing that does not investigate contingency is not correct. sent3: that the pinole is not eukaryotic is not incorrect if there is something such that that it is not Russian and not a dalasi is not true. sent4: if something is a Russian that it is eukaryotic and it is not a Verdandi is not true. sent5: there is something such that the fact that that it is both not a Russian and not a dalasi hold is not true. sent6: something sparkles oxygenase and/or it is a kind of a Bergson if it is not eukaryotic. sent7: the emigrant is not a Verdandi if there exists something such that either it does sparkle oxygenase or it is a Bergson or both. sent8: if something is not catoptric then it is a Russian and is a dalasi. ; $proof$ = 
sent6 -> int1: if the pinole is not eukaryotic then it sparkles oxygenase or it is a Bergson or both.; sent5 & sent3 -> int2: the pinole is not eukaryotic.; int1 & int2 -> int3: the pinole does sparkle oxygenase and/or it is a Bergson.; int3 -> int4: something either does sparkle oxygenase or is a Bergson or both.; int4 & sent7 -> hypothesis; __DISPROVED__