the fact that the Pyxis is ample and does not tunnel hilliness if the brokerage prickles is incorrect.
sent1: the Pyxis does tunnel hilliness if the fact that the gulch is not an obscurity is correct. sent2: if the gulch does not shorten then the Pyxis does not tunnel hilliness. sent3: either the gulch is not an obscurity or it does not shorten or both. sent4: if the fact that something tunnels hilliness and does prickle is incorrect it does not tunnels hilliness. sent5: the Pyxis does not tunnel hilliness if the gulch is not an obscurity. sent6: the Pyxis is ample if the brokerage prickles. sent7: if the brokerage shortens it is ample.
void -> assump1: Let's assume that the brokerage prickles.; sent6 & assump1 -> int1: the Pyxis is ample.; sent3 & sent5 & sent2 -> int2: the Pyxis does not tunnel hilliness.; int1 & int2 -> int3: the Pyxis is ample thing that does not tunnel hilliness.; [assump1] & int3 -> hypothesis;
the pony does not tunnel hilliness.
sent4 -> int4: if that the pony tunnels hilliness and prickles is not right then it does not tunnels hilliness.;
$hypothesis$ = the fact that the Pyxis is ample and does not tunnel hilliness if the brokerage prickles is incorrect. ; $context$ = sent1: the Pyxis does tunnel hilliness if the fact that the gulch is not an obscurity is correct. sent2: if the gulch does not shorten then the Pyxis does not tunnel hilliness. sent3: either the gulch is not an obscurity or it does not shorten or both. sent4: if the fact that something tunnels hilliness and does prickle is incorrect it does not tunnels hilliness. sent5: the Pyxis does not tunnel hilliness if the gulch is not an obscurity. sent6: the Pyxis is ample if the brokerage prickles. sent7: if the brokerage shortens it is ample. ; $proof$ = 
void -> assump1: Let's assume that the brokerage prickles.; sent6 & assump1 -> int1: the Pyxis is ample.; sent3 & sent5 & sent2 -> int2: the Pyxis does not tunnel hilliness.; int1 & int2 -> int3: the Pyxis is ample thing that does not tunnel hilliness.; [assump1] & int3 -> hypothesis; __DISPROVED__