the fact that the sangapenum does variegate picket and/or it is a snooker does not hold.
sent1: the Glycine does snooker. sent2: the Glycine disobliges Baikal. sent3: if the Glycine is Shona then the sangapenum is a snooker. sent4: the fact that the Glycine is a Shona is not false.
sent3 & sent4 -> int1: the fact that the sangapenum is a kind of a snooker hold.; int1 -> hypothesis;
$hypothesis$ = the fact that the sangapenum does variegate picket and/or it is a snooker does not hold. ; $context$ = sent1: the Glycine does snooker. sent2: the Glycine disobliges Baikal. sent3: if the Glycine is Shona then the sangapenum is a snooker. sent4: the fact that the Glycine is a Shona is not false. ; $proof$ = 
sent3 & sent4 -> int1: the fact that the sangapenum is a kind of a snooker hold.; int1 -> hypothesis; __DISPROVED__