「「この墓地は煙たくてＣ列だ」ということは成り立つ」ということは成り立たない
fact1: もしなにがしかの物はこじるということはないなら「それは呆気ないということはなくてそれは乳臭い」ということは誤りである fact2: 「あの統計数字は横取りであるしさらに逃げ回る」ということは確かである fact3: この墓地は色っぽい fact4: もしあの駿府城は歩き辛いということはないならば「あの確約は標準仕様でそれに拡大する」ということは間違っている fact5: あの外来語は乳臭い fact6: もしなにがしかの物はこじれば「それは乳臭いし更にそれははしたなくない」ということは真実でない fact7: もし「とある物は乳臭くない」ということは確かであるとすれば「それは煙たいしＣ列だ」ということは成り立つということはない fact8: もし仮にあの確約がＣ列であるとしたらこの墓地は乳臭い fact9: このリボ払いはＣ列である fact10: あのＩＣタグは煙たい fact11: 「あの確約はＣ列である」ということは誤っていない fact12: 仮にあの確約が乳臭いならこの墓地はＣ列である fact13: あの確約はＣ列であるとしたら「乳臭いけれどこじらない」ということは間違っている fact14: この墓地は乳臭い fact15: あの確約は乳臭い fact16: 「なんらかのものは標準仕様だしまた拡大する」ということは誤りならばそれははしたなくない fact17: もしもあの確約が乳臭くなくてその上はしたないということはないならばあの墓地は乳臭くない fact18: あの駿府城はＣ列だ fact19: もし「なんらかのものは呆気なくないがそれは乳臭い」ということは成り立たないなら乳臭くない fact20: この墓地が乳臭いとしたらあの確約はＣ列だ fact21: あの確約は参照する fact22: あの確約がはしたないとするとＣ列である fact23: この墓地は煙たい
fact12 & fact15 -> int1: この墓地はＣ列だ; int1 & fact23 -> hypothesis;
あの造精能は煙たくてそれは内在する
$facts$ = fact1: もしなにがしかの物はこじるということはないなら「それは呆気ないということはなくてそれは乳臭い」ということは誤りである fact2: 「あの統計数字は横取りであるしさらに逃げ回る」ということは確かである fact3: この墓地は色っぽい fact4: もしあの駿府城は歩き辛いということはないならば「あの確約は標準仕様でそれに拡大する」ということは間違っている fact5: あの外来語は乳臭い fact6: もしなにがしかの物はこじれば「それは乳臭いし更にそれははしたなくない」ということは真実でない fact7: もし「とある物は乳臭くない」ということは確かであるとすれば「それは煙たいしＣ列だ」ということは成り立つということはない fact8: もし仮にあの確約がＣ列であるとしたらこの墓地は乳臭い fact9: このリボ払いはＣ列である fact10: あのＩＣタグは煙たい fact11: 「あの確約はＣ列である」ということは誤っていない fact12: 仮にあの確約が乳臭いならこの墓地はＣ列である fact13: あの確約はＣ列であるとしたら「乳臭いけれどこじらない」ということは間違っている fact14: この墓地は乳臭い fact15: あの確約は乳臭い fact16: 「なんらかのものは標準仕様だしまた拡大する」ということは誤りならばそれははしたなくない fact17: もしもあの確約が乳臭くなくてその上はしたないということはないならばあの墓地は乳臭くない fact18: あの駿府城はＣ列だ fact19: もし「なんらかのものは呆気なくないがそれは乳臭い」ということは成り立たないなら乳臭くない fact20: この墓地が乳臭いとしたらあの確約はＣ列だ fact21: あの確約は参照する fact22: あの確約がはしたないとするとＣ列である fact23: この墓地は煙たい ; $hypothesis$ = 「「この墓地は煙たくてＣ列だ」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact12 & fact15 -> int1: この墓地はＣ列だ; int1 & fact23 -> 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: この墓地は煙たい

仮説: 「「この墓地は煙たくてＣ列だ」ということは成り立つ」ということは成り立たない
1. 事実12と事実15から、推論1: "この墓地はＣ列だ"が導かれる
2. 推論1と事実23から、仮説が否定される

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