the fact that that the bicker does not occur and the festooning jungle occurs is true if the subtilizing ricin happens does not hold.
sent1: if the subtilizing pagination does not occur the fact that the stranding redshift and the festooning jungle happens is true. sent2: the transformation does not occur. sent3: the stranding Kinetoscope does not occur and the birdnesting blolly does not occur. sent4: both the middle-classness and the stranding banquet occurs if the eclipsing does not occur. sent5: the subtilizing pagination does not occur. sent6: if the bicker occurs that the birdnesting gratefulness does not occur and the subtilizing ricin does not occur is true.
void -> assump2: Let's assume that the bicker occurs.; sent6 & assump2 -> int1: the birdnesting gratefulness does not occur and the subtilizing ricin does not occur.; int1 -> int2: the fact that the subtilizing ricin does not occur is not false.; void -> assump1: Let's assume that the subtilizing ricin happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the bicker does not occur is true.; sent1 & sent5 -> int5: both the stranding redshift and the festooning jungle happens.; int5 -> int6: the festooning jungle occurs.; int4 & int6 -> int7: not the bicker but the festooning jungle occurs.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that that the bicker does not occur and the festooning jungle occurs is true if the subtilizing ricin happens does not hold. ; $context$ = sent1: if the subtilizing pagination does not occur the fact that the stranding redshift and the festooning jungle happens is true. sent2: the transformation does not occur. sent3: the stranding Kinetoscope does not occur and the birdnesting blolly does not occur. sent4: both the middle-classness and the stranding banquet occurs if the eclipsing does not occur. sent5: the subtilizing pagination does not occur. sent6: if the bicker occurs that the birdnesting gratefulness does not occur and the subtilizing ricin does not occur is true. ; $proof$ = 
void -> assump2: Let's assume that the bicker occurs.; sent6 & assump2 -> int1: the birdnesting gratefulness does not occur and the subtilizing ricin does not occur.; int1 -> int2: the fact that the subtilizing ricin does not occur is not false.; void -> assump1: Let's assume that the subtilizing ricin happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the bicker does not occur is true.; sent1 & sent5 -> int5: both the stranding redshift and the festooning jungle happens.; int5 -> int6: the festooning jungle occurs.; int4 & int6 -> int7: not the bicker but the festooning jungle occurs.; [assump1] & int7 -> hypothesis; __DISPROVED__