the angioscope is not a spin.
sent1: the jerkin does not recreate or it is mayoral or both if it is not a kind of a tonometer. sent2: the jerkin is not a SoHo if the angioscope is both pyroelectric and a spin. sent3: if the jerkin subrogates predictor the fact that it is not a SoHo and it does not recreate is incorrect. sent4: the jerkin is not a tonometer. sent5: if the jerkin either does not recreate or is mayoral or both then it does not recreate. sent6: the angioscope does besot constipation and is pyroelectric. sent7: something does subrogate predictor if it stockades. sent8: the fact that something does besot constipation and is not a spin does not hold if the fact that it is a kind of a SoHo is not false. sent9: the angioscope spins if that the jerkin is not a kind of a spins and is pyroelectric is false. sent10: the jerkin is a kind of a stockade.
sent6 -> int1: the angioscope is pyroelectric.; void -> assump1: Let's assume that the angioscope is a spin.; int1 & assump1 -> int2: the angioscope is a kind of pyroelectric thing that spins.; int2 & sent2 -> int3: the jerkin is not a SoHo.; sent1 & sent4 -> int4: the jerkin does not recreate or it is mayoral or both.; sent5 & int4 -> int5: the jerkin does not recreate.; int3 & int5 -> int6: the jerkin is not a SoHo and it does not recreate.; sent7 -> int7: if the jerkin is a kind of a stockade then it subrogates predictor.; int7 & sent10 -> int8: the fact that the jerkin subrogates predictor is not wrong.; sent3 & int8 -> int9: the fact that the jerkin is not a SoHo and it does not recreate does not hold.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the fact that the angioscope spins hold.
$hypothesis$ = the angioscope is not a spin. ; $context$ = sent1: the jerkin does not recreate or it is mayoral or both if it is not a kind of a tonometer. sent2: the jerkin is not a SoHo if the angioscope is both pyroelectric and a spin. sent3: if the jerkin subrogates predictor the fact that it is not a SoHo and it does not recreate is incorrect. sent4: the jerkin is not a tonometer. sent5: if the jerkin either does not recreate or is mayoral or both then it does not recreate. sent6: the angioscope does besot constipation and is pyroelectric. sent7: something does subrogate predictor if it stockades. sent8: the fact that something does besot constipation and is not a spin does not hold if the fact that it is a kind of a SoHo is not false. sent9: the angioscope spins if that the jerkin is not a kind of a spins and is pyroelectric is false. sent10: the jerkin is a kind of a stockade. ; $proof$ = 
sent6 -> int1: the angioscope is pyroelectric.; void -> assump1: Let's assume that the angioscope is a spin.; int1 & assump1 -> int2: the angioscope is a kind of pyroelectric thing that spins.; int2 & sent2 -> int3: the jerkin is not a SoHo.; sent1 & sent4 -> int4: the jerkin does not recreate or it is mayoral or both.; sent5 & int4 -> int5: the jerkin does not recreate.; int3 & int5 -> int6: the jerkin is not a SoHo and it does not recreate.; sent7 -> int7: if the jerkin is a kind of a stockade then it subrogates predictor.; int7 & sent10 -> int8: the fact that the jerkin subrogates predictor is not wrong.; sent3 & int8 -> int9: the fact that the jerkin is not a SoHo and it does not recreate does not hold.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__