the jig is interoceptive.
sent1: if the jig is not a kind of a bookend it is interoceptive. sent2: the durian is not a bookend if it is non-masochistic thing that is not Slovakian. sent3: the durian is not masochistic and not Slovakian. sent4: that the jig is a kind of a bookend and does not jazz jig is false if the durian is not a kind of a bookend. sent5: if the jig does jazz distiller it is not a kind of a bookend and it jazzes jig.
sent2 & sent3 -> int1: the durian is not a kind of a bookend.; int1 & sent4 -> int2: the fact that the jig is a kind of a bookend that does not jazz jig is not true.;
the jig is not interoceptive.
$hypothesis$ = the jig is interoceptive. ; $context$ = sent1: if the jig is not a kind of a bookend it is interoceptive. sent2: the durian is not a bookend if it is non-masochistic thing that is not Slovakian. sent3: the durian is not masochistic and not Slovakian. sent4: that the jig is a kind of a bookend and does not jazz jig is false if the durian is not a kind of a bookend. sent5: if the jig does jazz distiller it is not a kind of a bookend and it jazzes jig. ; $proof$ = 
sent2 & sent3 -> int1: the durian is not a kind of a bookend.; int1 & sent4 -> int2: the fact that the jig is a kind of a bookend that does not jazz jig is not true.; __UNKNOWN__