the newt does prey Sanchez.
sent1: the working does not ratchet shackle if the fact that the tomograph is a pineapple or is not a lasting or both is false. sent2: the tomograph does not last if the fact that that it is a pineapple or it does not corset Mark or both is true is wrong. sent3: if the working does cause then the tomograph ratchets shackle. sent4: the newt does not prey Sanchez if the working is not a cause. sent5: everything is a kind of a disquisition. sent6: the fact that the tomograph is a kind of a lasting but it is not a kind of a pineapple is wrong. sent7: if that the tomograph is lasting thing that is not a pineapple is not true it does not ratchet shackle. sent8: if the working does not ratchet shackle then the newt preys Sanchez and it does cause. sent9: if that something does not prey Sanchez and/or does not ratchet shackle is not correct then it is not a kind of a cause. sent10: if something does not last then that it does not prey Sanchez and/or does not ratchet shackle does not hold.
void -> assump1: Let's assume that the working causes.; sent3 & assump1 -> int1: the tomograph ratchets shackle.; sent7 & sent6 -> int2: the tomograph does not ratchet shackle.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the working is not a cause.; int4 & sent4 -> hypothesis;
the tomograph is not a cause.
sent10 -> int5: that the tomograph does not prey Sanchez and/or it does not ratchet shackle is not correct if it is not a kind of a lasting.; sent5 -> int6: that the working is a disquisition is true.; sent9 -> int7: if that that the tomograph does not prey Sanchez and/or it does not ratchet shackle is false is not incorrect it does not cause.;
$hypothesis$ = the newt does prey Sanchez. ; $context$ = sent1: the working does not ratchet shackle if the fact that the tomograph is a pineapple or is not a lasting or both is false. sent2: the tomograph does not last if the fact that that it is a pineapple or it does not corset Mark or both is true is wrong. sent3: if the working does cause then the tomograph ratchets shackle. sent4: the newt does not prey Sanchez if the working is not a cause. sent5: everything is a kind of a disquisition. sent6: the fact that the tomograph is a kind of a lasting but it is not a kind of a pineapple is wrong. sent7: if that the tomograph is lasting thing that is not a pineapple is not true it does not ratchet shackle. sent8: if the working does not ratchet shackle then the newt preys Sanchez and it does cause. sent9: if that something does not prey Sanchez and/or does not ratchet shackle is not correct then it is not a kind of a cause. sent10: if something does not last then that it does not prey Sanchez and/or does not ratchet shackle does not hold. ; $proof$ = 
void -> assump1: Let's assume that the working causes.; sent3 & assump1 -> int1: the tomograph ratchets shackle.; sent7 & sent6 -> int2: the tomograph does not ratchet shackle.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the working is not a cause.; int4 & sent4 -> hypothesis; __DISPROVED__