この新内は装甲車でない
fact1: この差分格子は程遠い fact2: この新内は尽くし難くない fact3: もしもこの新内は細魚であるとしたらそれは白っぽい fact4: もし仮になにかは細魚でないとすれば経済秩序であるし加えて物狂おしい fact5: 「「この差分格子は滅ぼせなくて加えてそれは物狂おしくない」ということは誤りだ」ということは成り立つ fact6: 仮にこの新内が細魚だとすればそれは装甲車だ fact7: もし仮にこの新内が再現性なら装甲車だ fact8: もしその竪芯は子供時分であるとすると「あの貯留液は白っぽい一方で子供時分でない」ということは誤っている fact9: この差分格子は圧電気でないししかも滅ぼせない fact10: もし「とあるものは圧電気だということはない」ということは正しいならばそれは装甲車でない fact11: もしその竪芯は滅ぼせるとすれば「この差分格子は経済秩序でないし更にそれは滅ぼせない」ということは間違っている fact12: もしあの貯留液が物狂おしいとしたらこの新内は細魚だ fact13: その竪芯は尽くし難いということはない fact14: 経済秩序は白っぽい fact15: 「その竪芯は子供時分でないしその上白っぽいということはない」ということは成り立たない fact16: この差分格子は尽くし難くない fact17: もしその竪芯は子供時分であるとしたらそれは滅ぼせる fact18: もしその竪芯が圧電気でないとすればあの貯留液は物狂おしいかまたは白っぽくないか両方である fact19: 仮にこの差分格子は経済秩序だとすると「「あの貯留液は物狂おしいけれどそれは経済秩序でない」ということは誤りである」ということは本当である fact20: もし哀れっぽいものは尽くし難くないとすれば「それは細魚でない」ということは確かである fact21: 仮にあの貯留液が白っぽくないならこの新内は細魚である fact22: その竪芯は哀れっぽい fact23: 「もし仮にその竪芯は圧電気であるなら「その竪芯は子供時分である」ということは事実だ」ということは本当だ fact24: もし仮にこの差分格子は尽くし難くないなら経済秩序でないしさらに滅ぼせない fact25: もし仮にこの差分格子は経済秩序だとすると「この新内は細魚であるけれど経済秩序であるということはない」ということは事実と異なる
void -> assump1: 以下のように仮定する。その竪芯は圧電気である; fact23 & assump1 -> int1: その竪芯は子供時分である; int1 & fact17 -> int2: 「その竪芯は滅ぼせる」ということは成り立つ; int2 & fact11 -> int3: 「この差分格子は経済秩序でなくて更に滅ぼせるということはない」ということは間違っている; fact16 & fact24 -> int4: この差分格子は経済秩序でなくておまけに滅ぼせない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その竪芯は圧電気でない」ということは正しい; int6 & fact18 -> int7: あの貯留液は物狂おしいかまたは白っぽくないか両方である; int7 & fact12 & fact21 -> int8: この新内は細魚だ; int8 & fact6 -> hypothesis;
この新内は装甲車でない
fact28 -> int9: もし「この新内は圧電気でない」ということは真実であるとすると「それは装甲車でない」ということは成り立つ; fact29 -> int10: もしその竪芯は経済秩序であるなら白っぽい; fact30 -> int11: 仮にその竪芯が細魚でないとすればそれは経済秩序であるし物狂おしい; fact31 -> int12: もしもその竪芯が哀れっぽいけれど尽くし難いということはないとすると細魚であるということはない; fact27 & fact26 -> int13: その竪芯は哀れっぽいが尽くし難くない; int12 & int13 -> int14: その竪芯は細魚でない; int11 & int14 -> int15: その竪芯は経済秩序でそれは物狂おしい; int15 -> int16: その竪芯は経済秩序である; int10 & int16 -> int17: その竪芯は白っぽい; int17 -> int18: 「白っぽい」物はある;
$facts$ = fact1: この差分格子は程遠い fact2: この新内は尽くし難くない fact3: もしもこの新内は細魚であるとしたらそれは白っぽい fact4: もし仮になにかは細魚でないとすれば経済秩序であるし加えて物狂おしい fact5: 「「この差分格子は滅ぼせなくて加えてそれは物狂おしくない」ということは誤りだ」ということは成り立つ fact6: 仮にこの新内が細魚だとすればそれは装甲車だ fact7: もし仮にこの新内が再現性なら装甲車だ fact8: もしその竪芯は子供時分であるとすると「あの貯留液は白っぽい一方で子供時分でない」ということは誤っている fact9: この差分格子は圧電気でないししかも滅ぼせない fact10: もし「とあるものは圧電気だということはない」ということは正しいならばそれは装甲車でない fact11: もしその竪芯は滅ぼせるとすれば「この差分格子は経済秩序でないし更にそれは滅ぼせない」ということは間違っている fact12: もしあの貯留液が物狂おしいとしたらこの新内は細魚だ fact13: その竪芯は尽くし難いということはない fact14: 経済秩序は白っぽい fact15: 「その竪芯は子供時分でないしその上白っぽいということはない」ということは成り立たない fact16: この差分格子は尽くし難くない fact17: もしその竪芯は子供時分であるとしたらそれは滅ぼせる fact18: もしその竪芯が圧電気でないとすればあの貯留液は物狂おしいかまたは白っぽくないか両方である fact19: 仮にこの差分格子は経済秩序だとすると「「あの貯留液は物狂おしいけれどそれは経済秩序でない」ということは誤りである」ということは本当である fact20: もし哀れっぽいものは尽くし難くないとすれば「それは細魚でない」ということは確かである fact21: 仮にあの貯留液が白っぽくないならこの新内は細魚である fact22: その竪芯は哀れっぽい fact23: 「もし仮にその竪芯は圧電気であるなら「その竪芯は子供時分である」ということは事実だ」ということは本当だ fact24: もし仮にこの差分格子は尽くし難くないなら経済秩序でないしさらに滅ぼせない fact25: もし仮にこの差分格子は経済秩序だとすると「この新内は細魚であるけれど経済秩序であるということはない」ということは事実と異なる ; $hypothesis$ = この新内は装甲車でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その竪芯は圧電気である; fact23 & assump1 -> int1: その竪芯は子供時分である; int1 & fact17 -> int2: 「その竪芯は滅ぼせる」ということは成り立つ; int2 & fact11 -> int3: 「この差分格子は経済秩序でなくて更に滅ぼせるということはない」ということは間違っている; fact16 & fact24 -> int4: この差分格子は経済秩序でなくておまけに滅ぼせない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その竪芯は圧電気でない」ということは正しい; int6 & fact18 -> int7: あの貯留液は物狂おしいかまたは白っぽくないか両方である; int7 & fact12 & fact21 -> int8: この新内は細魚だ; int8 & fact6 -> 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: 「もし仮にその竪芯は圧電気であるなら「その竪芯は子供時分である」ということは事実だ」ということは本当だ
事実24: もし仮にこの差分格子は尽くし難くないなら経済秩序でないしさらに滅ぼせない
事実25: もし仮にこの差分格子は経済秩序だとすると「この新内は細魚であるけれど経済秩序であるということはない」ということは事実と異なる

仮説: この新内は装甲車でない
1. 仮定1: 以下のように仮定する。その竪芯は圧電気である
2. 事実23と仮定1から、推論1: "その竪芯は子供時分である"が導かれる
3. 推論1と事実17から、推論2: "「その竪芯は滅ぼせる」ということは成り立つ"が導かれる
4. 推論2と事実11から、推論3: "「この差分格子は経済秩序でなくて更に滅ぼせるということはない」ということは間違っている"が導かれる
5. 事実16と事実24から、推論4: "この差分格子は経済秩序でなくておまけに滅ぼせない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その竪芯は圧電気でない」ということは正しい"が導かれる
8. 推論6と事実18から、推論7: "あの貯留液は物狂おしいかまたは白っぽくないか両方である"が導かれる
9. 推論7と事実12と事実21から、推論8: "この新内は細魚だ"が導かれる
10. 推論8と事実6から、仮説が否定される

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