その二小区は築き難くない
fact1: 「生き辛い物は築き難い」ということは確かである fact2: この滅諦は硫酸アトロピンだ fact3: 「その二小区は硫酸アトロピンである」ということは成り立つ fact4: その極体は面白くて硫酸アトロピンである fact5: もし何かは硫酸アトロピンでないとしたら「築き難くてさらに生き辛い」ということは誤っている fact6: 「その二小区は生き辛くて加えて硫酸アトロピンだ」ということは間違っているということはない fact7: 仮にその二小区が蹌踉くければ侵入だ fact8: 生き辛い物は硫酸アトロピンだ fact9: その四ＷＤシステムは硫酸アトロピンだ fact10: もしその二小区が軽ーいとしたらそれは築き難い
fact1 -> int1: もし「その二小区は生き辛い」ということは確かなら「築き難い」ということは成り立つ; fact6 -> int2: その二小区は生き辛い; int1 & int2 -> hypothesis;
その二小区は築き難くない
fact11 -> int3: 仮にその二小区は硫酸アトロピンでないならば「それは築き難くて加えて生き辛い」ということは事実と異なる;
$facts$ = fact1: 「生き辛い物は築き難い」ということは確かである fact2: この滅諦は硫酸アトロピンだ fact3: 「その二小区は硫酸アトロピンである」ということは成り立つ fact4: その極体は面白くて硫酸アトロピンである fact5: もし何かは硫酸アトロピンでないとしたら「築き難くてさらに生き辛い」ということは誤っている fact6: 「その二小区は生き辛くて加えて硫酸アトロピンだ」ということは間違っているということはない fact7: 仮にその二小区が蹌踉くければ侵入だ fact8: 生き辛い物は硫酸アトロピンだ fact9: その四ＷＤシステムは硫酸アトロピンだ fact10: もしその二小区が軽ーいとしたらそれは築き難い ; $hypothesis$ = その二小区は築き難くない ; $proof$ = 
fact1 -> int1: もし「その二小区は生き辛い」ということは確かなら「築き難い」ということは成り立つ; fact6 -> int2: その二小区は生き辛い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「生き辛い物は築き難い」ということは確かである
事実2: この滅諦は硫酸アトロピンだ
事実3: 「その二小区は硫酸アトロピンである」ということは成り立つ
事実4: その極体は面白くて硫酸アトロピンである
事実5: もし何かは硫酸アトロピンでないとしたら「築き難くてさらに生き辛い」ということは誤っている
事実6: 「その二小区は生き辛くて加えて硫酸アトロピンだ」ということは間違っているということはない
事実7: 仮にその二小区が蹌踉くければ侵入だ
事実8: 生き辛い物は硫酸アトロピンだ
事実9: その四ＷＤシステムは硫酸アトロピンだ
事実10: もしその二小区が軽ーいとしたらそれは築き難い

仮説: その二小区は築き難くない
1. 事実1から、推論1: "もし「その二小区は生き辛い」ということは確かなら「築き難い」ということは成り立つ"が導かれる
2. 事実6から、推論2: "その二小区は生き辛い"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。