この明夜は腑甲斐無くない
fact1: 仮に「この葛籠は矮小化する」ということは成り立つとすると「それは供給しないしその上それは覚ゆ」ということは誤りである fact2: 血腥いということはない物はある fact3: タイトルらしくない物は開析する fact4: もし仮にあのポリエステルがタイトルらしくないとすると開析する fact5: あのポリエステルが開析すればこの明夜は腑甲斐無い fact6: 「壊れ易くないか開析するかもしくは両方な」物があるとしたらこのメーラは開析する fact7: 「この明夜は腑甲斐無くないがしかしタイトルらしい」ということは誤りだ fact8: もし「なにかはタイトルらしくないけど開析する」ということは成り立たないとしたらそれは腑甲斐無い fact9: もし仮に「何らかのものは書き取らないけれどタイトルらしい」ということは間違いなら開析する fact10: もしも「血腥くない」物はあれば「あのポリエステルは書き取らないがタイトルらしい」ということは偽である fact11: その目的菌は腑甲斐無い fact12: 仮に「再発し易くない」物はあれば「「この明夜は個人所有でないがしかしそれは電動チューリップである」ということは事実と異なる」ということは成り立つ fact13: もし仮にその古が焼け窶れないとしたらそのハードウェアエンコード方式は壊れ易くないかあるいは開析するか両方ともだ fact14: その古が供給するということはないとするとそれは焼け窶れるということはなくてかつそれは忝い fact15: 仮に「ある物はタイトルらしくないけれど書き取る」ということは誤りだとすると腑甲斐無い fact16: 「血腥い」ものはある fact17: この葛籠は矮小化するしおまけに起こり易い fact18: もし仮に「この葛籠は供給するということはない一方で覚ゆ」ということは嘘だとしたらその古は供給しない fact19: 「腑甲斐無くない」ものはある
fact9 -> int1: 仮に「あのポリエステルは書き取るということはない一方でタイトルらしい」ということは間違っているとしたら開析する; fact2 & fact10 -> int2: 「あのポリエステルは書き取らないがしかしタイトルらしい」ということは嘘である; int1 & int2 -> int3: あのポリエステルは開析する; int3 & fact5 -> hypothesis;
この明夜は腑甲斐無いということはない
fact22 -> int4: この葛籠は矮小化する; fact24 & int4 -> int5: 「この葛籠は供給しない一方で覚ゆ」ということは成り立つということはない; fact20 & int5 -> int6: その古は供給しない; fact21 & int6 -> int7: その古は焼け窶れない一方で忝い; int7 -> int8: その古は焼け窶れない; fact25 & int8 -> int9: そのハードウェアエンコード方式は壊れ易くないかあるいはそれは開析する; int9 -> int10: とある物は壊れ易くないかもしくはそれは開析するか両方ともである; int10 & fact23 -> int11: 「このメーラは開析しない」ということは誤りだ; int11 -> int12: このメーラは血腥いかあるいは開析するかまたは両方だ; int12 -> int13: なんらかの物は血腥いかもしくは開析するかもしくは両方だ;
$facts$ = fact1: 仮に「この葛籠は矮小化する」ということは成り立つとすると「それは供給しないしその上それは覚ゆ」ということは誤りである fact2: 血腥いということはない物はある fact3: タイトルらしくない物は開析する fact4: もし仮にあのポリエステルがタイトルらしくないとすると開析する fact5: あのポリエステルが開析すればこの明夜は腑甲斐無い fact6: 「壊れ易くないか開析するかもしくは両方な」物があるとしたらこのメーラは開析する fact7: 「この明夜は腑甲斐無くないがしかしタイトルらしい」ということは誤りだ fact8: もし「なにかはタイトルらしくないけど開析する」ということは成り立たないとしたらそれは腑甲斐無い fact9: もし仮に「何らかのものは書き取らないけれどタイトルらしい」ということは間違いなら開析する fact10: もしも「血腥くない」物はあれば「あのポリエステルは書き取らないがタイトルらしい」ということは偽である fact11: その目的菌は腑甲斐無い fact12: 仮に「再発し易くない」物はあれば「「この明夜は個人所有でないがしかしそれは電動チューリップである」ということは事実と異なる」ということは成り立つ fact13: もし仮にその古が焼け窶れないとしたらそのハードウェアエンコード方式は壊れ易くないかあるいは開析するか両方ともだ fact14: その古が供給するということはないとするとそれは焼け窶れるということはなくてかつそれは忝い fact15: 仮に「ある物はタイトルらしくないけれど書き取る」ということは誤りだとすると腑甲斐無い fact16: 「血腥い」ものはある fact17: この葛籠は矮小化するしおまけに起こり易い fact18: もし仮に「この葛籠は供給するということはない一方で覚ゆ」ということは嘘だとしたらその古は供給しない fact19: 「腑甲斐無くない」ものはある ; $hypothesis$ = この明夜は腑甲斐無くない ; $proof$ = 
fact9 -> int1: 仮に「あのポリエステルは書き取るということはない一方でタイトルらしい」ということは間違っているとしたら開析する; fact2 & fact10 -> int2: 「あのポリエステルは書き取らないがしかしタイトルらしい」ということは嘘である; int1 & int2 -> int3: あのポリエステルは開析する; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「この葛籠は矮小化する」ということは成り立つとすると「それは供給しないしその上それは覚ゆ」ということは誤りである
事実2: 血腥いということはない物はある
事実3: タイトルらしくない物は開析する
事実4: もし仮にあのポリエステルがタイトルらしくないとすると開析する
事実5: あのポリエステルが開析すればこの明夜は腑甲斐無い
事実6: 「壊れ易くないか開析するかもしくは両方な」物があるとしたらこのメーラは開析する
事実7: 「この明夜は腑甲斐無くないがしかしタイトルらしい」ということは誤りだ
事実8: もし「なにかはタイトルらしくないけど開析する」ということは成り立たないとしたらそれは腑甲斐無い
事実9: もし仮に「何らかのものは書き取らないけれどタイトルらしい」ということは間違いなら開析する
事実10: もしも「血腥くない」物はあれば「あのポリエステルは書き取らないがタイトルらしい」ということは偽である
事実11: その目的菌は腑甲斐無い
事実12: 仮に「再発し易くない」物はあれば「「この明夜は個人所有でないがしかしそれは電動チューリップである」ということは事実と異なる」ということは成り立つ
事実13: もし仮にその古が焼け窶れないとしたらそのハードウェアエンコード方式は壊れ易くないかあるいは開析するか両方ともだ
事実14: その古が供給するということはないとするとそれは焼け窶れるということはなくてかつそれは忝い
事実15: 仮に「ある物はタイトルらしくないけれど書き取る」ということは誤りだとすると腑甲斐無い
事実16: 「血腥い」ものはある
事実17: この葛籠は矮小化するしおまけに起こり易い
事実18: もし仮に「この葛籠は供給するということはない一方で覚ゆ」ということは嘘だとしたらその古は供給しない
事実19: 「腑甲斐無くない」ものはある

仮説: この明夜は腑甲斐無くない
1. 事実9から、推論1: "仮に「あのポリエステルは書き取るということはない一方でタイトルらしい」ということは間違っているとしたら開析する"が導かれる
2. 事実2と事実10から、推論2: "「あのポリエステルは書き取らないがしかしタイトルらしい」ということは嘘である"が導かれる
3. 推論1と推論2から、推論3: "あのポリエステルは開析する"が導かれる
4. 推論3と事実5から、仮説が否定される

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