the fact that the tempter is a kind of a Mesozoic if the nepheline is unportable is not correct.
sent1: something is not a kind of a pungency. sent2: if something does not jam visitor then it is a Mesozoic. sent3: the tempter does not jam visitor if the nepheline trepans densitometer and is unportable. sent4: if something is not a kind of a pungency then the nepheline trepans densitometer. sent5: there exists something such that it is a pungency. sent6: there are non-unportable things.
sent1 & sent4 -> int1: the fact that the nepheline trepans densitometer hold.; void -> assump1: Let's assume that the nepheline is unportable.; int1 & assump1 -> int2: the nepheline trepans densitometer and is unportable.; int2 & sent3 -> int3: the tempter does not jam visitor.; sent2 -> int4: the tempter is a Mesozoic if it does not jam visitor.; int3 & int4 -> int5: the tempter is Mesozoic.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the tempter is a kind of a Mesozoic if the nepheline is unportable is not correct. ; $context$ = sent1: something is not a kind of a pungency. sent2: if something does not jam visitor then it is a Mesozoic. sent3: the tempter does not jam visitor if the nepheline trepans densitometer and is unportable. sent4: if something is not a kind of a pungency then the nepheline trepans densitometer. sent5: there exists something such that it is a pungency. sent6: there are non-unportable things. ; $proof$ = 
sent1 & sent4 -> int1: the fact that the nepheline trepans densitometer hold.; void -> assump1: Let's assume that the nepheline is unportable.; int1 & assump1 -> int2: the nepheline trepans densitometer and is unportable.; int2 & sent3 -> int3: the tempter does not jam visitor.; sent2 -> int4: the tempter is a Mesozoic if it does not jam visitor.; int3 & int4 -> int5: the tempter is Mesozoic.; [assump1] & int5 -> hypothesis; __DISPROVED__