the concealment is not sane.
sent1: the tie is non-basilar if the Mantle does not twill cross-reference but it is a homunculus. sent2: the scythe is not a surrealist. sent3: if either something is not a homunculus or it twills concealment or both then the concealment is not sane. sent4: the tie does not slant. sent5: something is not a kind of a homunculus and/or it does twill concealment if that it does not twill cross-reference is not wrong. sent6: that the tie does update Boccaccio or it slants or both is incorrect. sent7: the fact that the concealment does not meld is right. sent8: that the Mantle is not basilar but it does encapsulate Hohhot is not correct if the tie does not guzzle. sent9: if that the Mantle is a kind of non-basilar thing that encapsulates Hohhot is false the scythe does not twill cross-reference. sent10: the fact that something does not encapsulate Hohhot or it does not guzzle or both is wrong if the fact that it is not basilar is not wrong. sent11: the fact that something does not update Boccaccio and/or it is a homunculus if it does not twill concealment is correct. sent12: the Mantle updates Boccaccio and/or it is basilar.
sent5 -> int1: the scythe is not a homunculus and/or it twills concealment if it does not twill cross-reference.;
the concealment is sane.
sent10 -> int2: that either the tie does not encapsulate Hohhot or it does not guzzle or both is not right if it is not basilar.;
$hypothesis$ = the concealment is not sane. ; $context$ = sent1: the tie is non-basilar if the Mantle does not twill cross-reference but it is a homunculus. sent2: the scythe is not a surrealist. sent3: if either something is not a homunculus or it twills concealment or both then the concealment is not sane. sent4: the tie does not slant. sent5: something is not a kind of a homunculus and/or it does twill concealment if that it does not twill cross-reference is not wrong. sent6: that the tie does update Boccaccio or it slants or both is incorrect. sent7: the fact that the concealment does not meld is right. sent8: that the Mantle is not basilar but it does encapsulate Hohhot is not correct if the tie does not guzzle. sent9: if that the Mantle is a kind of non-basilar thing that encapsulates Hohhot is false the scythe does not twill cross-reference. sent10: the fact that something does not encapsulate Hohhot or it does not guzzle or both is wrong if the fact that it is not basilar is not wrong. sent11: the fact that something does not update Boccaccio and/or it is a homunculus if it does not twill concealment is correct. sent12: the Mantle updates Boccaccio and/or it is basilar. ; $proof$ = 
sent5 -> int1: the scythe is not a homunculus and/or it twills concealment if it does not twill cross-reference.; __UNKNOWN__