the Tabasco is a kind of a auto-da-fe.
sent1: if something is a Hel then it is a auto-da-fe. sent2: if something is a log it is a kind of a Hel. sent3: if something is not non-runic it is both not non-suctorial and not palatoglossal. sent4: that the lake is runic is right. sent5: the fact that the Tabasco is a auto-da-fe and it is a seesaw is not correct if the practitioner does not heat way. sent6: the lake is not a kind of a counterclaim if it is suctorial but not palatoglossal. sent7: the practitioner does not heat way if the bioweapon is not a kind of a rank and/or is not a log. sent8: the bioweapon either is not a rank or is not a kind of a log or both if the extra is not a Hel. sent9: if the fact that something is a auto-da-fe and a seesaw is false it is not a kind of a auto-da-fe. sent10: if something is a chainsaw it does subside. sent11: if the Tabasco is a kind of a seesaw the practitioner is a auto-da-fe. sent12: the practitioner does seesaw and ranks if there exists something such that it does not heat way. sent13: the Tabasco logs if the practitioner ranks.
sent2 -> int1: the Tabasco is a Hel if it is a kind of a log.; sent1 -> int2: the Tabasco is a auto-da-fe if it is a Hel.;
the Tabasco is not a auto-da-fe.
sent9 -> int3: the Tabasco is not a kind of a auto-da-fe if that it is a kind of a auto-da-fe that does seesaw is not right.; sent3 -> int4: if the lake is runic then it is suctorial thing that is not palatoglossal.; int4 & sent4 -> int5: the lake is suctorial and not palatoglossal.; sent6 & int5 -> int6: the lake is not a counterclaim.;
$hypothesis$ = the Tabasco is a kind of a auto-da-fe. ; $context$ = sent1: if something is a Hel then it is a auto-da-fe. sent2: if something is a log it is a kind of a Hel. sent3: if something is not non-runic it is both not non-suctorial and not palatoglossal. sent4: that the lake is runic is right. sent5: the fact that the Tabasco is a auto-da-fe and it is a seesaw is not correct if the practitioner does not heat way. sent6: the lake is not a kind of a counterclaim if it is suctorial but not palatoglossal. sent7: the practitioner does not heat way if the bioweapon is not a kind of a rank and/or is not a log. sent8: the bioweapon either is not a rank or is not a kind of a log or both if the extra is not a Hel. sent9: if the fact that something is a auto-da-fe and a seesaw is false it is not a kind of a auto-da-fe. sent10: if something is a chainsaw it does subside. sent11: if the Tabasco is a kind of a seesaw the practitioner is a auto-da-fe. sent12: the practitioner does seesaw and ranks if there exists something such that it does not heat way. sent13: the Tabasco logs if the practitioner ranks. ; $proof$ = 
sent2 -> int1: the Tabasco is a Hel if it is a kind of a log.; sent1 -> int2: the Tabasco is a auto-da-fe if it is a Hel.; __UNKNOWN__