the fact that if the pleaching foreland happens that the terror occurs and the receipting does not occur does not hold is not correct.
sent1: if the pleaching foreland happens then the terror happens but the receipt does not occur. sent2: that the pleaching foreland does not occur is caused by either that the climaticness occurs or the terror or both. sent3: if the nitrifying happens then the barracking lurker happens but the ruffianism does not occur. sent4: that the pleaching foreland does not occur is prevented by that the climaticness happens or the terror or both. sent5: the vexing ballpoint happens.
void -> assump1: Let's assume that the terror but not the receipt occurs.; assump1 -> int1: the terror happens.; int1 -> int2: the climaticness occurs and/or the terror occurs.; int2 & sent2 -> int3: the pleaching foreland does not occur.; void -> assump2: Let's assume that the pleaching foreland happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the terror happens but the receipting does not occur is not correct.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that if the pleaching foreland happens that the terror occurs and the receipting does not occur does not hold is not correct. ; $context$ = sent1: if the pleaching foreland happens then the terror happens but the receipt does not occur. sent2: that the pleaching foreland does not occur is caused by either that the climaticness occurs or the terror or both. sent3: if the nitrifying happens then the barracking lurker happens but the ruffianism does not occur. sent4: that the pleaching foreland does not occur is prevented by that the climaticness happens or the terror or both. sent5: the vexing ballpoint happens. ; $proof$ = 
void -> assump1: Let's assume that the terror but not the receipt occurs.; assump1 -> int1: the terror happens.; int1 -> int2: the climaticness occurs and/or the terror occurs.; int2 & sent2 -> int3: the pleaching foreland does not occur.; void -> assump2: Let's assume that the pleaching foreland happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the terror happens but the receipting does not occur is not correct.; [assump2] & int5 -> hypothesis; __DISPROVED__