「「この松川事件は若くて合図する」ということは正しい」ということは嘘だ
fact1: 「仮にその鸚鵡が中元でないとしたらこの集計処理は観想する」ということは成り立つ fact2: この松川事件が最古参であるしおまけに大怪我するとするとその鸚鵡は中元でない fact3: もし仮にこの松川事件は注意深いしかつ最古参であるなら「この国家統制は注意深くない」ということは事実である fact4: 「その超回復は強がらない」ということは本当だ fact5: 「この国家統制は強がらない」ということは本当だ fact6: この松川事件は最古参である fact7: この集計処理は合図しないとすれば「注意深いし加えてそれは大怪我する」ということは成り立つということはない fact8: 「その鸚鵡は個人・法人でない」ということは成り立つ fact9: 仮にこの国家統制は強がらないとしたら「それは絶え間無いし医療以外だ」ということは誤りである fact10: もしこの集計処理は論ずるとしたら「それは観想するがしかし注意深くない」ということは事実と異なる fact11: もしもこの集計処理が中元でないとするとその鸚鵡は観想するということはない fact12: もし仮にこの集計処理が中元でないとするとその鸚鵡は最古参であるしそれに大怪我する fact13: 仮にこの集計処理は中元だとすると「それは注意深い一方で論ぜない」ということは成り立たない fact14: その鸚鵡が最古参でないとするとこの松川事件は中元だということはない fact15: 「この集計処理は論ずる」ということは成り立つ fact16: この松川事件は所在地番だ fact17: 「あの日本列島は論ずる」ということは成り立つ fact18: もし仮に「「この国家統制は絶え間無くて医療以外だ」ということは真実でない」ということは事実であるとしたらこの集計処理は注意深くない fact19: この松川事件が大怪我しないとするとそれは若いしおまけにそれは合図する fact20: もしこの国家統制が医療以外だということはないとするとこの集計処理は注意深くない
void -> assump1: 以下のように仮定する。この松川事件は大怪我する; fact6 & assump1 -> int1: この松川事件は最古参だしさらに大怪我する; int1 & fact2 -> int2: その鸚鵡は中元でない; int2 & fact1 -> int3: この集計処理は観想する; fact9 & fact5 -> int4: 「この国家統制は絶え間無くてかつ医療以外だ」ということは嘘だ; int4 & fact18 -> int5: この集計処理は注意深いということはない; int3 & int5 -> int6: この集計処理は観想するけど注意深くない; fact15 & fact10 -> int7: 「この集計処理は観想する一方で注意深くない」ということは間違っている; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この松川事件は大怪我しない」ということは事実だ; int9 & fact19 -> hypothesis;
「この松川事件は若いし合図する」ということは成り立たない
$facts$ = fact1: 「仮にその鸚鵡が中元でないとしたらこの集計処理は観想する」ということは成り立つ fact2: この松川事件が最古参であるしおまけに大怪我するとするとその鸚鵡は中元でない fact3: もし仮にこの松川事件は注意深いしかつ最古参であるなら「この国家統制は注意深くない」ということは事実である fact4: 「その超回復は強がらない」ということは本当だ fact5: 「この国家統制は強がらない」ということは本当だ fact6: この松川事件は最古参である fact7: この集計処理は合図しないとすれば「注意深いし加えてそれは大怪我する」ということは成り立つということはない fact8: 「その鸚鵡は個人・法人でない」ということは成り立つ fact9: 仮にこの国家統制は強がらないとしたら「それは絶え間無いし医療以外だ」ということは誤りである fact10: もしこの集計処理は論ずるとしたら「それは観想するがしかし注意深くない」ということは事実と異なる fact11: もしもこの集計処理が中元でないとするとその鸚鵡は観想するということはない fact12: もし仮にこの集計処理が中元でないとするとその鸚鵡は最古参であるしそれに大怪我する fact13: 仮にこの集計処理は中元だとすると「それは注意深い一方で論ぜない」ということは成り立たない fact14: その鸚鵡が最古参でないとするとこの松川事件は中元だということはない fact15: 「この集計処理は論ずる」ということは成り立つ fact16: この松川事件は所在地番だ fact17: 「あの日本列島は論ずる」ということは成り立つ fact18: もし仮に「「この国家統制は絶え間無くて医療以外だ」ということは真実でない」ということは事実であるとしたらこの集計処理は注意深くない fact19: この松川事件が大怪我しないとするとそれは若いしおまけにそれは合図する fact20: もしこの国家統制が医療以外だということはないとするとこの集計処理は注意深くない ; $hypothesis$ = 「「この松川事件は若くて合図する」ということは正しい」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この松川事件は大怪我する; fact6 & assump1 -> int1: この松川事件は最古参だしさらに大怪我する; int1 & fact2 -> int2: その鸚鵡は中元でない; int2 & fact1 -> int3: この集計処理は観想する; fact9 & fact5 -> int4: 「この国家統制は絶え間無くてかつ医療以外だ」ということは嘘だ; int4 & fact18 -> int5: この集計処理は注意深いということはない; int3 & int5 -> int6: この集計処理は観想するけど注意深くない; fact15 & fact10 -> int7: 「この集計処理は観想する一方で注意深くない」ということは間違っている; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この松川事件は大怪我しない」ということは事実だ; int9 & fact19 -> hypothesis; __DISPROVED__
事実1: 「仮にその鸚鵡が中元でないとしたらこの集計処理は観想する」ということは成り立つ
事実2: この松川事件が最古参であるしおまけに大怪我するとするとその鸚鵡は中元でない
事実3: もし仮にこの松川事件は注意深いしかつ最古参であるなら「この国家統制は注意深くない」ということは事実である
事実4: 「その超回復は強がらない」ということは本当だ
事実5: 「この国家統制は強がらない」ということは本当だ
事実6: この松川事件は最古参である
事実7: この集計処理は合図しないとすれば「注意深いし加えてそれは大怪我する」ということは成り立つということはない
事実8: 「その鸚鵡は個人・法人でない」ということは成り立つ
事実9: 仮にこの国家統制は強がらないとしたら「それは絶え間無いし医療以外だ」ということは誤りである
事実10: もしこの集計処理は論ずるとしたら「それは観想するがしかし注意深くない」ということは事実と異なる
事実11: もしもこの集計処理が中元でないとするとその鸚鵡は観想するということはない
事実12: もし仮にこの集計処理が中元でないとするとその鸚鵡は最古参であるしそれに大怪我する
事実13: 仮にこの集計処理は中元だとすると「それは注意深い一方で論ぜない」ということは成り立たない
事実14: その鸚鵡が最古参でないとするとこの松川事件は中元だということはない
事実15: 「この集計処理は論ずる」ということは成り立つ
事実16: この松川事件は所在地番だ
事実17: 「あの日本列島は論ずる」ということは成り立つ
事実18: もし仮に「「この国家統制は絶え間無くて医療以外だ」ということは真実でない」ということは事実であるとしたらこの集計処理は注意深くない
事実19: この松川事件が大怪我しないとするとそれは若いしおまけにそれは合図する
事実20: もしこの国家統制が医療以外だということはないとするとこの集計処理は注意深くない

仮説: 「「この松川事件は若くて合図する」ということは正しい」ということは嘘だ
1. 仮定1: 以下のように仮定する。この松川事件は大怪我する
2. 事実6と仮定1から、推論1: "この松川事件は最古参だしさらに大怪我する"が導かれる
3. 推論1と事実2から、推論2: "その鸚鵡は中元でない"が導かれる
4. 推論2と事実1から、推論3: "この集計処理は観想する"が導かれる
5. 事実9と事実5から、推論4: "「この国家統制は絶え間無くてかつ医療以外だ」ということは嘘だ"が導かれる
6. 推論4と事実18から、推論5: "この集計処理は注意深いということはない"が導かれる
7. 推論3と推論5から、推論6: "この集計処理は観想するけど注意深くない"が導かれる
8. 事実15と事実10から、推論7: "「この集計処理は観想する一方で注意深くない」ということは間違っている"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この松川事件は大怪我しない」ということは事実だ"が導かれる
11. 推論9と事実19から、仮説が否定される

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