あの国家毒性プログラムは賛成し難い
fact1: なんらかの物が輝かしということはないがしかしフランス東部であるならばそれは公安である fact2: もし仮に「あの国家毒性プログラムは一ドル札だということはなくておまけにそれは脂っこいということはない」ということは間違いであるとすれば「輝かしない」ということは事実だ fact3: 仮に公安は往古であるとすればそれは賛成し難くない fact4: 「あの国家毒性プログラムは一ドル札でないしおまけに脂っこくない」ということは成り立たない fact5: あの国家毒性プログラムは往古だ fact6: 「あの国家毒性プログラムはフランス東部だ」ということは成り立つ
fact2 & fact4 -> int1: あの国家毒性プログラムは輝かしない; int1 & fact6 -> int2: あの国家毒性プログラムは輝かしないがそれはフランス東部だ; fact1 -> int3: 仮にあの国家毒性プログラムは輝かしということはないがしかしフランス東部であるならば公安である; int2 & int3 -> int4: あの国家毒性プログラムは公安だ; int4 & fact5 -> int5: あの国家毒性プログラムは公安であるしまたそれは往古だ; fact3 -> int6: あの国家毒性プログラムが公安だししかもそれは往古であるならば賛成し難くない; int5 & int6 -> hypothesis;
$facts$ = fact1: なんらかの物が輝かしということはないがしかしフランス東部であるならばそれは公安である fact2: もし仮に「あの国家毒性プログラムは一ドル札だということはなくておまけにそれは脂っこいということはない」ということは間違いであるとすれば「輝かしない」ということは事実だ fact3: 仮に公安は往古であるとすればそれは賛成し難くない fact4: 「あの国家毒性プログラムは一ドル札でないしおまけに脂っこくない」ということは成り立たない fact5: あの国家毒性プログラムは往古だ fact6: 「あの国家毒性プログラムはフランス東部だ」ということは成り立つ ; $hypothesis$ = あの国家毒性プログラムは賛成し難い ; $proof$ = 
fact2 & fact4 -> int1: あの国家毒性プログラムは輝かしない; int1 & fact6 -> int2: あの国家毒性プログラムは輝かしないがそれはフランス東部だ; fact1 -> int3: 仮にあの国家毒性プログラムは輝かしということはないがしかしフランス東部であるならば公安である; int2 & int3 -> int4: あの国家毒性プログラムは公安だ; int4 & fact5 -> int5: あの国家毒性プログラムは公安であるしまたそれは往古だ; fact3 -> int6: あの国家毒性プログラムが公安だししかもそれは往古であるならば賛成し難くない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: なんらかの物が輝かしということはないがしかしフランス東部であるならばそれは公安である
事実2: もし仮に「あの国家毒性プログラムは一ドル札だということはなくておまけにそれは脂っこいということはない」ということは間違いであるとすれば「輝かしない」ということは事実だ
事実3: 仮に公安は往古であるとすればそれは賛成し難くない
事実4: 「あの国家毒性プログラムは一ドル札でないしおまけに脂っこくない」ということは成り立たない
事実5: あの国家毒性プログラムは往古だ
事実6: 「あの国家毒性プログラムはフランス東部だ」ということは成り立つ

仮説: あの国家毒性プログラムは賛成し難い
1. 事実2と事実4から、推論1: "あの国家毒性プログラムは輝かしない"が導かれる
2. 推論1と事実6から、推論2: "あの国家毒性プログラムは輝かしないがそれはフランス東部だ"が導かれる
3. 事実1から、推論3: "仮にあの国家毒性プログラムは輝かしということはないがしかしフランス東部であるならば公安である"が導かれる
4. 推論2と推論3から、推論4: "あの国家毒性プログラムは公安だ"が導かれる
5. 推論4と事実5から、推論5: "あの国家毒性プログラムは公安であるしまたそれは往古だ"が導かれる
6. 事実3から、推論6: "あの国家毒性プログラムが公安だししかもそれは往古であるならば賛成し難くない"が導かれる
7. 推論5と推論6から、仮説が否定される

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