that the stylet is not thenal and it does not elaborate Dyirbal is wrong.
sent1: if the fact that the surrey does not axe Balsamorhiza and does not elaborate Dyirbal is not true the stylet is thenal. sent2: that the stylet is not thenal and it does not axe Balsamorhiza does not hold. sent3: that something is not thenal and does not elaborate Dyirbal is not true if it is not a maar. sent4: the surrey does not bespangle if something is a kind of a demonstrability. sent5: the stylet is not a kind of a shroud. sent6: the fact that the hydrogenation does not axe Balsamorhiza hold. sent7: there exists something such that it is thenal. sent8: the surrey does not axe Balsamorhiza if there is something such that it elaborates Dyirbal. sent9: the surrey is thenal if the fact that the stylet does not axe Balsamorhiza and does not elaborate Dyirbal does not hold. sent10: the surrey does axe Balsamorhiza if that that the stylet is a kind of non-thenal thing that does not elaborate Dyirbal is not true is right. sent11: there exists something such that it is a maar. sent12: the surrey does not axe Balsamorhiza if there is something such that it is a maar.
void -> assump1: Let's assume that that the stylet is not thenal and does not elaborate Dyirbal is wrong.; sent10 & assump1 -> int1: the surrey does axe Balsamorhiza.; sent11 & sent12 -> int2: the surrey does not axe Balsamorhiza.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the stylet is a kind of non-thenal thing that does not elaborate Dyirbal is wrong.
sent3 -> int4: if the stylet is not a maar that it is not thenal and it does not elaborate Dyirbal is not correct.;
$hypothesis$ = that the stylet is not thenal and it does not elaborate Dyirbal is wrong. ; $context$ = sent1: if the fact that the surrey does not axe Balsamorhiza and does not elaborate Dyirbal is not true the stylet is thenal. sent2: that the stylet is not thenal and it does not axe Balsamorhiza does not hold. sent3: that something is not thenal and does not elaborate Dyirbal is not true if it is not a maar. sent4: the surrey does not bespangle if something is a kind of a demonstrability. sent5: the stylet is not a kind of a shroud. sent6: the fact that the hydrogenation does not axe Balsamorhiza hold. sent7: there exists something such that it is thenal. sent8: the surrey does not axe Balsamorhiza if there is something such that it elaborates Dyirbal. sent9: the surrey is thenal if the fact that the stylet does not axe Balsamorhiza and does not elaborate Dyirbal does not hold. sent10: the surrey does axe Balsamorhiza if that that the stylet is a kind of non-thenal thing that does not elaborate Dyirbal is not true is right. sent11: there exists something such that it is a maar. sent12: the surrey does not axe Balsamorhiza if there is something such that it is a maar. ; $proof$ = 
void -> assump1: Let's assume that that the stylet is not thenal and does not elaborate Dyirbal is wrong.; sent10 & assump1 -> int1: the surrey does axe Balsamorhiza.; sent11 & sent12 -> int2: the surrey does not axe Balsamorhiza.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__