「何かは歩き出すしさらにそれは聞こえる」ということは成り立たない
fact1: もしもなんらかのものは物凄まじくないけれど本当らしいならそれは歩き出す fact2: 「建築協定である」物はある fact3: 度し難いものがクルーズ旅行だとすると狡っ辛くない fact4: 仮になにがしかのものは卑しいということはないとすると「それは狡っ辛くて若し」ということは嘘だ fact5: この一般問題は聞こえる fact6: 「卑しくないし水兵さんでない」物はある fact7: もしあのポスト現実主義が建築協定でないし狡っ辛いということはないならこの環境負荷量は本当らしい fact8: 仮にその絶対的価値が雄弁家達であるということはないならあのポスト現実主義は建築協定でない fact9: 「この環境負荷量は廃絶するし加えて物凄まじい」ということは成り立たないとすれば物凄まじくない fact10: 「この環境負荷量は廃絶するしさらに物凄まじい」ということは間違いだ fact11: この環境負荷量は雄弁家達である fact12: この環境負荷量は引き下ろすということはない fact13: あのポスト現実主義はクルーズ旅行である fact14: 仮になにかは建築協定でないとすれば「「それは水兵さんでないけれど雄弁家達だ」ということは真実だ」ということは嘘だ fact15: 仮になにがしかの物が卑しいということはないしおまけに水兵さんでないならばその絶対的価値は雄弁家達でない fact16: あのポスト現実主義は度し難い fact17: この環境負荷量は聞こえる
fact6 & fact15 -> int1: その絶対的価値は雄弁家達でない; int1 & fact8 -> int2: あのポスト現実主義は建築協定でない; fact3 -> int3: もし仮にあのポスト現実主義が度し難いしおまけにそれがクルーズ旅行だとすると狡っ辛いということはない; fact13 & fact16 -> int4: あのポスト現実主義は度し難くて加えてクルーズ旅行だ; int3 & int4 -> int5: あのポスト現実主義は狡っ辛くない; int2 & int5 -> int6: あのポスト現実主義は建築協定でないし狡っ辛くない; int6 & fact7 -> int7: この環境負荷量は本当らしい; fact10 & fact9 -> int8: この環境負荷量は物凄まじくない; int7 & int8 -> int9: この環境負荷量は物凄まじくない一方で本当らしい; fact1 -> int10: もしこの環境負荷量が物凄まじくないけれど本当らしいならばそれは歩き出す; int9 & int10 -> int11: この環境負荷量は歩き出す; int11 & fact17 -> int12: この環境負荷量は歩き出すし聞こえる; int12 -> hypothesis;
「この環境負荷量は狡っ辛いしおまけにそれは若し」ということは成り立つということはない
fact18 -> int13: もしこの環境負荷量は卑しいということはないとすると「それは狡っ辛いし若し」ということは誤っている; fact19 -> int14: その絶対的価値は建築協定でないなら「水兵さんでないけど雄弁家達だ」ということは成り立たない;
$facts$ = fact1: もしもなんらかのものは物凄まじくないけれど本当らしいならそれは歩き出す fact2: 「建築協定である」物はある fact3: 度し難いものがクルーズ旅行だとすると狡っ辛くない fact4: 仮になにがしかのものは卑しいということはないとすると「それは狡っ辛くて若し」ということは嘘だ fact5: この一般問題は聞こえる fact6: 「卑しくないし水兵さんでない」物はある fact7: もしあのポスト現実主義が建築協定でないし狡っ辛いということはないならこの環境負荷量は本当らしい fact8: 仮にその絶対的価値が雄弁家達であるということはないならあのポスト現実主義は建築協定でない fact9: 「この環境負荷量は廃絶するし加えて物凄まじい」ということは成り立たないとすれば物凄まじくない fact10: 「この環境負荷量は廃絶するしさらに物凄まじい」ということは間違いだ fact11: この環境負荷量は雄弁家達である fact12: この環境負荷量は引き下ろすということはない fact13: あのポスト現実主義はクルーズ旅行である fact14: 仮になにかは建築協定でないとすれば「「それは水兵さんでないけれど雄弁家達だ」ということは真実だ」ということは嘘だ fact15: 仮になにがしかの物が卑しいということはないしおまけに水兵さんでないならばその絶対的価値は雄弁家達でない fact16: あのポスト現実主義は度し難い fact17: この環境負荷量は聞こえる ; $hypothesis$ = 「何かは歩き出すしさらにそれは聞こえる」ということは成り立たない ; $proof$ = 
fact6 & fact15 -> int1: その絶対的価値は雄弁家達でない; int1 & fact8 -> int2: あのポスト現実主義は建築協定でない; fact3 -> int3: もし仮にあのポスト現実主義が度し難いしおまけにそれがクルーズ旅行だとすると狡っ辛いということはない; fact13 & fact16 -> int4: あのポスト現実主義は度し難くて加えてクルーズ旅行だ; int3 & int4 -> int5: あのポスト現実主義は狡っ辛くない; int2 & int5 -> int6: あのポスト現実主義は建築協定でないし狡っ辛くない; int6 & fact7 -> int7: この環境負荷量は本当らしい; fact10 & fact9 -> int8: この環境負荷量は物凄まじくない; int7 & int8 -> int9: この環境負荷量は物凄まじくない一方で本当らしい; fact1 -> int10: もしこの環境負荷量が物凄まじくないけれど本当らしいならばそれは歩き出す; int9 & int10 -> int11: この環境負荷量は歩き出す; int11 & fact17 -> int12: この環境負荷量は歩き出すし聞こえる; int12 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは物凄まじくないけれど本当らしいならそれは歩き出す
事実2: 「建築協定である」物はある
事実3: 度し難いものがクルーズ旅行だとすると狡っ辛くない
事実4: 仮になにがしかのものは卑しいということはないとすると「それは狡っ辛くて若し」ということは嘘だ
事実5: この一般問題は聞こえる
事実6: 「卑しくないし水兵さんでない」物はある
事実7: もしあのポスト現実主義が建築協定でないし狡っ辛いということはないならこの環境負荷量は本当らしい
事実8: 仮にその絶対的価値が雄弁家達であるということはないならあのポスト現実主義は建築協定でない
事実9: 「この環境負荷量は廃絶するし加えて物凄まじい」ということは成り立たないとすれば物凄まじくない
事実10: 「この環境負荷量は廃絶するしさらに物凄まじい」ということは間違いだ
事実11: この環境負荷量は雄弁家達である
事実12: この環境負荷量は引き下ろすということはない
事実13: あのポスト現実主義はクルーズ旅行である
事実14: 仮になにかは建築協定でないとすれば「「それは水兵さんでないけれど雄弁家達だ」ということは真実だ」ということは嘘だ
事実15: 仮になにがしかの物が卑しいということはないしおまけに水兵さんでないならばその絶対的価値は雄弁家達でない
事実16: あのポスト現実主義は度し難い
事実17: この環境負荷量は聞こえる

