that the bismark is not bottomless is not incorrect.
sent1: if the baas does look gorge the Wiccan does permit maraca. sent2: if something that does permit BSE does not permit maraca it does not look gorge. sent3: there exists something such that the fact that it is non-mediated thing that does look Hawthorne is not true. sent4: the bismark does not permit maraca. sent5: the baas is beneficiary. sent6: something does permit BSE if it permits maraca. sent7: that the tench does mediate but it does not look Hawthorne is incorrect. sent8: if there exists something such that the fact that it is not mediated and it does not look Hawthorne is false then the baas does look gorge. sent9: the fact that the Wiccan does not blacktop and permits cheating is false. sent10: that the tench is not mediated and it does not look Hawthorne is not true. sent11: something permits BSE and does not permit maraca if it looks gemsbok. sent12: if the Wiccan is a kind of bottomless thing that looks gemsbok it does not permit BSE.
sent10 -> int1: there exists something such that the fact that it is not mediated and does not look Hawthorne is not true.; int1 & sent8 -> int2: the baas does look gorge.; int2 & sent1 -> int3: the Wiccan does permit maraca.; sent6 -> int4: the fact that the Wiccan does permit BSE is true if it does permit maraca.; int3 & int4 -> int5: the Wiccan permits BSE.;
the fact that the tench is both not a Lyon and not a Egyptian is incorrect.
$hypothesis$ = that the bismark is not bottomless is not incorrect. ; $context$ = sent1: if the baas does look gorge the Wiccan does permit maraca. sent2: if something that does permit BSE does not permit maraca it does not look gorge. sent3: there exists something such that the fact that it is non-mediated thing that does look Hawthorne is not true. sent4: the bismark does not permit maraca. sent5: the baas is beneficiary. sent6: something does permit BSE if it permits maraca. sent7: that the tench does mediate but it does not look Hawthorne is incorrect. sent8: if there exists something such that the fact that it is not mediated and it does not look Hawthorne is false then the baas does look gorge. sent9: the fact that the Wiccan does not blacktop and permits cheating is false. sent10: that the tench is not mediated and it does not look Hawthorne is not true. sent11: something permits BSE and does not permit maraca if it looks gemsbok. sent12: if the Wiccan is a kind of bottomless thing that looks gemsbok it does not permit BSE. ; $proof$ = 
sent10 -> int1: there exists something such that the fact that it is not mediated and does not look Hawthorne is not true.; int1 & sent8 -> int2: the baas does look gorge.; int2 & sent1 -> int3: the Wiccan does permit maraca.; sent6 -> int4: the fact that the Wiccan does permit BSE is true if it does permit maraca.; int3 & int4 -> int5: the Wiccan permits BSE.; __UNKNOWN__