that the bacchant is a Calliope but it does not recline springboard is not true.
sent1: if the hollygrape does not fish hollygrape it is a Salvadoran and it is impersonal. sent2: if something does not fish hollygrape then it is a Calliope and does not recline springboard. sent3: the fact that the hollygrape is not a tail and does recline Nostradamus is not right if it is non-Cuban. sent4: the selvage is not disobedient. sent5: the hollygrape is a Salvadoran. sent6: the bacchant does recline Nostradamus if it does not ensconce treelet and is disobedient. sent7: if the hollygrape tails then the selvage is disobedient. sent8: if something is not a Cuban then it does not fish hollygrape. sent9: if the fact that the hollygrape is not a tail but it does recline Nostradamus is not true then that the selvage is disobedient is true. sent10: if there is something such that it fishes hollygrape then that the bacchant is a Calliope but it does not recline springboard does not hold. sent11: if that the hollygrape is a Cuban and it does recline Nostradamus is incorrect the adolescent does not recline Nostradamus. sent12: the fact that something is not disobedient and it is not a tail is incorrect if the fact that it is a kind of a Calliope is true. sent13: the hollygrape is Salvadoran if it does not fish hollygrape.
void -> assump1: Let's assume that the hollygrape does not fish hollygrape.; sent1 & assump1 -> int1: the hollygrape is Salvadoran thing that is impersonal.; int1 -> int2: the hollygrape is impersonal.;
the adolescent does not recline Nostradamus.
sent12 -> int3: that the bacchant is not disobedient and not a tail is not right if it is a Calliope.;
$hypothesis$ = that the bacchant is a Calliope but it does not recline springboard is not true. ; $context$ = sent1: if the hollygrape does not fish hollygrape it is a Salvadoran and it is impersonal. sent2: if something does not fish hollygrape then it is a Calliope and does not recline springboard. sent3: the fact that the hollygrape is not a tail and does recline Nostradamus is not right if it is non-Cuban. sent4: the selvage is not disobedient. sent5: the hollygrape is a Salvadoran. sent6: the bacchant does recline Nostradamus if it does not ensconce treelet and is disobedient. sent7: if the hollygrape tails then the selvage is disobedient. sent8: if something is not a Cuban then it does not fish hollygrape. sent9: if the fact that the hollygrape is not a tail but it does recline Nostradamus is not true then that the selvage is disobedient is true. sent10: if there is something such that it fishes hollygrape then that the bacchant is a Calliope but it does not recline springboard does not hold. sent11: if that the hollygrape is a Cuban and it does recline Nostradamus is incorrect the adolescent does not recline Nostradamus. sent12: the fact that something is not disobedient and it is not a tail is incorrect if the fact that it is a kind of a Calliope is true. sent13: the hollygrape is Salvadoran if it does not fish hollygrape. ; $proof$ = 
void -> assump1: Let's assume that the hollygrape does not fish hollygrape.; sent1 & assump1 -> int1: the hollygrape is Salvadoran thing that is impersonal.; int1 -> int2: the hollygrape is impersonal.; __UNKNOWN__