「なにがしかのものは緊張感でない」ということは事実と異なる
fact1: もしも何らかの物が尊敬出来ないとすれば熱苦しい fact2: 仮になにがしかのものは言い尽くせらないならば「レポート上でないしさらにどす黒いということはない」ということは成り立たない fact3: もしあのイメージコントロールサブフォルダがどす黒くておまけにそれが保だとしたら絞り出し袋でない fact4: あのイメージコントロールサブフォルダは保でない fact5: なにがしかのものは保でないとするとそれは言い尽くせる fact6: そのＲＩＺＥは教卓だ fact7: 何らかの物が保障出来る一方で尊敬出来ないとすればそれは縁遠い fact8: もし仮にそのＲＩＺＥは絞り出し袋であるとしたら「あのイメージコントロールサブフォルダはどす黒い」ということは真実である fact9: この富国強兵は隙間無くない fact10: 「居辛くない物はちらつき始める」ということは確かである fact11: 「別除権でない」ものはある fact12: 「そのＲＩＺＥは木版でないけど絞り出し袋である」ということは嘘である fact13: 木版でないけど絞り出し袋であるというものはない fact14: それは木版でないし加えてそれは絞り出し袋だということはないというものはない fact15: もし仮にこの富国強兵が隙間無くないとすればそれは保障出来るが尊敬出来ない fact16: もし仮にあのイメージコントロールサブフォルダがどす黒くて更に言い尽くせれば緊張感でない fact17: とある物は習慣付ける fact18: 仮にあのイメージコントロールサブフォルダが緊張感でないとすれば木版だ fact19: 仮に「あのイメージコントロールサブフォルダは言い尽くせらなくておまけに緊張感でない」ということは嘘であるとしたらそのＲＩＺＥは保だ fact20: もし「そのＲＩＺＥは木版だということはないしさらに絞り出し袋でない」ということは真実でないならば「あのイメージコントロールサブフォルダはどす黒い」ということは成り立つ fact21: 「あのイメージコントロールサブフォルダは絞り出し袋でなくて木版でない」ということは間違いであるとしたらそのＲＩＺＥは言い尽くせる
fact14 -> int1: 「「そのＲＩＺＥは木版でなくてかつ絞り出し袋でない」ということは事実と異なる」ということは真実だ; int1 & fact20 -> int2: あのイメージコントロールサブフォルダはどす黒い; fact5 -> int3: 仮にあのイメージコントロールサブフォルダは保でないなら言い尽くせる; fact4 & int3 -> int4: あのイメージコントロールサブフォルダは言い尽くせる; int2 & int4 -> int5: 「あのイメージコントロールサブフォルダはどす黒くて言い尽くせる」ということは成り立つ; int5 & fact16 -> int6: あのイメージコントロールサブフォルダは緊張感でない; int6 -> hypothesis;
「あのイメージコントロールサブフォルダはレポート上でなくてその上どす黒くない」ということは誤りだ
fact25 -> int7: もし仮にあのイメージコントロールサブフォルダは言い尽くせるということはないとすると「それはレポート上でなくてしかもそれはどす黒くない」ということは確かだということはない; fact24 -> int8: この富国強兵は保障出来るが尊敬出来ないとすると縁遠い; fact22 & fact23 -> int9: この富国強兵は保障出来るけど尊敬出来ない; int8 & int9 -> int10: この富国強兵は縁遠い; int10 -> int11: なんらかのものは縁遠い;
$facts$ = fact1: もしも何らかの物が尊敬出来ないとすれば熱苦しい fact2: 仮になにがしかのものは言い尽くせらないならば「レポート上でないしさらにどす黒いということはない」ということは成り立たない fact3: もしあのイメージコントロールサブフォルダがどす黒くておまけにそれが保だとしたら絞り出し袋でない fact4: あのイメージコントロールサブフォルダは保でない fact5: なにがしかのものは保でないとするとそれは言い尽くせる fact6: そのＲＩＺＥは教卓だ fact7: 何らかの物が保障出来る一方で尊敬出来ないとすればそれは縁遠い fact8: もし仮にそのＲＩＺＥは絞り出し袋であるとしたら「あのイメージコントロールサブフォルダはどす黒い」ということは真実である fact9: この富国強兵は隙間無くない fact10: 「居辛くない物はちらつき始める」ということは確かである fact11: 「別除権でない」ものはある fact12: 「そのＲＩＺＥは木版でないけど絞り出し袋である」ということは嘘である fact13: 木版でないけど絞り出し袋であるというものはない fact14: それは木版でないし加えてそれは絞り出し袋だということはないというものはない fact15: もし仮にこの富国強兵が隙間無くないとすればそれは保障出来るが尊敬出来ない fact16: もし仮にあのイメージコントロールサブフォルダがどす黒くて更に言い尽くせれば緊張感でない fact17: とある物は習慣付ける fact18: 仮にあのイメージコントロールサブフォルダが緊張感でないとすれば木版だ fact19: 仮に「あのイメージコントロールサブフォルダは言い尽くせらなくておまけに緊張感でない」ということは嘘であるとしたらそのＲＩＺＥは保だ fact20: もし「そのＲＩＺＥは木版だということはないしさらに絞り出し袋でない」ということは真実でないならば「あのイメージコントロールサブフォルダはどす黒い」ということは成り立つ fact21: 「あのイメージコントロールサブフォルダは絞り出し袋でなくて木版でない」ということは間違いであるとしたらそのＲＩＺＥは言い尽くせる ; $hypothesis$ = 「なにがしかのものは緊張感でない」ということは事実と異なる ; $proof$ = 
fact14 -> int1: 「「そのＲＩＺＥは木版でなくてかつ絞り出し袋でない」ということは事実と異なる」ということは真実だ; int1 & fact20 -> int2: あのイメージコントロールサブフォルダはどす黒い; fact5 -> int3: 仮にあのイメージコントロールサブフォルダは保でないなら言い尽くせる; fact4 & int3 -> int4: あのイメージコントロールサブフォルダは言い尽くせる; int2 & int4 -> int5: 「あのイメージコントロールサブフォルダはどす黒くて言い尽くせる」ということは成り立つ; int5 & fact16 -> int6: あのイメージコントロールサブフォルダは緊張感でない; int6 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が尊敬出来ないとすれば熱苦しい
事実2: 仮になにがしかのものは言い尽くせらないならば「レポート上でないしさらにどす黒いということはない」ということは成り立たない
事実3: もしあのイメージコントロールサブフォルダがどす黒くておまけにそれが保だとしたら絞り出し袋でない
事実4: あのイメージコントロールサブフォルダは保でない
事実5: なにがしかのものは保でないとするとそれは言い尽くせる
事実6: そのＲＩＺＥは教卓だ
事実7: 何らかの物が保障出来る一方で尊敬出来ないとすればそれは縁遠い
事実8: もし仮にそのＲＩＺＥは絞り出し袋であるとしたら「あのイメージコントロールサブフォルダはどす黒い」ということは真実である
事実9: この富国強兵は隙間無くない
事実10: 「居辛くない物はちらつき始める」ということは確かである
事実11: 「別除権でない」ものはある
事実12: 「そのＲＩＺＥは木版でないけど絞り出し袋である」ということは嘘である
事実13: 木版でないけど絞り出し袋であるというものはない
事実14: それは木版でないし加えてそれは絞り出し袋だということはないというものはない
事実15: もし仮にこの富国強兵が隙間無くないとすればそれは保障出来るが尊敬出来ない
事実16: もし仮にあのイメージコントロールサブフォルダがどす黒くて更に言い尽くせれば緊張感でない
事実17: とある物は習慣付ける
事実18: 仮にあのイメージコントロールサブフォルダが緊張感でないとすれば木版だ
事実19: 仮に「あのイメージコントロールサブフォルダは言い尽くせらなくておまけに緊張感でない」ということは嘘であるとしたらそのＲＩＺＥは保だ
事実20: もし「そのＲＩＺＥは木版だということはないしさらに絞り出し袋でない」ということは真実でないならば「あのイメージコントロールサブフォルダはどす黒い」ということは成り立つ
事実21: 「あのイメージコントロールサブフォルダは絞り出し袋でなくて木版でない」ということは間違いであるとしたらそのＲＩＺＥは言い尽くせる

仮説: 「なにがしかのものは緊張感でない」ということは事実と異なる
1. 事実14から、推論1: "「「そのＲＩＺＥは木版でなくてかつ絞り出し袋でない」ということは事実と異なる」ということは真実だ"が導かれる
2. 推論1と事実20から、推論2: "あのイメージコントロールサブフォルダはどす黒い"が導かれる
3. 事実5から、推論3: "仮にあのイメージコントロールサブフォルダは保でないなら言い尽くせる"が導かれる
4. 事実4と推論3から、推論4: "あのイメージコントロールサブフォルダは言い尽くせる"が導かれる
5. 推論2と推論4から、推論5: "「あのイメージコントロールサブフォルダはどす黒くて言い尽くせる」ということは成り立つ"が導かれる
6. 推論5と事実16から、推論6: "あのイメージコントロールサブフォルダは緊張感でない"が導かれる
7. 推論6から、仮説が否定される

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