the jotter is not a dial.
sent1: if there is something such that the fact that it is a ferritin and/or it persists lower is not true then the jotter is not unimpressionable. sent2: that the hotchpotch persists Utahan and is lax hold if the hemlock is not lax. sent3: the jotter does not dial if it is not unimpressionable and it is not classificatory. sent4: the ritualist does prioritize PPLO. sent5: The PPLO does prioritize ritualist. sent6: there is something such that that it is a ferritin or it does persist lower or both is not true. sent7: if the Berg does not confine ritualist and confines probabilism then the jotter is not classificatory. sent8: if the hotchpotch does persist Utahan and is lax the ritualist does not prioritize PPLO. sent9: the hemlock is not lax if that that the Berg does not confine ritualist and confines probabilism is wrong hold.
void -> assump1: Let's assume that that the Berg does not confine ritualist but it confines probabilism is not right.; sent9 & assump1 -> int1: that the hemlock is not lax is correct.; int1 & sent2 -> int2: the hotchpotch persists Utahan and is lax.; int2 & sent8 -> int3: the fact that the ritualist does not prioritize PPLO hold.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Berg does not confine ritualist but it does confine probabilism.; int5 & sent7 -> int6: the jotter is not classificatory.; sent6 & sent1 -> int7: the jotter is not unimpressionable.; int6 & int7 -> int8: the jotter is not unimpressionable and is not classificatory.; int8 & sent3 -> hypothesis;
$hypothesis$ = the jotter is not a dial. ; $context$ = sent1: if there is something such that the fact that it is a ferritin and/or it persists lower is not true then the jotter is not unimpressionable. sent2: that the hotchpotch persists Utahan and is lax hold if the hemlock is not lax. sent3: the jotter does not dial if it is not unimpressionable and it is not classificatory. sent4: the ritualist does prioritize PPLO. sent5: The PPLO does prioritize ritualist. sent6: there is something such that that it is a ferritin or it does persist lower or both is not true. sent7: if the Berg does not confine ritualist and confines probabilism then the jotter is not classificatory. sent8: if the hotchpotch does persist Utahan and is lax the ritualist does not prioritize PPLO. sent9: the hemlock is not lax if that that the Berg does not confine ritualist and confines probabilism is wrong hold. ; $proof$ = 
void -> assump1: Let's assume that that the Berg does not confine ritualist but it confines probabilism is not right.; sent9 & assump1 -> int1: that the hemlock is not lax is correct.; int1 & sent2 -> int2: the hotchpotch persists Utahan and is lax.; int2 & sent8 -> int3: the fact that the ritualist does not prioritize PPLO hold.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Berg does not confine ritualist but it does confine probabilism.; int5 & sent7 -> int6: the jotter is not classificatory.; sent6 & sent1 -> int7: the jotter is not unimpressionable.; int6 & int7 -> int8: the jotter is not unimpressionable and is not classificatory.; int8 & sent3 -> hypothesis; __PROVED__