that the topgallant deposes burnup is right.
sent1: the morula is a boiling. sent2: the wordbook is a mephobarbital. sent3: the topgallant is not a kind of a westerner. sent4: that the topgallant does underquote Leuciscus is not wrong if something that is a kind of a mephobarbital is a excrescence. sent5: the topgallant is not a prodigy. sent6: the topgallant does not depose burnup if it is not a kind of a prodigy and it verbalizes. sent7: if the morula boils the wordbook is a excrescence. sent8: the topgallant verbalizes if it does underquote Leuciscus and it is not a westerner.
sent7 & sent1 -> int1: that the wordbook is a excrescence is not false.; int1 & sent2 -> int2: the wordbook is a mephobarbital and a excrescence.; int2 -> int3: there exists something such that it is a mephobarbital and is a kind of a excrescence.; int3 & sent4 -> int4: the topgallant underquotes Leuciscus.; int4 & sent3 -> int5: the topgallant underquotes Leuciscus but it is not a kind of a westerner.; int5 & sent8 -> int6: the topgallant does verbalize.; int6 & sent5 -> int7: the topgallant is not a kind of a prodigy and verbalizes.; int7 & sent6 -> hypothesis;
$hypothesis$ = that the topgallant deposes burnup is right. ; $context$ = sent1: the morula is a boiling. sent2: the wordbook is a mephobarbital. sent3: the topgallant is not a kind of a westerner. sent4: that the topgallant does underquote Leuciscus is not wrong if something that is a kind of a mephobarbital is a excrescence. sent5: the topgallant is not a prodigy. sent6: the topgallant does not depose burnup if it is not a kind of a prodigy and it verbalizes. sent7: if the morula boils the wordbook is a excrescence. sent8: the topgallant verbalizes if it does underquote Leuciscus and it is not a westerner. ; $proof$ = 
sent7 & sent1 -> int1: that the wordbook is a excrescence is not false.; int1 & sent2 -> int2: the wordbook is a mephobarbital and a excrescence.; int2 -> int3: there exists something such that it is a mephobarbital and is a kind of a excrescence.; int3 & sent4 -> int4: the topgallant underquotes Leuciscus.; int4 & sent3 -> int5: the topgallant underquotes Leuciscus but it is not a kind of a westerner.; int5 & sent8 -> int6: the topgallant does verbalize.; int6 & sent5 -> int7: the topgallant is not a kind of a prodigy and verbalizes.; int7 & sent6 -> hypothesis; __DISPROVED__