the Saxon does not occur.
sent1: the quackery is prevented by that the description happens and/or the condemning beech. sent2: the quackery occurs if the going does not occur. sent3: the Saxonness occurs if that the gilding eschar and the non-extralinguisticness happens is wrong. sent4: if the fact that the condemning beech does not occur hold then the fact that the gilding eschar occurs but the extralinguisticness does not occur does not hold. sent5: the going does not occur. sent6: the Saxon occurs if the extralinguisticness happens.
void -> assump1: Let's assume that the condemning beech occurs.; assump1 -> int1: either the description occurs or the condemning beech occurs or both.; int1 & sent1 -> int2: the quackery does not occur.; sent2 & sent5 -> int3: the quackery happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the condemning beech does not occur.; int5 & sent4 -> int6: the fact that the gilding eschar happens and the extralinguisticness does not occur is not right.; int6 & sent3 -> hypothesis;
$hypothesis$ = the Saxon does not occur. ; $context$ = sent1: the quackery is prevented by that the description happens and/or the condemning beech. sent2: the quackery occurs if the going does not occur. sent3: the Saxonness occurs if that the gilding eschar and the non-extralinguisticness happens is wrong. sent4: if the fact that the condemning beech does not occur hold then the fact that the gilding eschar occurs but the extralinguisticness does not occur does not hold. sent5: the going does not occur. sent6: the Saxon occurs if the extralinguisticness happens. ; $proof$ = 
void -> assump1: Let's assume that the condemning beech occurs.; assump1 -> int1: either the description occurs or the condemning beech occurs or both.; int1 & sent1 -> int2: the quackery does not occur.; sent2 & sent5 -> int3: the quackery happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the condemning beech does not occur.; int5 & sent4 -> int6: the fact that the gilding eschar happens and the extralinguisticness does not occur is not right.; int6 & sent3 -> hypothesis; __DISPROVED__