that there is something such that if it is not a kind of a chimneystack then that it is a Girard and it is a kind of a heulandite is incorrect is not correct.
sent1: that something is a Girard and is a kind of a heulandite is wrong if it is not a go-getter. sent2: if the fact that something is not nonadsorbent and is avuncular is not correct it is not a go-getter. sent3: there is something such that if it is a chimneystack that it is a Girard and it is a heulandite is incorrect. sent4: that the ragbag is both not nonadsorbent and avuncular does not hold if it is not a chimneystack. sent5: the ragbag is a Girard and is a heulandite if that it is not a go-getter is right.
void -> assump1: Let's assume that the ragbag is not a chimneystack.; sent4 & assump1 -> int1: the fact that the ragbag is not nonadsorbent but it is avuncular is not true.; sent2 -> int2: if that that the ragbag is not nonadsorbent and is not non-avuncular is not false is wrong it is not a go-getter.; int1 & int2 -> int3: the ragbag is not a go-getter.; sent1 -> int4: if the ragbag is not a go-getter then that it is a kind of a Girard and is a heulandite is not true.; int3 & int4 -> int5: that the ragbag is a Girard and a heulandite is not right.; [assump1] & int5 -> int6: the fact that the ragbag is a Girard and is a kind of a heulandite is not correct if it is not a chimneystack.; int6 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a kind of a chimneystack then that it is a Girard and it is a kind of a heulandite is incorrect is not correct. ; $context$ = sent1: that something is a Girard and is a kind of a heulandite is wrong if it is not a go-getter. sent2: if the fact that something is not nonadsorbent and is avuncular is not correct it is not a go-getter. sent3: there is something such that if it is a chimneystack that it is a Girard and it is a heulandite is incorrect. sent4: that the ragbag is both not nonadsorbent and avuncular does not hold if it is not a chimneystack. sent5: the ragbag is a Girard and is a heulandite if that it is not a go-getter is right. ; $proof$ = 
void -> assump1: Let's assume that the ragbag is not a chimneystack.; sent4 & assump1 -> int1: the fact that the ragbag is not nonadsorbent but it is avuncular is not true.; sent2 -> int2: if that that the ragbag is not nonadsorbent and is not non-avuncular is not false is wrong it is not a go-getter.; int1 & int2 -> int3: the ragbag is not a go-getter.; sent1 -> int4: if the ragbag is not a go-getter then that it is a kind of a Girard and is a heulandite is not true.; int3 & int4 -> int5: that the ragbag is a Girard and a heulandite is not right.; [assump1] & int5 -> int6: the fact that the ragbag is a Girard and is a kind of a heulandite is not correct if it is not a chimneystack.; int6 -> hypothesis; __DISPROVED__