the stickleback is an ultimate.
sent1: if the Fijian is glacial then the stickleback is a kind of an ultimate. sent2: a non-Jovian thing is ultimate and does not hit. sent3: the stickleback is ultimate if the Fijian is congruent. sent4: if the fact that something is both an ultimate and non-Jovian is not true that it is not an ultimate hold. sent5: if the tomalley is Jovian the fact that the Fijian does dump is true. sent6: the tomalley is not a kind of a dump if something is glacial and it is not incongruent. sent7: the tomalley is a dump or Jovian or both. sent8: if something is not a dump then that that it is styleless and it is Jovian is not false is not right. sent9: if something is not styleless it is glacial or is congruent or both. sent10: something is not styleless if the fact that it dumps is not incorrect. sent11: the automaton does yield Nuda and is not a Abudefduf. sent12: there exists something such that it yields Nuda.
sent11 -> int1: something does yield Nuda but it is not a Abudefduf.; sent10 -> int2: if the Fijian dumps then that it is not styleless is not wrong.; sent9 -> int3: the Fijian is glacial or it is congruent or both if it is not styleless.;
the stickleback is not an ultimate.
sent4 -> int4: if that the stickleback is both an ultimate and not Jovian is false it is not ultimate.;
$hypothesis$ = the stickleback is an ultimate. ; $context$ = sent1: if the Fijian is glacial then the stickleback is a kind of an ultimate. sent2: a non-Jovian thing is ultimate and does not hit. sent3: the stickleback is ultimate if the Fijian is congruent. sent4: if the fact that something is both an ultimate and non-Jovian is not true that it is not an ultimate hold. sent5: if the tomalley is Jovian the fact that the Fijian does dump is true. sent6: the tomalley is not a kind of a dump if something is glacial and it is not incongruent. sent7: the tomalley is a dump or Jovian or both. sent8: if something is not a dump then that that it is styleless and it is Jovian is not false is not right. sent9: if something is not styleless it is glacial or is congruent or both. sent10: something is not styleless if the fact that it dumps is not incorrect. sent11: the automaton does yield Nuda and is not a Abudefduf. sent12: there exists something such that it yields Nuda. ; $proof$ = 
sent11 -> int1: something does yield Nuda but it is not a Abudefduf.; sent10 -> int2: if the Fijian dumps then that it is not styleless is not wrong.; sent9 -> int3: the Fijian is glacial or it is congruent or both if it is not styleless.; __UNKNOWN__