「「棒読みしないしさらに不正プログラムな」ものはある」ということは成り立たない
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: この公共工事は棒読みする fact26: この三の次は棒読みする
fact23 & fact13 & fact6 -> int1: この公共工事は開園する; int1 & fact17 -> int2: その脚注は不正プログラムである; fact14 -> int3: その脚注は貸し金債権だ; fact22 -> int4: もしその脚注は貸し金債権であるならば棒読みしない; int3 & int4 -> int5: その脚注は棒読みしない; int2 & int5 -> int6: その脚注は棒読みしないが不正プログラムだ; int6 -> hypothesis;
「この公共工事は自分らしい」ということは真実である
fact28 -> int7: 仮にこの公共工事が警備局だとするとそれは自分らしい;
$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: この公共工事は棒読みする fact26: この三の次は棒読みする ; $hypothesis$ = 「「棒読みしないしさらに不正プログラムな」ものはある」ということは成り立たない ; $proof$ = 
fact23 & fact13 & fact6 -> int1: この公共工事は開園する; int1 & fact17 -> int2: その脚注は不正プログラムである; fact14 -> int3: その脚注は貸し金債権だ; fact22 -> int4: もしその脚注は貸し金債権であるならば棒読みしない; int3 & int4 -> int5: その脚注は棒読みしない; int2 & int5 -> 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: この起草過程は縫い上げないがそれは開園する
事実22: なんらかのものが貸し金債権だとすれば棒読みするということはない
事実23: この三の次は警備局であるかもしくは貯えであるかもしくはどちらもだ
事実24: この三の次は許し難い
事実25: この公共工事は棒読みする
事実26: この三の次は棒読みする

仮説: 「「棒読みしないしさらに不正プログラムな」ものはある」ということは成り立たない
1. 事実23と事実13と事実6から、推論1: "この公共工事は開園する"が導かれる
2. 推論1と事実17から、推論2: "その脚注は不正プログラムである"が導かれる
3. 事実14から、推論3: "その脚注は貸し金債権だ"が導かれる
4. 事実22から、推論4: "もしその脚注は貸し金債権であるならば棒読みしない"が導かれる
5. 推論3と推論4から、推論5: "その脚注は棒読みしない"が導かれる
6. 推論2と推論5から、推論6: "その脚注は棒読みしないが不正プログラムだ"が導かれる
7. 推論6から、仮説が否定される

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