the fact that there exists something such that if that it is not impure and is not a hyssop is not right it does body does not hold.
sent1: the hypnotist does body if it is non-impure thing that is not a kind of a hyssop. sent2: that the hypnotist is a bodied is not incorrect if it is impure. sent3: there is something such that if the fact that it is both not impure and a hyssop is not right then it is a kind of a bodied. sent4: the hypnotist does body if the fact that it is not impure and it is not a hyssop does not hold. sent5: if the fact that the hypnotist is not impure but it is a hyssop is not true then it does body. sent6: there is something such that if it is not impure and it is not a hyssop then it does body. sent7: that there is something such that if it is impure it does body hold. sent8: the hypnotist does graze if that it does not body and it is not a ex-president is incorrect. sent9: there is something such that if the fact that it is impure thing that is not a kind of a hyssop is not true it bodies. sent10: there is something such that if the fact that it is non-flat thing that does not nail salal is incorrect it is a kind of a sick. sent11: if that something is not a kind of a HUD and is not barographic is incorrect the fact that it is gallinaceous is right. sent12: there is something such that if it is a hyssop then it is a bodied. sent13: there exists something such that if that it does not nail subjectivity and is not Rousseauan is false it nails warhorse.
sent4 -> hypothesis;
there exists something such that if that it is both not a HUD and not barographic is false then it is gallinaceous.
sent11 -> int1: if that the warhorse is not a HUD and is not barographic does not hold then it is gallinaceous.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is not impure and is not a hyssop is not right it does body does not hold. ; $context$ = sent1: the hypnotist does body if it is non-impure thing that is not a kind of a hyssop. sent2: that the hypnotist is a bodied is not incorrect if it is impure. sent3: there is something such that if the fact that it is both not impure and a hyssop is not right then it is a kind of a bodied. sent4: the hypnotist does body if the fact that it is not impure and it is not a hyssop does not hold. sent5: if the fact that the hypnotist is not impure but it is a hyssop is not true then it does body. sent6: there is something such that if it is not impure and it is not a hyssop then it does body. sent7: that there is something such that if it is impure it does body hold. sent8: the hypnotist does graze if that it does not body and it is not a ex-president is incorrect. sent9: there is something such that if the fact that it is impure thing that is not a kind of a hyssop is not true it bodies. sent10: there is something such that if the fact that it is non-flat thing that does not nail salal is incorrect it is a kind of a sick. sent11: if that something is not a kind of a HUD and is not barographic is incorrect the fact that it is gallinaceous is right. sent12: there is something such that if it is a hyssop then it is a bodied. sent13: there exists something such that if that it does not nail subjectivity and is not Rousseauan is false it nails warhorse. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__