「あの創意工夫はひもじいしその上療養型病床群である」ということは真実でない
fact1: あの創意工夫がひもじいしその上それは覗き見する fact2: 「この機関区は覗き見しないしその上ひもじくない」ということは誤りならばあの創意工夫はひもじいということはない fact3: もし仮にあの創意工夫が来し易いとするとこの一般名は来し易い fact4: もし仮にあるものは分属しないなら「それがひもじいしその上それは療養型病床群である」ということは誤っている fact5: あの鹿洲公案は因らないが底堅い fact6: 「「療養型病床群であるけど誘発しない」ということは成り立たない」ものはある fact7: あの創意工夫が療養型病床群だし分属する fact8: もし「「療養型病床群だけれど誘発しない」ということは嘘な」物があるならこの一般名は療養型病床群でない fact9: 仮にとある物は転換株式であるし底堅いとすればそれは覗き見するということはない fact10: あのゴム製品は転換株式でない fact11: あの創意工夫は渡海する fact12: 「因る」物はある fact13: 仮に「あの鹿洲公案は底堅い」ということは嘘でないならば「あのゴム製品は底堅い」ということは成り立つ fact14: この機関区が分属するけど弱々しかないとするとあの創意工夫は分属しない fact15: なにがしかのものは弱々しいということはないとすると「それは覗き見しなくてひもじくない」ということは成り立たない fact16: もし仮に何かは療養型病床群でないならば財政改革だ fact17: ひもじくない物は来し易いししかも分属する fact18: 仮にあの鹿洲公案が因らないが底堅いとしたらあのゴム製品は底堅い fact19: あの戦闘中は覗き見する fact20: あの創意工夫は封印である fact21: この有効画素数は渡海するしそれに覗き見する
fact7 -> int1: あの創意工夫は療養型病床群だ; fact1 -> int2: 「あの創意工夫はひもじい」ということは真実だ; int1 & int2 -> hypothesis;
この一般名は財政改革であるし加えて来し易い
fact31 -> int3: もしこの一般名が療養型病床群でないとすれば財政改革である; fact29 & fact24 -> int4: 「この一般名は療養型病床群だ」ということは事実と異なる; int3 & int4 -> int5: この一般名は財政改革である; fact28 -> int6: もしもあの創意工夫がひもじくないとすると来し易くてかつそれは分属する; fact27 -> int7: もし仮にこの機関区は弱々しかないとすると「覗き見しなくてその上ひもじくない」ということは嘘だ; fact26 & fact30 -> int8: あのゴム製品は底堅い; int8 & fact25 -> int9: あのゴム製品は底堅いがしかし転換株式でない; int9 -> int10: なんらかの物は底堅いが転換株式でない;
$facts$ = fact1: あの創意工夫がひもじいしその上それは覗き見する fact2: 「この機関区は覗き見しないしその上ひもじくない」ということは誤りならばあの創意工夫はひもじいということはない fact3: もし仮にあの創意工夫が来し易いとするとこの一般名は来し易い fact4: もし仮にあるものは分属しないなら「それがひもじいしその上それは療養型病床群である」ということは誤っている fact5: あの鹿洲公案は因らないが底堅い fact6: 「「療養型病床群であるけど誘発しない」ということは成り立たない」ものはある fact7: あの創意工夫が療養型病床群だし分属する fact8: もし「「療養型病床群だけれど誘発しない」ということは嘘な」物があるならこの一般名は療養型病床群でない fact9: 仮にとある物は転換株式であるし底堅いとすればそれは覗き見するということはない fact10: あのゴム製品は転換株式でない fact11: あの創意工夫は渡海する fact12: 「因る」物はある fact13: 仮に「あの鹿洲公案は底堅い」ということは嘘でないならば「あのゴム製品は底堅い」ということは成り立つ fact14: この機関区が分属するけど弱々しかないとするとあの創意工夫は分属しない fact15: なにがしかのものは弱々しいということはないとすると「それは覗き見しなくてひもじくない」ということは成り立たない fact16: もし仮に何かは療養型病床群でないならば財政改革だ fact17: ひもじくない物は来し易いししかも分属する fact18: 仮にあの鹿洲公案が因らないが底堅いとしたらあのゴム製品は底堅い fact19: あの戦闘中は覗き見する fact20: あの創意工夫は封印である fact21: この有効画素数は渡海するしそれに覗き見する ; $hypothesis$ = 「あの創意工夫はひもじいしその上療養型病床群である」ということは真実でない ; $proof$ = 
fact7 -> int1: あの創意工夫は療養型病床群だ; fact1 -> int2: 「あの創意工夫はひもじい」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの創意工夫がひもじいしその上それは覗き見する
事実2: 「この機関区は覗き見しないしその上ひもじくない」ということは誤りならばあの創意工夫はひもじいということはない
事実3: もし仮にあの創意工夫が来し易いとするとこの一般名は来し易い
事実4: もし仮にあるものは分属しないなら「それがひもじいしその上それは療養型病床群である」ということは誤っている
事実5: あの鹿洲公案は因らないが底堅い
事実6: 「「療養型病床群であるけど誘発しない」ということは成り立たない」ものはある
事実7: あの創意工夫が療養型病床群だし分属する
事実8: もし「「療養型病床群だけれど誘発しない」ということは嘘な」物があるならこの一般名は療養型病床群でない
事実9: 仮にとある物は転換株式であるし底堅いとすればそれは覗き見するということはない
事実10: あのゴム製品は転換株式でない
事実11: あの創意工夫は渡海する
事実12: 「因る」物はある
事実13: 仮に「あの鹿洲公案は底堅い」ということは嘘でないならば「あのゴム製品は底堅い」ということは成り立つ
事実14: この機関区が分属するけど弱々しかないとするとあの創意工夫は分属しない
事実15: なにがしかのものは弱々しいということはないとすると「それは覗き見しなくてひもじくない」ということは成り立たない
事実16: もし仮に何かは療養型病床群でないならば財政改革だ
事実17: ひもじくない物は来し易いししかも分属する
事実18: 仮にあの鹿洲公案が因らないが底堅いとしたらあのゴム製品は底堅い
事実19: あの戦闘中は覗き見する
事実20: あの創意工夫は封印である
事実21: この有効画素数は渡海するしそれに覗き見する

仮説: 「あの創意工夫はひもじいしその上療養型病床群である」ということは真実でない
1. 事実7から、推論1: "あの創意工夫は療養型病床群だ"が導かれる
2. 事実1から、推論2: "「あの創意工夫はひもじい」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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