この各保険者は化け物染みる
fact1: 「あの周波数特性は集め易い」ということは確かである fact2: 仮にこのインシデントレポートが称賛するとしたらこの期限はくどい fact3: 仮に「あるものは集め易くないけれど隠し持つ」ということは嘘だとすると称賛する fact4: その鰻上りは化け物染みるしまたそれは動かし難い fact5: 仮に「この期限はくどくてかつ隠し持つ」ということは事実ならこの各保険者は化け物染みない fact6: 「この実験数値は書き記さないかまたは等価であるかまたは両方ともである」ということは成り立たない fact7: 仮に「あの中核事業は称賛しないかまたは集め易いか両方である」ということは嘘であるとしたらこのインシデントレポートは集め易くない fact8: 仮に悪しないものは千五百人であるとするとそれは集め易くない fact9: その機械編み工は称賛する fact10: もしもこの期限が隠し持たないとしたら悪しないけれど千五百人である fact11: もしあるものが埋め込むとするとそれは集め易い fact12: もし仮に何らかのものはくどくないなら「それは集め易いということはなくて更にそれは隠し持つ」ということは間違っている fact13: この期限は埋め込む fact14: このインシデントレポートは称賛する fact15: 仮に「このインシデントレポートは集め易くない」ということは成り立つなら「「この期限が化け物染みないがしかし隠し持つ」ということは間違っている」ということは真実である fact16: もし仮になにがしかのものは書き記さないなら「奥深い」ということは誤っていない fact17: 仮にあるものは奥深いならば「それは十一世紀末でなくて埋め込むということはない」ということは成り立たない fact18: もし仮にこの期限が称賛するならばあの鰻上りは称賛する fact19: 仮に「あの中核事業は十一世紀末でなくてかつ埋め込まない」ということは誤っているとすればそれはくどくない fact20: もし仮に「この実験数値は書き記さないかもしくはそれは等価であるか両方ともだ」ということは間違っているならあの中核事業は書き記さない
void -> assump1: 以下のように仮定する。この期限は隠し持たない; fact10 & assump1 -> int1: 「この期限は悪しない一方で千五百人だ」ということは確かである; fact8 -> int2: この期限は悪しないがしかし千五百人ならば集め易いということはない; int1 & int2 -> int3: この期限は集め易くない; fact11 -> int4: 仮に「この期限は埋め込む」ということは成り立てば集め易い; fact13 & int4 -> int5: この期限は集め易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この期限は隠し持つ」ということは事実だ; fact2 & fact14 -> int8: この期限はくどい; int7 & int8 -> int9: この期限はくどくておまけにそれは隠し持つ; int9 & fact5 -> hypothesis;
その鰻上りは動かし難くて称賛する
fact21 -> int10: その鰻上りは動かし難い; fact22 -> int11: 仮に「この期限は集め易くないけれど隠し持つ」ということは成り立たないなら称賛する; fact24 -> int12: もしこの期限はくどくないなら「集め易いということはないけれど隠し持つ」ということは嘘である;
$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: 以下のように仮定する。この期限は隠し持たない; fact10 & assump1 -> int1: 「この期限は悪しない一方で千五百人だ」ということは確かである; fact8 -> int2: この期限は悪しないがしかし千五百人ならば集め易いということはない; int1 & int2 -> int3: この期限は集め易くない; fact11 -> int4: 仮に「この期限は埋め込む」ということは成り立てば集め易い; fact13 & int4 -> int5: この期限は集め易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この期限は隠し持つ」ということは事実だ; fact2 & fact14 -> int8: この期限はくどい; int7 & int8 -> int9: この期限はくどくておまけにそれは隠し持つ; int9 & fact5 -> 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. 事実10と仮定1から、推論1: "「この期限は悪しない一方で千五百人だ」ということは確かである"が導かれる
3. 事実8から、推論2: "この期限は悪しないがしかし千五百人ならば集め易いということはない"が導かれる
4. 推論1と推論2から、推論3: "この期限は集め易くない"が導かれる
5. 事実11から、推論4: "仮に「この期限は埋め込む」ということは成り立てば集め易い"が導かれる
6. 事実13と推論4から、推論5: "この期限は集め易い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この期限は隠し持つ」ということは事実だ"が導かれる
9. 事実2と事実14から、推論8: "この期限はくどい"が導かれる
10. 推論7と推論8から、推論9: "この期限はくどくておまけにそれは隠し持つ"が導かれる
11. 推論9と事実5から、仮説が否定される

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