「そのハイパワーは嘆かわしくない」ということは本当だ
fact1: その血管障害は使い易い fact2: 「この魑魅魍魎は陰気さだ」ということは真実であるならばそのハイパワーは対象化する fact3: もし仮にこの魑魅魍魎が動植物でないし出社出来るということはないならそのハイパワーは出社出来ない fact4: このカウンター越しは給電しない fact5: あの五百円程度は遊泳する fact6: もしとある物が対象化するとするとそれは流通する fact7: 「そのハイパワーは馬謖である」ということは成り立つ fact8: ある物は陰気さでない一方で対象化するなら動植物でない fact9: この魑魅魍魎は各事業年度である fact10: 何らかの物が嘆かわしいならばそれは憎々しい fact11: もし何らかのものが出社出来るとするとＭＰＳでないしまた出し続けない fact12: もしこのカウンター越しは出社出来ないとしたら「この魑魅魍魎は陰気さでないがそれは動植物である」ということは偽だ fact13: もし仮にこのカウンター越しは出社出来ないなら「この魑魅魍魎は陰気さであるし加えてそれは動植物だ」ということは嘘である fact14: もし仮になんらかの物は出社出来ないとすれば「給電するしそれに嘆かわしい」ということは間違いである fact15: もし仮にそのハイパワーが使い易いならば嘆かわしい fact16: もしもある物が流通するとしたら使い易い fact17: もし仮にこの魑魅魍魎は各事業年度だとすれば「流通する」ということは本当である fact18: すべては給電しない fact19: 仮に「この魑魅魍魎は陰気さでないけど動植物である」ということは偽ならばあのハイパワーは対象化する fact20: もしもその血管障害は使い易いとしたら「輪郭である一方で対象化しない」ということは誤りである fact21: その第二．三趾は対象化しない fact22: 全てのものは出社出来ないし給電するということはない fact23: 仮に何らかの物は流通するしさらに対象化するなら陰気さでない fact24: 「この魑魅魍魎は陰気さであるしさらに動植物である」ということは成り立たない
fact22 -> int1: このカウンター越しは出社出来ないししかも給電しない; int1 -> int2: 「このカウンター越しは出社出来ない」ということは本当である; int2 & fact12 -> int3: 「この魑魅魍魎は陰気さでない一方で動植物である」ということは間違っている; int3 & fact19 -> int4: そのハイパワーは対象化する; fact6 -> int5: そのハイパワーが対象化するならそれは流通する; int4 & int5 -> int6: そのハイパワーは流通する; fact16 -> int7: もしもそのハイパワーが流通するならそれは使い易い; int6 & int7 -> int8: そのハイパワーは使い易い; int8 & fact15 -> hypothesis;
そのハイパワーは嘆かわしくない
fact25 -> int9: もしそのハイパワーは出社出来ないならば「それは給電するし嘆かわしい」ということは成り立つということはない; fact27 -> int10: 仮にこの魑魅魍魎は流通するしかつ対象化するとすると陰気さでない; fact30 & fact29 -> int11: この魑魅魍魎は流通する; fact26 & fact31 -> int12: 「その血管障害は輪郭だがしかし対象化しない」ということは成り立たない; int12 -> int13: 「「輪郭でおまけに対象化しない」ということは偽な」物はある;
$facts$ = fact1: その血管障害は使い易い fact2: 「この魑魅魍魎は陰気さだ」ということは真実であるならばそのハイパワーは対象化する fact3: もし仮にこの魑魅魍魎が動植物でないし出社出来るということはないならそのハイパワーは出社出来ない fact4: このカウンター越しは給電しない fact5: あの五百円程度は遊泳する fact6: もしとある物が対象化するとするとそれは流通する fact7: 「そのハイパワーは馬謖である」ということは成り立つ fact8: ある物は陰気さでない一方で対象化するなら動植物でない fact9: この魑魅魍魎は各事業年度である fact10: 何らかの物が嘆かわしいならばそれは憎々しい fact11: もし何らかのものが出社出来るとするとＭＰＳでないしまた出し続けない fact12: もしこのカウンター越しは出社出来ないとしたら「この魑魅魍魎は陰気さでないがそれは動植物である」ということは偽だ fact13: もし仮にこのカウンター越しは出社出来ないなら「この魑魅魍魎は陰気さであるし加えてそれは動植物だ」ということは嘘である fact14: もし仮になんらかの物は出社出来ないとすれば「給電するしそれに嘆かわしい」ということは間違いである fact15: もし仮にそのハイパワーが使い易いならば嘆かわしい fact16: もしもある物が流通するとしたら使い易い fact17: もし仮にこの魑魅魍魎は各事業年度だとすれば「流通する」ということは本当である fact18: すべては給電しない fact19: 仮に「この魑魅魍魎は陰気さでないけど動植物である」ということは偽ならばあのハイパワーは対象化する fact20: もしもその血管障害は使い易いとしたら「輪郭である一方で対象化しない」ということは誤りである fact21: その第二．三趾は対象化しない fact22: 全てのものは出社出来ないし給電するということはない fact23: 仮に何らかの物は流通するしさらに対象化するなら陰気さでない fact24: 「この魑魅魍魎は陰気さであるしさらに動植物である」ということは成り立たない ; $hypothesis$ = 「そのハイパワーは嘆かわしくない」ということは本当だ ; $proof$ = 
fact22 -> int1: このカウンター越しは出社出来ないししかも給電しない; int1 -> int2: 「このカウンター越しは出社出来ない」ということは本当である; int2 & fact12 -> int3: 「この魑魅魍魎は陰気さでない一方で動植物である」ということは間違っている; int3 & fact19 -> int4: そのハイパワーは対象化する; fact6 -> int5: そのハイパワーが対象化するならそれは流通する; int4 & int5 -> int6: そのハイパワーは流通する; fact16 -> int7: もしもそのハイパワーが流通するならそれは使い易い; int6 & int7 -> int8: そのハイパワーは使い易い; int8 & fact15 -> hypothesis; __DISPROVED__
事実1: その血管障害は使い易い
事実2: 「この魑魅魍魎は陰気さだ」ということは真実であるならばそのハイパワーは対象化する
事実3: もし仮にこの魑魅魍魎が動植物でないし出社出来るということはないならそのハイパワーは出社出来ない
事実4: このカウンター越しは給電しない
事実5: あの五百円程度は遊泳する
事実6: もしとある物が対象化するとするとそれは流通する
事実7: 「そのハイパワーは馬謖である」ということは成り立つ
事実8: ある物は陰気さでない一方で対象化するなら動植物でない
事実9: この魑魅魍魎は各事業年度である
事実10: 何らかの物が嘆かわしいならばそれは憎々しい
事実11: もし何らかのものが出社出来るとするとＭＰＳでないしまた出し続けない
事実12: もしこのカウンター越しは出社出来ないとしたら「この魑魅魍魎は陰気さでないがそれは動植物である」ということは偽だ
事実13: もし仮にこのカウンター越しは出社出来ないなら「この魑魅魍魎は陰気さであるし加えてそれは動植物だ」ということは嘘である
事実14: もし仮になんらかの物は出社出来ないとすれば「給電するしそれに嘆かわしい」ということは間違いである
事実15: もし仮にそのハイパワーが使い易いならば嘆かわしい
事実16: もしもある物が流通するとしたら使い易い
事実17: もし仮にこの魑魅魍魎は各事業年度だとすれば「流通する」ということは本当である
事実18: すべては給電しない
事実19: 仮に「この魑魅魍魎は陰気さでないけど動植物である」ということは偽ならばあのハイパワーは対象化する
事実20: もしもその血管障害は使い易いとしたら「輪郭である一方で対象化しない」ということは誤りである
事実21: その第二．三趾は対象化しない
事実22: 全てのものは出社出来ないし給電するということはない
事実23: 仮に何らかの物は流通するしさらに対象化するなら陰気さでない
事実24: 「この魑魅魍魎は陰気さであるしさらに動植物である」ということは成り立たない

仮説: 「そのハイパワーは嘆かわしくない」ということは本当だ
1. 事実22から、推論1: "このカウンター越しは出社出来ないししかも給電しない"が導かれる
2. 推論1から、推論2: "「このカウンター越しは出社出来ない」ということは本当である"が導かれる
3. 推論2と事実12から、推論3: "「この魑魅魍魎は陰気さでない一方で動植物である」ということは間違っている"が導かれる
4. 推論3と事実19から、推論4: "そのハイパワーは対象化する"が導かれる
5. 事実6から、推論5: "そのハイパワーが対象化するならそれは流通する"が導かれる
6. 推論4と推論5から、推論6: "そのハイパワーは流通する"が導かれる
7. 事実16から、推論7: "もしもそのハイパワーが流通するならそれは使い易い"が導かれる
8. 推論6と推論7から、推論8: "そのハイパワーは使い易い"が導かれる
9. 推論8と事実15から、仮説が否定される

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