the canteen is a heterosexual and it is a Cannaceae.
sent1: the fact that the canteen is a kind of heterosexual thing that is a kind of a Cannaceae is not true if the eft is not magisterial. sent2: the canteen is not a bilge. sent3: the captive is magisterial if the fact that the eft is not a rampion and is not a kind of a exercycle is false. sent4: that the eft is not a rampion and it is not a exercycle is not true. sent5: the fact that something is a bilge is correct if that it is not tribal is not incorrect. sent6: the canteen is a kind of a Cannaceae. sent7: if that the captive is not a mortgagee and is not tribal does not hold the eft is not magisterial. sent8: the canteen is not tribal if it is not magisterial and it is not a kind of a heterosexual.
sent3 & sent4 -> int1: the captive is magisterial.; void -> assump1: Let's assume that the canteen is not a kind of a heterosexual.; sent5 -> int2: the canteen is a bilge if it is not tribal.;
that the canteen is a heterosexual that is a Cannaceae is incorrect.
$hypothesis$ = the canteen is a heterosexual and it is a Cannaceae. ; $context$ = sent1: the fact that the canteen is a kind of heterosexual thing that is a kind of a Cannaceae is not true if the eft is not magisterial. sent2: the canteen is not a bilge. sent3: the captive is magisterial if the fact that the eft is not a rampion and is not a kind of a exercycle is false. sent4: that the eft is not a rampion and it is not a exercycle is not true. sent5: the fact that something is a bilge is correct if that it is not tribal is not incorrect. sent6: the canteen is a kind of a Cannaceae. sent7: if that the captive is not a mortgagee and is not tribal does not hold the eft is not magisterial. sent8: the canteen is not tribal if it is not magisterial and it is not a kind of a heterosexual. ; $proof$ = 
sent3 & sent4 -> int1: the captive is magisterial.; void -> assump1: Let's assume that the canteen is not a kind of a heterosexual.; sent5 -> int2: the canteen is a bilge if it is not tribal.; __UNKNOWN__