if the pietisticness does not occur that the striping happens and the literalness occurs does not hold.
sent1: the backstopping anhedonia does not occur. sent2: the non-raylessness is triggered by that the positionalness and the palatalizing reinsurance occurs. sent3: the palatoglossalness and the positionalness occurs. sent4: the backstopping anhedonia happens if the raylessness does not occur and the pietisticness does not occur.
sent3 -> int1: the positionalness happens.; void -> assump2: Let's assume that the palatalizing reinsurance occurs.; int1 & assump2 -> int2: the positionalness and the palatalizing reinsurance occurs.; int2 & sent2 -> int3: the raylessness does not occur.; void -> assump1: Let's assume that the fact that the pietisticness does not occur is not false.; int3 & assump1 -> int4: the non-raylessness and the non-pietisticness occurs.; int4 & sent4 -> int5: the backstopping anhedonia occurs.; int5 & sent1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the palatalizing reinsurance does not occur.;
$hypothesis$ = if the pietisticness does not occur that the striping happens and the literalness occurs does not hold. ; $context$ = sent1: the backstopping anhedonia does not occur. sent2: the non-raylessness is triggered by that the positionalness and the palatalizing reinsurance occurs. sent3: the palatoglossalness and the positionalness occurs. sent4: the backstopping anhedonia happens if the raylessness does not occur and the pietisticness does not occur. ; $proof$ = 
sent3 -> int1: the positionalness happens.; void -> assump2: Let's assume that the palatalizing reinsurance occurs.; int1 & assump2 -> int2: the positionalness and the palatalizing reinsurance occurs.; int2 & sent2 -> int3: the raylessness does not occur.; void -> assump1: Let's assume that the fact that the pietisticness does not occur is not false.; int3 & assump1 -> int4: the non-raylessness and the non-pietisticness occurs.; int4 & sent4 -> int5: the backstopping anhedonia occurs.; int5 & sent1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the palatalizing reinsurance does not occur.; __UNKNOWN__