that the girdling pajama does not occur brings about either that the stearicness does not occur or that the scuffing moved occurs or both.
sent1: not the piecing octillion but the cuckoldry occurs. sent2: the knockout does not occur. sent3: the fact that the fact that the greensideness does not occur is not false is not true. sent4: that the stearicness happens brings about that not the piecing pebble but the girdling pajama happens. sent5: not the militariness but the volution happens. sent6: the scuffing hydride happens. sent7: if the prosecution does not occur the Ball does not occur or the plantalness happens or both. sent8: the prosecution or the openedness or both occurs if the elysianness does not occur. sent9: the piecing pebble does not occur. sent10: the non-stearicness and/or the scuffing moved occurs if the girdling pajama happens. sent11: the prosecution does not occur and the diplomaticness occurs. sent12: the referral does not occur if the girdling trudge happens. sent13: both the non-Monophysiteness and the piecing cow occurs if the choragicness happens.
void -> assump2: Let's assume that the fact that the stearicness occurs is not incorrect.; sent4 & assump2 -> int1: the piecing pebble does not occur but the girdling pajama happens.; int1 -> int2: the girdling pajama happens.; void -> assump1: Let's assume that the girdling pajama does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the stearicness does not occur.; int4 -> int5: either the stearicness does not occur or the scuffing moved occurs or both.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the girdling pajama does not occur brings about either that the stearicness does not occur or that the scuffing moved occurs or both. ; $context$ = sent1: not the piecing octillion but the cuckoldry occurs. sent2: the knockout does not occur. sent3: the fact that the fact that the greensideness does not occur is not false is not true. sent4: that the stearicness happens brings about that not the piecing pebble but the girdling pajama happens. sent5: not the militariness but the volution happens. sent6: the scuffing hydride happens. sent7: if the prosecution does not occur the Ball does not occur or the plantalness happens or both. sent8: the prosecution or the openedness or both occurs if the elysianness does not occur. sent9: the piecing pebble does not occur. sent10: the non-stearicness and/or the scuffing moved occurs if the girdling pajama happens. sent11: the prosecution does not occur and the diplomaticness occurs. sent12: the referral does not occur if the girdling trudge happens. sent13: both the non-Monophysiteness and the piecing cow occurs if the choragicness happens. ; $proof$ = 
void -> assump2: Let's assume that the fact that the stearicness occurs is not incorrect.; sent4 & assump2 -> int1: the piecing pebble does not occur but the girdling pajama happens.; int1 -> int2: the girdling pajama happens.; void -> assump1: Let's assume that the girdling pajama does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the stearicness does not occur.; int4 -> int5: either the stearicness does not occur or the scuffing moved occurs or both.; [assump1] & int5 -> hypothesis; __PROVED__