the working does prickle.
sent1: if something does not prickle the fact that it is not a Serkin and does not gather miner does not hold. sent2: if that the working does not prickle is not incorrect then the fact that it acquits and is not stoppable is wrong. sent3: the fact that something does acquit but it is not stoppable is incorrect if the fact that it does not prickle is right. sent4: if the boatyard does gather miner the foster-mother is a Serkin. sent5: the modiolus gathers miner. sent6: if that the working does not acquit and it is not stoppable is false then the foster-mother is not a Serkin. sent7: if something does not prickle then that it does not acquit and it is not stoppable is false. sent8: the boatyard is a stinger and gathers miner. sent9: if either something prickles or it is not stoppable or both then it is not stoppable. sent10: if that something is not a stinger is right then it is a Serkin and it does gather miner.
sent7 -> int1: if the working does not prickle then that it does not acquit and it is not stoppable is wrong.; void -> assump1: Let's assume that the working does not prickle.; int1 & assump1 -> int2: the fact that the working does not acquit and is not stoppable does not hold.; int2 & sent6 -> int3: the foster-mother is not a kind of a Serkin.; sent8 -> int4: the boatyard gathers miner.; sent4 & int4 -> int5: the foster-mother is a Serkin.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the fettuccine is not stoppable.
sent9 -> int7: the fettuccine is unstoppable if it does prickle and/or it is not unstoppable.; sent10 -> int8: if the foster-mother is not a stinger then it is a kind of a Serkin and gathers miner.;
$hypothesis$ = the working does prickle. ; $context$ = sent1: if something does not prickle the fact that it is not a Serkin and does not gather miner does not hold. sent2: if that the working does not prickle is not incorrect then the fact that it acquits and is not stoppable is wrong. sent3: the fact that something does acquit but it is not stoppable is incorrect if the fact that it does not prickle is right. sent4: if the boatyard does gather miner the foster-mother is a Serkin. sent5: the modiolus gathers miner. sent6: if that the working does not acquit and it is not stoppable is false then the foster-mother is not a Serkin. sent7: if something does not prickle then that it does not acquit and it is not stoppable is false. sent8: the boatyard is a stinger and gathers miner. sent9: if either something prickles or it is not stoppable or both then it is not stoppable. sent10: if that something is not a stinger is right then it is a Serkin and it does gather miner. ; $proof$ = 
sent7 -> int1: if the working does not prickle then that it does not acquit and it is not stoppable is wrong.; void -> assump1: Let's assume that the working does not prickle.; int1 & assump1 -> int2: the fact that the working does not acquit and is not stoppable does not hold.; int2 & sent6 -> int3: the foster-mother is not a kind of a Serkin.; sent8 -> int4: the boatyard gathers miner.; sent4 & int4 -> int5: the foster-mother is a Serkin.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__