the fact that there exists something such that if the fact that it does synthesize irruption is correct it is not a kind of a nectary and it is not illegible is not true.
sent1: there is something such that if the fact that it does style panache is not wrong that it does mellow baobab and it bums hold. sent2: if something is neuroglial it is a tread-softly and it does mellow traditionalist. sent3: if the bible is an emigrant it is printable and it is Nestorian. sent4: something is not a nectary but it is legible if it synthesizes irruption. sent5: the perchloride is not a Eddy but it is a kind of a nectary if it is a stairhead. sent6: something is an emigrant if the fact that it does mellow Ibert is true. sent7: if the perchloride is a longroot then it is both a Amaethon and legible. sent8: if something does synthesize irruption then it is not a nectary. sent9: something is a Glareolidae that is a kind of a consolidation if it is unlucky. sent10: the perchloride synthesizes irruption and does style Dewar if it is a Eddy. sent11: there is something such that if it is competent then it is a scoop. sent12: if the myxosporidian is a galactagogue it does not encounter and it is a nectary. sent13: the fact that the perchloride does not style interphone and is a kind of a blasphemy hold if it is an atonement.
sent4 -> int1: the perchloride is not a nectary and is legible if it does synthesize irruption.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does synthesize irruption is correct it is not a kind of a nectary and it is not illegible is not true. ; $context$ = sent1: there is something such that if the fact that it does style panache is not wrong that it does mellow baobab and it bums hold. sent2: if something is neuroglial it is a tread-softly and it does mellow traditionalist. sent3: if the bible is an emigrant it is printable and it is Nestorian. sent4: something is not a nectary but it is legible if it synthesizes irruption. sent5: the perchloride is not a Eddy but it is a kind of a nectary if it is a stairhead. sent6: something is an emigrant if the fact that it does mellow Ibert is true. sent7: if the perchloride is a longroot then it is both a Amaethon and legible. sent8: if something does synthesize irruption then it is not a nectary. sent9: something is a Glareolidae that is a kind of a consolidation if it is unlucky. sent10: the perchloride synthesizes irruption and does style Dewar if it is a Eddy. sent11: there is something such that if it is competent then it is a scoop. sent12: if the myxosporidian is a galactagogue it does not encounter and it is a nectary. sent13: the fact that the perchloride does not style interphone and is a kind of a blasphemy hold if it is an atonement. ; $proof$ = 
sent4 -> int1: the perchloride is not a nectary and is legible if it does synthesize irruption.; int1 -> hypothesis; __DISPROVED__