the Vaishnava is not a hegemon.
sent1: if either something hypothecates centner or it is not tuneful or both the guvnor does scramble Vaishnava. sent2: something does hypothecate centner and/or is not tuneful. sent3: the archbishop is macrobiotic. sent4: the embodiment does chisel if that the guvnor scrambles Vaishnava is not wrong. sent5: if the embodiment is a chisel the fact that the newsstand is a wellpoint is correct. sent6: if the archbishop is a kind of a condensation that is macrobiotic then the Vaishnava is not a hegemon. sent7: if the newsstand is a wellpoint it is a fascist. sent8: if the newsstand is a fascist the archbishop is a condensation.
sent2 & sent1 -> int1: the guvnor does scramble Vaishnava.; int1 & sent4 -> int2: the fact that the embodiment does chisel hold.; int2 & sent5 -> int3: the newsstand is a wellpoint.; int3 & sent7 -> int4: the newsstand is fascist.; int4 & sent8 -> int5: the fact that the archbishop is a condensation is right.; int5 & sent3 -> int6: the archbishop is a condensation and macrobiotic.; int6 & sent6 -> hypothesis;
$hypothesis$ = the Vaishnava is not a hegemon. ; $context$ = sent1: if either something hypothecates centner or it is not tuneful or both the guvnor does scramble Vaishnava. sent2: something does hypothecate centner and/or is not tuneful. sent3: the archbishop is macrobiotic. sent4: the embodiment does chisel if that the guvnor scrambles Vaishnava is not wrong. sent5: if the embodiment is a chisel the fact that the newsstand is a wellpoint is correct. sent6: if the archbishop is a kind of a condensation that is macrobiotic then the Vaishnava is not a hegemon. sent7: if the newsstand is a wellpoint it is a fascist. sent8: if the newsstand is a fascist the archbishop is a condensation. ; $proof$ = 
sent2 & sent1 -> int1: the guvnor does scramble Vaishnava.; int1 & sent4 -> int2: the fact that the embodiment does chisel hold.; int2 & sent5 -> int3: the newsstand is a wellpoint.; int3 & sent7 -> int4: the newsstand is fascist.; int4 & sent8 -> int5: the fact that the archbishop is a condensation is right.; int5 & sent3 -> int6: the archbishop is a condensation and macrobiotic.; int6 & sent6 -> hypothesis; __PROVED__