あのＶＨＳは浅いしおまけに所管省庁だ
fact1: 「その下士官候補者は生かせないし更に駆け始めない」ということは成り立たないならば優良保証でない fact2: あのＶＨＳは優良保証でない fact3: なにかは習慣化するなら「優良保証であるということはないがしかし古めかしい」ということは成り立たない fact4: 「もしもその下士官候補者が浅いということはないならあのＶＨＳは浅くないがしかし優良保証だ」ということは事実だ fact5: 「あのＶＨＳは浅くないけど駆け始める」ということは間違いである fact6: 「その下士官候補者は優良保証でなくてまたそれは所管省庁でない」ということは間違っている fact7: もし仮に「なにがしかの物は習慣化するということはなくておまけにそれは古めかしくない」ということは事実と異なればそれは浅い fact8: なにがしかの物が勿体振るとすると指定知的障害児施設等だ fact9: 「あのＶＨＳは御恥ずかしい」ということは真実である fact10: ある物は辺り前でないならば「それは浅いしさらに所管省庁だ」ということは成り立たない fact11: 「その下士官候補者は熱し易いということはないしその上優良保証でない」ということは成り立たない fact12: 「あのＶＨＳは習慣化するということはなくて更に古めかしくない」ということは間違いである fact13: その下士官候補者は素晴らしい fact14: もし仮にあのＶＨＳが生かせない一方でそれは優良保証であるとすれば習慣化する fact15: もしもその下士官候補者が優良保証でないならあのＶＨＳは優良保証でないけれど辺り前だ fact16: その下士官候補者は浅い fact17: その摩擦係数は浅くないけれど働き振りならばそれは右肩である fact18: 仮になにがしかの物が乗ずるなら完熟トマトである fact19: もし仮に何かは優良保証でないけどそれが辺り前ならばそれは所管省庁である fact20: その下士官候補者が生かせるとすればそれは優良保証でない fact21: 「その下士官候補者は生かせないしそれは駆け始めない」ということは間違っている fact22: もしあのＶＨＳは生かせるし所管省庁であるとするとそれは優良保証だ
fact1 & fact21 -> int1: その下士官候補者は優良保証であるということはない; int1 & fact15 -> int2: あのＶＨＳは優良保証でないけどそれは辺り前だ; fact19 -> int3: もしもあのＶＨＳが優良保証でないけれど辺り前なら所管省庁である; int2 & int3 -> int4: あのＶＨＳは所管省庁だ; fact7 -> int5: もしも「あのＶＨＳは習慣化しないし更に古めかしくない」ということは本当でないならばそれは浅い; int5 & fact12 -> int6: あのＶＨＳは浅い; int4 & int6 -> hypothesis;
「「あのＶＨＳは浅くて更に所管省庁である」ということは真実である」ということは偽だ
fact23 -> int7: もしあのＶＨＳは辺り前であるということはないなら「それは浅いし更に所管省庁である」ということは偽だ; fact24 -> int8: もしあのＶＨＳは習慣化するとすれば「優良保証でないしさらに古めかしい」ということは成り立たない;
$facts$ = fact1: 「その下士官候補者は生かせないし更に駆け始めない」ということは成り立たないならば優良保証でない fact2: あのＶＨＳは優良保証でない fact3: なにかは習慣化するなら「優良保証であるということはないがしかし古めかしい」ということは成り立たない fact4: 「もしもその下士官候補者が浅いということはないならあのＶＨＳは浅くないがしかし優良保証だ」ということは事実だ fact5: 「あのＶＨＳは浅くないけど駆け始める」ということは間違いである fact6: 「その下士官候補者は優良保証でなくてまたそれは所管省庁でない」ということは間違っている fact7: もし仮に「なにがしかの物は習慣化するということはなくておまけにそれは古めかしくない」ということは事実と異なればそれは浅い fact8: なにがしかの物が勿体振るとすると指定知的障害児施設等だ fact9: 「あのＶＨＳは御恥ずかしい」ということは真実である fact10: ある物は辺り前でないならば「それは浅いしさらに所管省庁だ」ということは成り立たない fact11: 「その下士官候補者は熱し易いということはないしその上優良保証でない」ということは成り立たない fact12: 「あのＶＨＳは習慣化するということはなくて更に古めかしくない」ということは間違いである fact13: その下士官候補者は素晴らしい fact14: もし仮にあのＶＨＳが生かせない一方でそれは優良保証であるとすれば習慣化する fact15: もしもその下士官候補者が優良保証でないならあのＶＨＳは優良保証でないけれど辺り前だ fact16: その下士官候補者は浅い fact17: その摩擦係数は浅くないけれど働き振りならばそれは右肩である fact18: 仮になにがしかの物が乗ずるなら完熟トマトである fact19: もし仮に何かは優良保証でないけどそれが辺り前ならばそれは所管省庁である fact20: その下士官候補者が生かせるとすればそれは優良保証でない fact21: 「その下士官候補者は生かせないしそれは駆け始めない」ということは間違っている fact22: もしあのＶＨＳは生かせるし所管省庁であるとするとそれは優良保証だ ; $hypothesis$ = あのＶＨＳは浅いしおまけに所管省庁だ ; $proof$ = 
fact1 & fact21 -> int1: その下士官候補者は優良保証であるということはない; int1 & fact15 -> int2: あのＶＨＳは優良保証でないけどそれは辺り前だ; fact19 -> int3: もしもあのＶＨＳが優良保証でないけれど辺り前なら所管省庁である; int2 & int3 -> int4: あのＶＨＳは所管省庁だ; fact7 -> int5: もしも「あのＶＨＳは習慣化しないし更に古めかしくない」ということは本当でないならばそれは浅い; int5 & fact12 -> int6: あのＶＨＳは浅い; int4 & int6 -> hypothesis; __PROVED__
事実1: 「その下士官候補者は生かせないし更に駆け始めない」ということは成り立たないならば優良保証でない
事実2: あのＶＨＳは優良保証でない
事実3: なにかは習慣化するなら「優良保証であるということはないがしかし古めかしい」ということは成り立たない
事実4: 「もしもその下士官候補者が浅いということはないならあのＶＨＳは浅くないがしかし優良保証だ」ということは事実だ
事実5: 「あのＶＨＳは浅くないけど駆け始める」ということは間違いである
事実6: 「その下士官候補者は優良保証でなくてまたそれは所管省庁でない」ということは間違っている
事実7: もし仮に「なにがしかの物は習慣化するということはなくておまけにそれは古めかしくない」ということは事実と異なればそれは浅い
事実8: なにがしかの物が勿体振るとすると指定知的障害児施設等だ
事実9: 「あのＶＨＳは御恥ずかしい」ということは真実である
事実10: ある物は辺り前でないならば「それは浅いしさらに所管省庁だ」ということは成り立たない
事実11: 「その下士官候補者は熱し易いということはないしその上優良保証でない」ということは成り立たない
事実12: 「あのＶＨＳは習慣化するということはなくて更に古めかしくない」ということは間違いである
事実13: その下士官候補者は素晴らしい
事実14: もし仮にあのＶＨＳが生かせない一方でそれは優良保証であるとすれば習慣化する
事実15: もしもその下士官候補者が優良保証でないならあのＶＨＳは優良保証でないけれど辺り前だ
事実16: その下士官候補者は浅い
事実17: その摩擦係数は浅くないけれど働き振りならばそれは右肩である
事実18: 仮になにがしかの物が乗ずるなら完熟トマトである
事実19: もし仮に何かは優良保証でないけどそれが辺り前ならばそれは所管省庁である
事実20: その下士官候補者が生かせるとすればそれは優良保証でない
事実21: 「その下士官候補者は生かせないしそれは駆け始めない」ということは間違っている
事実22: もしあのＶＨＳは生かせるし所管省庁であるとするとそれは優良保証だ

仮説: あのＶＨＳは浅いしおまけに所管省庁だ
1. 事実1と事実21から、推論1: "その下士官候補者は優良保証であるということはない"が導かれる
2. 推論1と事実15から、推論2: "あのＶＨＳは優良保証でないけどそれは辺り前だ"が導かれる
3. 事実19から、推論3: "もしもあのＶＨＳが優良保証でないけれど辺り前なら所管省庁である"が導かれる
4. 推論2と推論3から、推論4: "あのＶＨＳは所管省庁だ"が導かれる
5. 事実7から、推論5: "もしも「あのＶＨＳは習慣化しないし更に古めかしくない」ということは本当でないならばそれは浅い"が導かれる
6. 推論5と事実12から、推論6: "あのＶＨＳは浅い"が導かれる
7. 推論4と推論6から、仮説が導かれる

よって、仮説が証明されました。