the fact that if the pantothen does lapidify then that the plank is a kind of an encyclical is right does not hold.
sent1: something is a kind of an encyclical if it lapidifies. sent2: the pantothen is north. sent3: if the lodgepole lapidifies it is matriarchal. sent4: if something lapidifies then that it is a kind of a north is not incorrect. sent5: if something is not non-north it is a kind of an encyclical. sent6: if the pantothen does lapidify the plank is a kind of a north.
void -> assump1: Let's assume that the pantothen does lapidify.; sent6 & assump1 -> int1: the plank is a north.; sent5 -> int2: the plank is an encyclical if it is a north.; int1 & int2 -> int3: the plank is a kind of an encyclical.; [assump1] & int3 -> hypothesis;
the neglecter is a kind of an encyclical.
sent1 -> int4: if the neglecter does lapidify then it is an encyclical.;
$hypothesis$ = the fact that if the pantothen does lapidify then that the plank is a kind of an encyclical is right does not hold. ; $context$ = sent1: something is a kind of an encyclical if it lapidifies. sent2: the pantothen is north. sent3: if the lodgepole lapidifies it is matriarchal. sent4: if something lapidifies then that it is a kind of a north is not incorrect. sent5: if something is not non-north it is a kind of an encyclical. sent6: if the pantothen does lapidify the plank is a kind of a north. ; $proof$ = 
void -> assump1: Let's assume that the pantothen does lapidify.; sent6 & assump1 -> int1: the plank is a north.; sent5 -> int2: the plank is an encyclical if it is a north.; int1 & int2 -> int3: the plank is a kind of an encyclical.; [assump1] & int3 -> hypothesis; __DISPROVED__