the dosemeter is an oxidation if the planet does not spiral.
sent1: if that either something is New or it is not a kind of a Carya or both is not true then it is a porcupine. sent2: the dosemeter is an oxidation if that the catamite is a porcupine is true. sent3: the fact that the catamite is New or it is not a Carya or both does not hold if the planet does not spiral.
void -> assump1: Let's assume that the planet does not spiral.; sent3 & assump1 -> int1: that the catamite is not non-New or it is not a Carya or both is incorrect.; sent1 -> int2: the catamite is a porcupine if the fact that that it either is New or is not a Carya or both is not false is false.; int1 & int2 -> int3: that the catamite is a porcupine hold.; int3 & sent2 -> int4: the dosemeter is an oxidation.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the dosemeter is an oxidation if the planet does not spiral. ; $context$ = sent1: if that either something is New or it is not a kind of a Carya or both is not true then it is a porcupine. sent2: the dosemeter is an oxidation if that the catamite is a porcupine is true. sent3: the fact that the catamite is New or it is not a Carya or both does not hold if the planet does not spiral. ; $proof$ = 
void -> assump1: Let's assume that the planet does not spiral.; sent3 & assump1 -> int1: that the catamite is not non-New or it is not a Carya or both is incorrect.; sent1 -> int2: the catamite is a porcupine if the fact that that it either is New or is not a Carya or both is not false is false.; int1 & int2 -> int3: that the catamite is a porcupine hold.; int3 & sent2 -> int4: the dosemeter is an oxidation.; [assump1] & int4 -> hypothesis; __PROVED__