the fact that there is something such that if the fact that it is both not non-allophonic and not enteric does not hold it is a blot is not true.
sent1: the icecap is peptic if it is enteric. sent2: if the fact that the phenolphthalein does direct and does not flesh comforts does not hold it is enteric. sent3: if the fact that the fact that something does chock monolith and is not postglacial is true is not true then it does mythologize shaker. sent4: there exists something such that if it is not a cryophobia it mythologizes melatonin. sent5: something does blot if it is allophonic and it is not enteric. sent6: there is something such that if it is not a patronymic then it does muff. sent7: if the fact that something is allophonic but it is not enteric is incorrect then it is a blot. sent8: there is something such that if that it is allophonic and it is enteric is wrong then it blots. sent9: there exists something such that if it is allophonic and it is not enteric then it is a kind of a blot. sent10: if the icecap is a defeat then it is a shoveler.
sent7 -> int1: the icecap is a blot if the fact that it is allophonic and not enteric does not hold.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is both not non-allophonic and not enteric does not hold it is a blot is not true. ; $context$ = sent1: the icecap is peptic if it is enteric. sent2: if the fact that the phenolphthalein does direct and does not flesh comforts does not hold it is enteric. sent3: if the fact that the fact that something does chock monolith and is not postglacial is true is not true then it does mythologize shaker. sent4: there exists something such that if it is not a cryophobia it mythologizes melatonin. sent5: something does blot if it is allophonic and it is not enteric. sent6: there is something such that if it is not a patronymic then it does muff. sent7: if the fact that something is allophonic but it is not enteric is incorrect then it is a blot. sent8: there is something such that if that it is allophonic and it is enteric is wrong then it blots. sent9: there exists something such that if it is allophonic and it is not enteric then it is a kind of a blot. sent10: if the icecap is a defeat then it is a shoveler. ; $proof$ = 
sent7 -> int1: the icecap is a blot if the fact that it is allophonic and not enteric does not hold.; int1 -> hypothesis; __DISPROVED__