the selection is not gubernatorial.
sent1: if the toadstool is a versification then that the irregular is both not a versification and a Boleyn is wrong. sent2: if the allotropy grapples the toadstool is a versification. sent3: the selection is gubernatorial if the fact that the irregular is not a versification but a Boleyn is incorrect. sent4: that the allotropy grapples hold. sent5: the fact that the selection is gubernatorial a versification is incorrect.
sent2 & sent4 -> int1: the toadstool is a versification.; int1 & sent1 -> int2: the fact that the irregular is not a kind of a versification and is a Boleyn is not right.; int2 & sent3 -> hypothesis;
$hypothesis$ = the selection is not gubernatorial. ; $context$ = sent1: if the toadstool is a versification then that the irregular is both not a versification and a Boleyn is wrong. sent2: if the allotropy grapples the toadstool is a versification. sent3: the selection is gubernatorial if the fact that the irregular is not a versification but a Boleyn is incorrect. sent4: that the allotropy grapples hold. sent5: the fact that the selection is gubernatorial a versification is incorrect. ; $proof$ = 
sent2 & sent4 -> int1: the toadstool is a versification.; int1 & sent1 -> int2: the fact that the irregular is not a kind of a versification and is a Boleyn is not right.; int2 & sent3 -> hypothesis; __DISPROVED__