the fact that the gearshift is not expressible is not wrong.
sent1: the gearshift is not expressible if there exists something such that that it is not a foil and is not non-atonic is false. sent2: something is not a kind of an astigmatism if the fact that it is not atonic and it is not a kind of a foil is correct. sent3: the sculpin is a foil. sent4: the sculpin is not expressible if the pleximeter is a Nestor that is not a Beckley.
void -> assump1: Let's assume that the fact that the sculpin is not a kind of a foil but it is atonic is not wrong.; assump1 -> int1: the sculpin does not foil.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the sculpin is not a foil but atonic is wrong.; int3 -> int4: there exists something such that the fact that it is not a foil and it is atonic is not true.; int4 & sent1 -> hypothesis;
the gearshift is not an astigmatism.
sent2 -> int5: the gearshift is not an astigmatism if it is not atonic and not a foil.;
$hypothesis$ = the fact that the gearshift is not expressible is not wrong. ; $context$ = sent1: the gearshift is not expressible if there exists something such that that it is not a foil and is not non-atonic is false. sent2: something is not a kind of an astigmatism if the fact that it is not atonic and it is not a kind of a foil is correct. sent3: the sculpin is a foil. sent4: the sculpin is not expressible if the pleximeter is a Nestor that is not a Beckley. ; $proof$ = 
void -> assump1: Let's assume that the fact that the sculpin is not a kind of a foil but it is atonic is not wrong.; assump1 -> int1: the sculpin does not foil.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the sculpin is not a foil but atonic is wrong.; int3 -> int4: there exists something such that the fact that it is not a foil and it is atonic is not true.; int4 & sent1 -> hypothesis; __PROVED__