the tablefork does shush.
sent1: something is not a kind of a press and is not symmetrical if it is micrometeoritic. sent2: that the placket is not micrometeoritic is not false. sent3: something does not shush if it is either illegitimate or micrometeoritic or both. sent4: something is not a Apium. sent5: that if something that is not a kind of a Apium is not regimentals then the tablefork shushes is not false. sent6: that the tribromoethanol is not a Apium hold. sent7: if the placket is not micrometeoritic then the tribromoethanol is not a Apium and not regimentals. sent8: there exists something such that it is a Apium and not regimentals.
sent7 & sent2 -> int1: the tribromoethanol is both not a Apium and not regimentals.; int1 -> int2: something is not a Apium and is not regimentals.; int2 & sent5 -> hypothesis;
there is something such that it is not a press and it is not symmetrical.
sent1 -> int3: if the placket is not non-micrometeoritic it is not a press and not symmetrical.;
$hypothesis$ = the tablefork does shush. ; $context$ = sent1: something is not a kind of a press and is not symmetrical if it is micrometeoritic. sent2: that the placket is not micrometeoritic is not false. sent3: something does not shush if it is either illegitimate or micrometeoritic or both. sent4: something is not a Apium. sent5: that if something that is not a kind of a Apium is not regimentals then the tablefork shushes is not false. sent6: that the tribromoethanol is not a Apium hold. sent7: if the placket is not micrometeoritic then the tribromoethanol is not a Apium and not regimentals. sent8: there exists something such that it is a Apium and not regimentals. ; $proof$ = 
sent7 & sent2 -> int1: the tribromoethanol is both not a Apium and not regimentals.; int1 -> int2: something is not a Apium and is not regimentals.; int2 & sent5 -> hypothesis; __PROVED__