「この二本柱はならず者国家でおまけにばあかしい」ということは成り立たない
fact1: 「その鐚銭は機密事項である」ということは本当である fact2: 仮にこのクラス毎が是非しないとしたら仲睦まじいかあるいは住み難い fact3: ばあかしい物はならず者国家である fact4: 変え難いということはないものは機密事項であるけど当たり難くない fact5: もし「「このクラス毎は変え難い」ということは正しい」ということは成り立つということはないとすればこの二本柱はならず者国家である fact6: もし仮にこのクラス毎が変え難くないとすればこの二本柱はならず者国家だししかもばあかしい fact7: もしも「そのインスタント食品はポストフォーディズムでない」ということは正しいなら「このクラス毎は変え難い一方で機密事項でない」ということは嘘である fact8: そのＭＲＳＡ感染は機密事項だ fact9: もしそのＭＲＳＡ感染が当たり難いかまたはそれが機密事項だとするとこのクラス毎は変え難いということはない fact10: このクラス毎は是非しない fact11: もしもそのＭＲＳＡ感染は当たり難くないならば「この二本柱はならず者国家で加えてばあかしい」ということは間違いである fact12: もし仮にそのＭＲＳＡ感染がポストフォーディズムであるならこの二本柱はばあかしい fact13: ならず者国家は変え難くない fact14: もし仮にそのＭＲＳＡ感染が当たり難いならこのクラス毎は変え難くない fact15: この二本柱はならず者国家だ
fact8 -> int1: そのＭＲＳＡ感染は当たり難いかあるいはそれは機密事項だ; int1 & fact9 -> int2: このクラス毎は変え難くない; int2 & fact6 -> hypothesis;
fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact9 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
「この二本柱はならず者国家であるし加えてばあかしい」ということは成り立たない
$facts$ = fact1: 「その鐚銭は機密事項である」ということは本当である fact2: 仮にこのクラス毎が是非しないとしたら仲睦まじいかあるいは住み難い fact3: ばあかしい物はならず者国家である fact4: 変え難いということはないものは機密事項であるけど当たり難くない fact5: もし「「このクラス毎は変え難い」ということは正しい」ということは成り立つということはないとすればこの二本柱はならず者国家である fact6: もし仮にこのクラス毎が変え難くないとすればこの二本柱はならず者国家だししかもばあかしい fact7: もしも「そのインスタント食品はポストフォーディズムでない」ということは正しいなら「このクラス毎は変え難い一方で機密事項でない」ということは嘘である fact8: そのＭＲＳＡ感染は機密事項だ fact9: もしそのＭＲＳＡ感染が当たり難いかまたはそれが機密事項だとするとこのクラス毎は変え難いということはない fact10: このクラス毎は是非しない fact11: もしもそのＭＲＳＡ感染は当たり難くないならば「この二本柱はならず者国家で加えてばあかしい」ということは間違いである fact12: もし仮にそのＭＲＳＡ感染がポストフォーディズムであるならこの二本柱はばあかしい fact13: ならず者国家は変え難くない fact14: もし仮にそのＭＲＳＡ感染が当たり難いならこのクラス毎は変え難くない fact15: この二本柱はならず者国家だ ; $hypothesis$ = 「この二本柱はならず者国家でおまけにばあかしい」ということは成り立たない ; $proof$ = 
fact8 -> int1: そのＭＲＳＡ感染は当たり難いかあるいはそれは機密事項だ; int1 & fact9 -> int2: このクラス毎は変え難くない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 「その鐚銭は機密事項である」ということは本当である
事実2: 仮にこのクラス毎が是非しないとしたら仲睦まじいかあるいは住み難い
事実3: ばあかしい物はならず者国家である
事実4: 変え難いということはないものは機密事項であるけど当たり難くない
事実5: もし「「このクラス毎は変え難い」ということは正しい」ということは成り立つということはないとすればこの二本柱はならず者国家である
事実6: もし仮にこのクラス毎が変え難くないとすればこの二本柱はならず者国家だししかもばあかしい
事実7: もしも「そのインスタント食品はポストフォーディズムでない」ということは正しいなら「このクラス毎は変え難い一方で機密事項でない」ということは嘘である
事実8: そのＭＲＳＡ感染は機密事項だ
事実9: もしそのＭＲＳＡ感染が当たり難いかまたはそれが機密事項だとするとこのクラス毎は変え難いということはない
事実10: このクラス毎は是非しない
事実11: もしもそのＭＲＳＡ感染は当たり難くないならば「この二本柱はならず者国家で加えてばあかしい」ということは間違いである
事実12: もし仮にそのＭＲＳＡ感染がポストフォーディズムであるならこの二本柱はばあかしい
事実13: ならず者国家は変え難くない
事実14: もし仮にそのＭＲＳＡ感染が当たり難いならこのクラス毎は変え難くない
事実15: この二本柱はならず者国家だ

仮説: 「この二本柱はならず者国家でおまけにばあかしい」ということは成り立たない
1. 事実8から、推論1: "そのＭＲＳＡ感染は当たり難いかあるいはそれは機密事項だ"が導かれる
2. 推論1と事実9から、推論2: "このクラス毎は変え難くない"が導かれる
3. 推論2と事実6から、仮説が否定される

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