the porkchop does not mingle Bhadon.
sent1: the spokeshave is a Utopianism if it tarnishes antiperspirant. sent2: if the fact that the SOD is a kind of a baddeleyite is right then the porkchop mingles Bhadon. sent3: the deadhead is a Utopianism and it is Bismarckian. sent4: the SOD is a baddeleyite if it does flap. sent5: the SOD does flap if the deadhead is a kind of a Utopianism. sent6: if the deadhead does flap that the SOD is Bismarckian is not wrong. sent7: the porkchop is a baddeleyite. sent8: the deadhead is Bismarckian. sent9: the porkchop is a flap.
sent3 -> int1: the deadhead is a kind of a Utopianism.; int1 & sent5 -> int2: the SOD does flap.; int2 & sent4 -> int3: the SOD is a baddeleyite.; int3 & sent2 -> hypothesis;
$hypothesis$ = the porkchop does not mingle Bhadon. ; $context$ = sent1: the spokeshave is a Utopianism if it tarnishes antiperspirant. sent2: if the fact that the SOD is a kind of a baddeleyite is right then the porkchop mingles Bhadon. sent3: the deadhead is a Utopianism and it is Bismarckian. sent4: the SOD is a baddeleyite if it does flap. sent5: the SOD does flap if the deadhead is a kind of a Utopianism. sent6: if the deadhead does flap that the SOD is Bismarckian is not wrong. sent7: the porkchop is a baddeleyite. sent8: the deadhead is Bismarckian. sent9: the porkchop is a flap. ; $proof$ = 
sent3 -> int1: the deadhead is a kind of a Utopianism.; int1 & sent5 -> int2: the SOD does flap.; int2 & sent4 -> int3: the SOD is a baddeleyite.; int3 & sent2 -> hypothesis; __DISPROVED__