if the stinger is a Pseudocolus the cannikin is not a trepang.
sent1: the cannikin is not a trepang if the fact that the stinger is a Pseudocolus and it citifies ticking is not wrong. sent2: the fact that if the fact that something is not a microfossil and it does not flame heartwood is incorrect then it is a microfossil is right. sent3: the muskellunge flames heartwood. sent4: the cannikin is a trepang. sent5: the fact that the cannikin is a trepang is not wrong if the stinger is a Pseudocolus. sent6: the distortion does flame heartwood. sent7: the stinger is a valuable. sent8: the cannikin does flame heartwood. sent9: if there exists something such that it does not citify ticking then the peridot is a kind of a trepang. sent10: there exists something such that it does not citify ticking. sent11: if the stinger is a Pseudocolus and it citifies ticking the cannikin is a kind of a trepang. sent12: the stinger flames heartwood. sent13: the stinger does citify ticking and it flames heartwood.
void -> assump1: Let's assume that the stinger is a Pseudocolus.; sent13 -> int1: the stinger does citify ticking.; assump1 & int1 -> int2: the stinger is a kind of a Pseudocolus and citifies ticking.; sent1 & int2 -> int3: the cannikin is not a trepang.; [assump1] & int3 -> hypothesis;
the fact that the peridot is a trepang and it is a microfossil is not wrong.
sent10 & sent9 -> int4: the peridot is a trepang.; sent2 -> int5: the peridot is a microfossil if the fact that it is not a microfossil and it does not flame heartwood is false.;
$hypothesis$ = if the stinger is a Pseudocolus the cannikin is not a trepang. ; $context$ = sent1: the cannikin is not a trepang if the fact that the stinger is a Pseudocolus and it citifies ticking is not wrong. sent2: the fact that if the fact that something is not a microfossil and it does not flame heartwood is incorrect then it is a microfossil is right. sent3: the muskellunge flames heartwood. sent4: the cannikin is a trepang. sent5: the fact that the cannikin is a trepang is not wrong if the stinger is a Pseudocolus. sent6: the distortion does flame heartwood. sent7: the stinger is a valuable. sent8: the cannikin does flame heartwood. sent9: if there exists something such that it does not citify ticking then the peridot is a kind of a trepang. sent10: there exists something such that it does not citify ticking. sent11: if the stinger is a Pseudocolus and it citifies ticking the cannikin is a kind of a trepang. sent12: the stinger flames heartwood. sent13: the stinger does citify ticking and it flames heartwood. ; $proof$ = 
void -> assump1: Let's assume that the stinger is a Pseudocolus.; sent13 -> int1: the stinger does citify ticking.; assump1 & int1 -> int2: the stinger is a kind of a Pseudocolus and citifies ticking.; sent1 & int2 -> int3: the cannikin is not a trepang.; [assump1] & int3 -> hypothesis; __PROVED__