that either the Canella-alba does trundle or it is a kind of a Ashurbanipal or both is wrong.
sent1: the parsnip trundles. sent2: the Canella-alba is a Ashurbanipal. sent3: the fact that something drowses defacement and does not spoof brad does not hold if it is a bareboat. sent4: if there is something such that the fact that it drowses defacement and does not spoof brad does not hold the Canella-alba is not a linecut. sent5: if the Canella-alba is not a kind of a trundle it frosts or is a Ashurbanipal or both. sent6: the Canella-alba does rear. sent7: if the nonresident does not spoof brad then it is a kind of a linecut and it does not drowse defacement.
sent2 -> hypothesis;
the fact that the Canella-alba trundles and/or is a Ashurbanipal is false.
sent3 -> int1: if the conch is a kind of a bareboat then that it drowses defacement and it does not spoof brad is not right.;
$hypothesis$ = that either the Canella-alba does trundle or it is a kind of a Ashurbanipal or both is wrong. ; $context$ = sent1: the parsnip trundles. sent2: the Canella-alba is a Ashurbanipal. sent3: the fact that something drowses defacement and does not spoof brad does not hold if it is a bareboat. sent4: if there is something such that the fact that it drowses defacement and does not spoof brad does not hold the Canella-alba is not a linecut. sent5: if the Canella-alba is not a kind of a trundle it frosts or is a Ashurbanipal or both. sent6: the Canella-alba does rear. sent7: if the nonresident does not spoof brad then it is a kind of a linecut and it does not drowse defacement. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__