the major-general is not burlesque.
sent1: if the mocha is a kind of non-pompous thing that is not a Tunisian the major-general is not a burlesque. sent2: if the mocha is bicapsular and it does wean aerator it is not a Tunisian. sent3: the mocha does wean aerator. sent4: the twistwood does not predict if it is a Heracleum and is a Spyeria. sent5: the twistwood is a Heracleum and it is a kind of a Spyeria. sent6: The aerator does wean mocha. sent7: everything is both not pompous and not monophonic. sent8: if there exists something such that that it is a Sigurd and thromboses Mach is not correct the fact that the mocha is bicapsular is right.
sent4 & sent5 -> int1: the twistwood does not predict.; sent7 -> int2: the mocha is a kind of non-pompous thing that is not monophonic.; int2 -> int3: the mocha is not pompous.;
$hypothesis$ = the major-general is not burlesque. ; $context$ = sent1: if the mocha is a kind of non-pompous thing that is not a Tunisian the major-general is not a burlesque. sent2: if the mocha is bicapsular and it does wean aerator it is not a Tunisian. sent3: the mocha does wean aerator. sent4: the twistwood does not predict if it is a Heracleum and is a Spyeria. sent5: the twistwood is a Heracleum and it is a kind of a Spyeria. sent6: The aerator does wean mocha. sent7: everything is both not pompous and not monophonic. sent8: if there exists something such that that it is a Sigurd and thromboses Mach is not correct the fact that the mocha is bicapsular is right. ; $proof$ = 
sent4 & sent5 -> int1: the twistwood does not predict.; sent7 -> int2: the mocha is a kind of non-pompous thing that is not monophonic.; int2 -> int3: the mocha is not pompous.; __UNKNOWN__