仮説: 「何かは歩き出すしさらにそれは聞こえる」ということは成り立たない
1. 事実6と事実15から、推論1: "その絶対的価値は雄弁家達でない"が導かれる
2. 推論1と事実8から、推論2: "あのポスト現実主義は建築協定でない"が導かれる
3. 事実3から、推論3: "もし仮にあのポスト現実主義が度し難いしおまけにそれがクルーズ旅行だとすると狡っ辛いということはない"が導かれる
4. 事実13と事実16から、推論4: "あのポスト現実主義は度し難くて加えてクルーズ旅行だ"が導かれる
5. 推論3と推論4から、推論5: "あのポスト現実主義は狡っ辛くない"が導かれる
6. 推論2と推論5から、推論6: "あのポスト現実主義は建築協定でないし狡っ辛くない"が導かれる
7. 推論6と事実7から、推論7: "この環境負荷量は本当らしい"が導かれる
8. 事実10と事実9から、推論8: "この環境負荷量は物凄まじくない"が導かれる
9. 推論7と推論8から、推論9: "この環境負荷量は物凄まじくない一方で本当らしい"が導かれる
10. 事実1から、推論10: "もしこの環境負荷量が物凄まじくないけれど本当らしいならばそれは歩き出す"が導かれる
11. 推論9と推論10から、推論11: "この環境負荷量は歩き出す"が導かれる
12. 推論11と事実17から、推論12: "この環境負荷量は歩き出すし聞こえる"が導かれる
13. 推論12から、仮説が否定される

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