the fact that if the ashram corkscrews consigner then the staurikosaur is a footpad is wrong.
sent1: if the staurikosaur does corkscrew consigner the ashram reads springboard. sent2: the ashram is astigmatic. sent3: the fact that something does not read springboard but it is astigmatic is not right if that it does not corkscrew consigner hold. sent4: if the ashram reads springboard and it is astigmatic then it does corkscrew consigner. sent5: that the staurikosaur is not astigmatic is correct. sent6: if the staurikosaur does secede the ashram does read springboard. sent7: the till secedes. sent8: if something does not secede then it is a footpad. sent9: if the fact that the staurikosaur does not read springboard and is astigmatic does not hold the ashram secedes. sent10: the ashram does not corkscrew consigner if it does read springboard and it is astigmatic.
void -> assump1: Let's assume that the fact that the staurikosaur does secede hold.; sent6 & assump1 -> int1: the ashram does read springboard.; int1 & sent2 -> int2: the ashram does read springboard and it is astigmatic.; int2 & sent10 -> int3: the fact that the ashram does not corkscrew consigner hold.; void -> assump2: Let's assume that the ashram corkscrews consigner.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the staurikosaur does secede is incorrect.; sent8 -> int6: if the staurikosaur does not secede then it is a footpad.; int5 & int6 -> int7: the fact that the staurikosaur is a footpad hold.; [assump2] & int7 -> hypothesis;
the ashram secedes.
sent3 -> int8: the fact that the staurikosaur does not read springboard and is astigmatic is not true if it does not corkscrew consigner.;
$hypothesis$ = the fact that if the ashram corkscrews consigner then the staurikosaur is a footpad is wrong. ; $context$ = sent1: if the staurikosaur does corkscrew consigner the ashram reads springboard. sent2: the ashram is astigmatic. sent3: the fact that something does not read springboard but it is astigmatic is not right if that it does not corkscrew consigner hold. sent4: if the ashram reads springboard and it is astigmatic then it does corkscrew consigner. sent5: that the staurikosaur is not astigmatic is correct. sent6: if the staurikosaur does secede the ashram does read springboard. sent7: the till secedes. sent8: if something does not secede then it is a footpad. sent9: if the fact that the staurikosaur does not read springboard and is astigmatic does not hold the ashram secedes. sent10: the ashram does not corkscrew consigner if it does read springboard and it is astigmatic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the staurikosaur does secede hold.; sent6 & assump1 -> int1: the ashram does read springboard.; int1 & sent2 -> int2: the ashram does read springboard and it is astigmatic.; int2 & sent10 -> int3: the fact that the ashram does not corkscrew consigner hold.; void -> assump2: Let's assume that the ashram corkscrews consigner.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the staurikosaur does secede is incorrect.; sent8 -> int6: if the staurikosaur does not secede then it is a footpad.; int5 & int6 -> int7: the fact that the staurikosaur is a footpad hold.; [assump2] & int7 -> hypothesis; __DISPROVED__