その不燃性は断定し難いがしかし重層しない
fact1: 「その不燃性は断定し難くないけど嬉しい」ということは成り立たない fact2: もしなにがしかのものは安っぽいなら「それは断定し難いけれど重層しない」ということは事実と異なる fact3: もしもあの小橋が軽快しないとすればそのチャプター．は走破しないし恨めしくない fact4: 「そのチャプター．は走破するということはないし恨めしくない」ということは誤りだ fact5: あの販売力は約束出来るかあるいは領巾であるか両方だ fact6: その不燃性は走破するということはない fact7: もしもなにがしかの物は嬉しいなら「それは恨めしいしさらに軽快しない」ということは成り立たない fact8: 「あのアメラジアンは見極め難くないしまた約束出来ない」ということは成り立たない fact9: もし仮にあの品川沖が嬉しくなくて音沙汰であるということはないとしたらあの小橋はまどろっこしい fact10: もしもとある物は約束出来るとすれば「それは恨めしいが音沙汰だということはない」ということは間違いである fact11: もし仮にそのチャプター．が走破しないし重層しないならばその不燃性は断定し難い fact12: あの小橋は走破しない fact13: 仮に「あの品川沖は嬉しくないしその上それは音沙汰でない」ということは間違いだとしたらその不燃性は安っぽい fact14: もしもあの小橋はまどろっこしいかあるいは約束出来るかまたは両方ともだとすれば軽快しない
void -> assump1: 以下のように仮定する。あの品川沖は嬉しくないしさらに音沙汰だということはない; fact9 & assump1 -> int1: あの小橋はまどろっこしい; int1 -> int2: あの小橋はまどろっこしいかまたは約束出来る; int2 & fact14 -> int3: あの小橋は軽快しない; int3 & fact3 -> int4: そのチャプター．は走破しないしおまけに恨めしいということはない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの品川沖は嬉しくなくて音沙汰であるということはない」ということは偽だ; int6 & fact13 -> int7: その不燃性は安っぽい; fact2 -> int8: その不燃性は安っぽいならば「断定し難いけれど重層しない」ということは誤りである; int7 & int8 -> hypothesis;
$facts$ = fact1: 「その不燃性は断定し難くないけど嬉しい」ということは成り立たない fact2: もしなにがしかのものは安っぽいなら「それは断定し難いけれど重層しない」ということは事実と異なる fact3: もしもあの小橋が軽快しないとすればそのチャプター．は走破しないし恨めしくない fact4: 「そのチャプター．は走破するということはないし恨めしくない」ということは誤りだ fact5: あの販売力は約束出来るかあるいは領巾であるか両方だ fact6: その不燃性は走破するということはない fact7: もしもなにがしかの物は嬉しいなら「それは恨めしいしさらに軽快しない」ということは成り立たない fact8: 「あのアメラジアンは見極め難くないしまた約束出来ない」ということは成り立たない fact9: もし仮にあの品川沖が嬉しくなくて音沙汰であるということはないとしたらあの小橋はまどろっこしい fact10: もしもとある物は約束出来るとすれば「それは恨めしいが音沙汰だということはない」ということは間違いである fact11: もし仮にそのチャプター．が走破しないし重層しないならばその不燃性は断定し難い fact12: あの小橋は走破しない fact13: 仮に「あの品川沖は嬉しくないしその上それは音沙汰でない」ということは間違いだとしたらその不燃性は安っぽい fact14: もしもあの小橋はまどろっこしいかあるいは約束出来るかまたは両方ともだとすれば軽快しない ; $hypothesis$ = その不燃性は断定し難いがしかし重層しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの品川沖は嬉しくないしさらに音沙汰だということはない; fact9 & assump1 -> int1: あの小橋はまどろっこしい; int1 -> int2: あの小橋はまどろっこしいかまたは約束出来る; int2 & fact14 -> int3: あの小橋は軽快しない; int3 & fact3 -> int4: そのチャプター．は走破しないしおまけに恨めしいということはない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの品川沖は嬉しくなくて音沙汰であるということはない」ということは偽だ; int6 & fact13 -> int7: その不燃性は安っぽい; fact2 -> int8: その不燃性は安っぽいならば「断定し難いけれど重層しない」ということは誤りである; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「その不燃性は断定し難くないけど嬉しい」ということは成り立たない
事実2: もしなにがしかのものは安っぽいなら「それは断定し難いけれど重層しない」ということは事実と異なる
事実3: もしもあの小橋が軽快しないとすればそのチャプター．は走破しないし恨めしくない
事実4: 「そのチャプター．は走破するということはないし恨めしくない」ということは誤りだ
事実5: あの販売力は約束出来るかあるいは領巾であるか両方だ
事実6: その不燃性は走破するということはない
事実7: もしもなにがしかの物は嬉しいなら「それは恨めしいしさらに軽快しない」ということは成り立たない
事実8: 「あのアメラジアンは見極め難くないしまた約束出来ない」ということは成り立たない
事実9: もし仮にあの品川沖が嬉しくなくて音沙汰であるということはないとしたらあの小橋はまどろっこしい
事実10: もしもとある物は約束出来るとすれば「それは恨めしいが音沙汰だということはない」ということは間違いである
事実11: もし仮にそのチャプター．が走破しないし重層しないならばその不燃性は断定し難い
事実12: あの小橋は走破しない
事実13: 仮に「あの品川沖は嬉しくないしその上それは音沙汰でない」ということは間違いだとしたらその不燃性は安っぽい
事実14: もしもあの小橋はまどろっこしいかあるいは約束出来るかまたは両方ともだとすれば軽快しない

仮説: その不燃性は断定し難いがしかし重層しない
1. 仮定1: 以下のように仮定する。あの品川沖は嬉しくないしさらに音沙汰だということはない
2. 事実9と仮定1から、推論1: "あの小橋はまどろっこしい"が導かれる
3. 推論1から、推論2: "あの小橋はまどろっこしいかまたは約束出来る"が導かれる
4. 推論2と事実14から、推論3: "あの小橋は軽快しない"が導かれる
5. 推論3と事実3から、推論4: "そのチャプター．は走破しないしおまけに恨めしいということはない"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの品川沖は嬉しくなくて音沙汰であるということはない」ということは偽だ"が導かれる
8. 推論6と事実13から、推論7: "その不燃性は安っぽい"が導かれる
9. 事実2から、推論8: "その不燃性は安っぽいならば「断定し難いけれど重層しない」ということは誤りである"が導かれる
10. 推論7と推論8から、仮説が否定される

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