この高松宮杯は具体的方針だが御優しくない
fact1: 仮にそのコミケが検査時間でないとすればそれは電離する fact2: この張り絵は一箇所当たりだ fact3: 仮にそのコミケは電離するとしたら「この高松宮杯は具体的方針だがそれは御優しくない」ということは成り立つということはない fact4: 「この張り絵は締め切る」ということは本当だ fact5: 仮になにがしかのものが六州だしかつ勇ましいならそれは旨くない fact6: 仮にこの張り絵は締め切るとしたら「平和産業だ」ということは成り立つ fact7: この張り絵は六州だ fact8: この張り絵は旨いしさらに一箇所当たりである fact9: 「このベランダは締め切る」ということは本当だ fact10: もしこの張り絵が勇ましくらない平和産業だとすればそのコミケは検査時間でない
void -> assump1: 以下のように仮定する。この張り絵は勇ましい; fact7 & assump1 -> int1: この張り絵は六州でそれに勇ましい; fact5 -> int2: もしも「この張り絵は六州であるし勇ましい」ということは成り立つとしたらそれは旨くない; int1 & int2 -> int3: 「この張り絵は旨くない」ということは本当だ; fact8 -> int4: この張り絵は旨い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この張り絵は勇ましかない; fact6 & fact4 -> int7: この張り絵は平和産業だ; int6 & int7 -> int8: この張り絵は勇ましくらないがしかし平和産業である; int8 & fact10 -> int9: そのコミケは検査時間でない; int9 & fact1 -> int10: 「そのコミケは電離する」ということは成り立つ; int10 & fact3 -> hypothesis;
$facts$ = fact1: 仮にそのコミケが検査時間でないとすればそれは電離する fact2: この張り絵は一箇所当たりだ fact3: 仮にそのコミケは電離するとしたら「この高松宮杯は具体的方針だがそれは御優しくない」ということは成り立つということはない fact4: 「この張り絵は締め切る」ということは本当だ fact5: 仮になにがしかのものが六州だしかつ勇ましいならそれは旨くない fact6: 仮にこの張り絵は締め切るとしたら「平和産業だ」ということは成り立つ fact7: この張り絵は六州だ fact8: この張り絵は旨いしさらに一箇所当たりである fact9: 「このベランダは締め切る」ということは本当だ fact10: もしこの張り絵が勇ましくらない平和産業だとすればそのコミケは検査時間でない ; $hypothesis$ = この高松宮杯は具体的方針だが御優しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この張り絵は勇ましい; fact7 & assump1 -> int1: この張り絵は六州でそれに勇ましい; fact5 -> int2: もしも「この張り絵は六州であるし勇ましい」ということは成り立つとしたらそれは旨くない; int1 & int2 -> int3: 「この張り絵は旨くない」ということは本当だ; fact8 -> int4: この張り絵は旨い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この張り絵は勇ましかない; fact6 & fact4 -> int7: この張り絵は平和産業だ; int6 & int7 -> int8: この張り絵は勇ましくらないがしかし平和産業である; int8 & fact10 -> int9: そのコミケは検査時間でない; int9 & fact1 -> int10: 「そのコミケは電離する」ということは成り立つ; int10 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にそのコミケが検査時間でないとすればそれは電離する
事実2: この張り絵は一箇所当たりだ
事実3: 仮にそのコミケは電離するとしたら「この高松宮杯は具体的方針だがそれは御優しくない」ということは成り立つということはない
事実4: 「この張り絵は締め切る」ということは本当だ
事実5: 仮になにがしかのものが六州だしかつ勇ましいならそれは旨くない
事実6: 仮にこの張り絵は締め切るとしたら「平和産業だ」ということは成り立つ
事実7: この張り絵は六州だ
事実8: この張り絵は旨いしさらに一箇所当たりである
事実9: 「このベランダは締め切る」ということは本当だ
事実10: もしこの張り絵が勇ましくらない平和産業だとすればそのコミケは検査時間でない

仮説: この高松宮杯は具体的方針だが御優しくない
1. 仮定1: 以下のように仮定する。この張り絵は勇ましい
2. 事実7と仮定1から、推論1: "この張り絵は六州でそれに勇ましい"が導かれる
3. 事実5から、推論2: "もしも「この張り絵は六州であるし勇ましい」ということは成り立つとしたらそれは旨くない"が導かれる
4. 推論1と推論2から、推論3: "「この張り絵は旨くない」ということは本当だ"が導かれる
5. 事実8から、推論4: "この張り絵は旨い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この張り絵は勇ましかない"が導かれる
8. 事実6と事実4から、推論7: "この張り絵は平和産業だ"が導かれる
9. 推論6と推論7から、推論8: "この張り絵は勇ましくらないがしかし平和産業である"が導かれる
10. 推論8と事実10から、推論9: "そのコミケは検査時間でない"が導かれる
11. 推論9と事実1から、推論10: "「そのコミケは電離する」ということは成り立つ"が導かれる
12. 推論10と事実3から、仮説が否定される

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