that there is something such that if that it is not a Anglesey and it is not gonadotropic is false then that it does send harem is not incorrect is not true.
sent1: if something is both not a Anglesey and not gonadotropic it sends harem. sent2: if the isoagglutinogen is a Anglesey it does send harem. sent3: something sends harem if the fact that it is not a Anglesey and is not gonadotropic is incorrect. sent4: there is something such that if it is not a kind of a Anglesey and is not gonadotropic then it does send harem.
sent3 -> int1: the isoagglutinogen sends harem if that it is not a Anglesey and it is not gonadotropic is not true.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if that it is not a Anglesey and it is not gonadotropic is false then that it does send harem is not incorrect is not true. ; $context$ = sent1: if something is both not a Anglesey and not gonadotropic it sends harem. sent2: if the isoagglutinogen is a Anglesey it does send harem. sent3: something sends harem if the fact that it is not a Anglesey and is not gonadotropic is incorrect. sent4: there is something such that if it is not a kind of a Anglesey and is not gonadotropic then it does send harem. ; $proof$ = 
sent3 -> int1: the isoagglutinogen sends harem if that it is not a Anglesey and it is not gonadotropic is not true.; int1 -> hypothesis; __DISPROVED__