「この祖父達は誘発し易いしそれに乱入する」ということは成り立たない
fact1: この祖父達は包まる fact2: とある物が同一化すとするとそれは私らしい fact3: もしもこの不正プログラムが私らしいとするとこのＬＡＭは責任問題であるかもしくは諸原則でないかもしくは両方だ fact4: 「かわゆいものは乱入する」ということは本当だ fact5: もしも「この祖父達は包まる」ということは本当であるならば「残代金合計額でないしそれは誘発し易い」ということは成り立つ fact6: この不正プログラムは同一化すしそれに私らしい fact7: この祖父達は残代金合計額でない fact8: もしもあるものは諸原則でないならば「同一化さないがしかし責任問題だ」ということは成り立たない fact9: このＬＡＭは諸原則でないとすれば「この祖父達はかわゆい」ということは成り立つ fact10: あの第一回利払い日・決算日は包まる fact11: もしこのＬＡＭが責任問題であるならばこの祖父達はかわゆい
fact6 -> int1: 「この不正プログラムは私らしい」ということは間違いでない; int1 & fact3 -> int2: このＬＡＭは責任問題であるかまたは諸原則だということはない; int2 & fact11 & fact9 -> int3: この祖父達はかわゆい; fact4 -> int4: もしも「この祖父達はかわゆい」ということは真実であるとしたらそれは乱入する; int3 & int4 -> int5: この祖父達は乱入する; fact5 & fact1 -> int6: この祖父達は残代金合計額でないけれど誘発し易い; int6 -> int7: この祖父達は誘発し易い; int5 & int7 -> hypothesis;
このＬＡＭは私らしい
fact13 -> int8: もしこのＬＡＭが同一化すならそれは私らしい; fact12 -> int9: 仮にこの不正プログラムは諸原則でないとしたら「同一化さないけれど責任問題である」ということは嘘だ;
$facts$ = fact1: この祖父達は包まる fact2: とある物が同一化すとするとそれは私らしい fact3: もしもこの不正プログラムが私らしいとするとこのＬＡＭは責任問題であるかもしくは諸原則でないかもしくは両方だ fact4: 「かわゆいものは乱入する」ということは本当だ fact5: もしも「この祖父達は包まる」ということは本当であるならば「残代金合計額でないしそれは誘発し易い」ということは成り立つ fact6: この不正プログラムは同一化すしそれに私らしい fact7: この祖父達は残代金合計額でない fact8: もしもあるものは諸原則でないならば「同一化さないがしかし責任問題だ」ということは成り立たない fact9: このＬＡＭは諸原則でないとすれば「この祖父達はかわゆい」ということは成り立つ fact10: あの第一回利払い日・決算日は包まる fact11: もしこのＬＡＭが責任問題であるならばこの祖父達はかわゆい ; $hypothesis$ = 「この祖父達は誘発し易いしそれに乱入する」ということは成り立たない ; $proof$ = 
fact6 -> int1: 「この不正プログラムは私らしい」ということは間違いでない; int1 & fact3 -> int2: このＬＡＭは責任問題であるかまたは諸原則だということはない; int2 & fact11 & fact9 -> int3: この祖父達はかわゆい; fact4 -> int4: もしも「この祖父達はかわゆい」ということは真実であるとしたらそれは乱入する; int3 & int4 -> int5: この祖父達は乱入する; fact5 & fact1 -> int6: この祖父達は残代金合計額でないけれど誘発し易い; int6 -> int7: この祖父達は誘発し易い; int5 & int7 -> hypothesis; __DISPROVED__
事実1: この祖父達は包まる
事実2: とある物が同一化すとするとそれは私らしい
事実3: もしもこの不正プログラムが私らしいとするとこのＬＡＭは責任問題であるかもしくは諸原則でないかもしくは両方だ
事実4: 「かわゆいものは乱入する」ということは本当だ
事実5: もしも「この祖父達は包まる」ということは本当であるならば「残代金合計額でないしそれは誘発し易い」ということは成り立つ
事実6: この不正プログラムは同一化すしそれに私らしい
事実7: この祖父達は残代金合計額でない
事実8: もしもあるものは諸原則でないならば「同一化さないがしかし責任問題だ」ということは成り立たない
事実9: このＬＡＭは諸原則でないとすれば「この祖父達はかわゆい」ということは成り立つ
事実10: あの第一回利払い日・決算日は包まる
事実11: もしこのＬＡＭが責任問題であるならばこの祖父達はかわゆい

仮説: 「この祖父達は誘発し易いしそれに乱入する」ということは成り立たない
1. 事実6から、推論1: "「この不正プログラムは私らしい」ということは間違いでない"が導かれる
2. 推論1と事実3から、推論2: "このＬＡＭは責任問題であるかまたは諸原則だということはない"が導かれる
3. 推論2と事実11と事実9から、推論3: "この祖父達はかわゆい"が導かれる
4. 事実4から、推論4: "もしも「この祖父達はかわゆい」ということは真実であるとしたらそれは乱入する"が導かれる
5. 推論3と推論4から、推論5: "この祖父達は乱入する"が導かれる
6. 事実5と事実1から、推論6: "この祖父達は残代金合計額でないけれど誘発し易い"が導かれる
7. 推論6から、推論7: "この祖父達は誘発し易い"が導かれる
8. 推論5と推論7から、仮説が否定される

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