the fact that the Whig is not a ovolo and applies does not hold.
sent1: if the peccary is not nomothetic then the bicarbonate does ding ketose and deserts. sent2: the Whig is not a ovolo and applies if the Pepto-bismal is not a kind of a ovolo. sent3: if something does not ding calyx but it is vehicular then the peccary is not nomothetic. sent4: the foothold dings secessionism if the bicarbonate does desert. sent5: there exists something such that it does not ding calyx and it is vehicular. sent6: the Pepto-bismal is not a ovolo if there is something such that it dings secessionism and/or does ding walkabout.
sent5 & sent3 -> int1: the peccary is non-nomothetic.; int1 & sent1 -> int2: the bicarbonate does ding ketose and does desert.; int2 -> int3: that the bicarbonate does desert is true.; int3 & sent4 -> int4: the foothold does ding secessionism.; int4 -> int5: the foothold dings secessionism and/or it does ding walkabout.; int5 -> int6: something does ding secessionism and/or it does ding walkabout.; int6 & sent6 -> int7: the Pepto-bismal is not a ovolo.; int7 & sent2 -> hypothesis;
$hypothesis$ = the fact that the Whig is not a ovolo and applies does not hold. ; $context$ = sent1: if the peccary is not nomothetic then the bicarbonate does ding ketose and deserts. sent2: the Whig is not a ovolo and applies if the Pepto-bismal is not a kind of a ovolo. sent3: if something does not ding calyx but it is vehicular then the peccary is not nomothetic. sent4: the foothold dings secessionism if the bicarbonate does desert. sent5: there exists something such that it does not ding calyx and it is vehicular. sent6: the Pepto-bismal is not a ovolo if there is something such that it dings secessionism and/or does ding walkabout. ; $proof$ = 
sent5 & sent3 -> int1: the peccary is non-nomothetic.; int1 & sent1 -> int2: the bicarbonate does ding ketose and does desert.; int2 -> int3: that the bicarbonate does desert is true.; int3 & sent4 -> int4: the foothold does ding secessionism.; int4 -> int5: the foothold dings secessionism and/or it does ding walkabout.; int5 -> int6: something does ding secessionism and/or it does ding walkabout.; int6 & sent6 -> int7: the Pepto-bismal is not a ovolo.; int7 & sent2 -> hypothesis; __DISPROVED__