the fact that the colophony is not Jesuitical and it does not profess is incorrect.
sent1: the anesthyl is not a six if something is non-Franciscan thing that does not deactivate moderator. sent2: the anesthyl is not Jesuitical and it does not profess if the colophony is not a kind of a six. sent3: there is something such that it is not a kind of a six and it is not Jesuitical. sent4: if something is not a kind of a Franciscan but it deactivates moderator the anesthyl is not a kind of a six. sent5: the fact that the colophony is not Jesuitical and does not profess does not hold if the anesthyl is a kind of a six. sent6: something is not a six and it does not profess. sent7: there exists something such that it is not a Franciscan and it does not deactivate moderator. sent8: something does not deactivate moderator. sent9: the anesthyl does not profess. sent10: if the anesthyl is not a six then the colophony does not profess. sent11: the colophony does not profess. sent12: if the anesthyl is not a six the colophony is a kind of non-Jesuitical thing that does not profess. sent13: there is something such that it is not non-Franciscan and does not deactivate moderator.
sent7 & sent1 -> int1: the anesthyl is not a kind of a six.; sent12 & int1 -> hypothesis;
the fact that the colophony is not Jesuitical and it does not profess is incorrect.
$hypothesis$ = the fact that the colophony is not Jesuitical and it does not profess is incorrect. ; $context$ = sent1: the anesthyl is not a six if something is non-Franciscan thing that does not deactivate moderator. sent2: the anesthyl is not Jesuitical and it does not profess if the colophony is not a kind of a six. sent3: there is something such that it is not a kind of a six and it is not Jesuitical. sent4: if something is not a kind of a Franciscan but it deactivates moderator the anesthyl is not a kind of a six. sent5: the fact that the colophony is not Jesuitical and does not profess does not hold if the anesthyl is a kind of a six. sent6: something is not a six and it does not profess. sent7: there exists something such that it is not a Franciscan and it does not deactivate moderator. sent8: something does not deactivate moderator. sent9: the anesthyl does not profess. sent10: if the anesthyl is not a six then the colophony does not profess. sent11: the colophony does not profess. sent12: if the anesthyl is not a six the colophony is a kind of non-Jesuitical thing that does not profess. sent13: there is something such that it is not non-Franciscan and does not deactivate moderator. ; $proof$ = 
sent7 & sent1 -> int1: the anesthyl is not a kind of a six.; sent12 & int1 -> hypothesis; __DISPROVED__