この線維化ステージは発し続ける
fact1: もし仮に「なにがしかの物はメチル水銀でない一方で情報内容である」ということは成り立たないならばそれはし難いということはない fact2: このアップリンクポートは父親らしい fact3: 「この判事補は熊野水軍でないがしかし小難しい」ということは誤っている fact4: 「あの最大飛は訝しくないが父親らしい」ということは成り立たないならばあの線維化ステージは京だ fact5: もし「この判事補は熊野水軍でないけれど小難しい」ということは成り立つということはないならばこのアップリンクポートは訝しくない fact6: 「あの最大飛は父親らしいということはない」ということは確かならこの線維化ステージは京である fact7: 仮にこの判事補が京ならばこの線維化ステージは発し続ける fact8: もしこの判事補が熊野水軍ならこのアップリンクポートは訝しくない fact9: 仮にこのアップリンクポートが訝しいとすればあの判事補は京である fact10: なにかは京なら発し続けない fact11: もしもこのアップリンクポートは訝しくないならば「あの最大飛は訝しいということはないけれど父親らしい」ということは成り立つということはない
fact5 & fact3 -> int1: このアップリンクポートは訝しいということはない; int1 & fact11 -> int2: 「あの最大飛は訝しくないがしかし父親らしい」ということは成り立たない; int2 & fact4 -> int3: この線維化ステージは京である; fact10 -> int4: もしこの線維化ステージは京であるなら「発し続けるということはない」ということは成り立つ; int3 & int4 -> hypothesis;
この線維化ステージは発し続ける
fact13 -> int5: もし「あの最大飛はメチル水銀でないけどそれは情報内容である」ということは嘘ならし難いということはない;
$facts$ = fact1: もし仮に「なにがしかの物はメチル水銀でない一方で情報内容である」ということは成り立たないならばそれはし難いということはない fact2: このアップリンクポートは父親らしい fact3: 「この判事補は熊野水軍でないがしかし小難しい」ということは誤っている fact4: 「あの最大飛は訝しくないが父親らしい」ということは成り立たないならばあの線維化ステージは京だ fact5: もし「この判事補は熊野水軍でないけれど小難しい」ということは成り立つということはないならばこのアップリンクポートは訝しくない fact6: 「あの最大飛は父親らしいということはない」ということは確かならこの線維化ステージは京である fact7: 仮にこの判事補が京ならばこの線維化ステージは発し続ける fact8: もしこの判事補が熊野水軍ならこのアップリンクポートは訝しくない fact9: 仮にこのアップリンクポートが訝しいとすればあの判事補は京である fact10: なにかは京なら発し続けない fact11: もしもこのアップリンクポートは訝しくないならば「あの最大飛は訝しいということはないけれど父親らしい」ということは成り立つということはない ; $hypothesis$ = この線維化ステージは発し続ける ; $proof$ = 
fact5 & fact3 -> int1: このアップリンクポートは訝しいということはない; int1 & fact11 -> int2: 「あの最大飛は訝しくないがしかし父親らしい」ということは成り立たない; int2 & fact4 -> int3: この線維化ステージは京である; fact10 -> int4: もしこの線維化ステージは京であるなら「発し続けるということはない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかの物はメチル水銀でない一方で情報内容である」ということは成り立たないならばそれはし難いということはない
事実2: このアップリンクポートは父親らしい
事実3: 「この判事補は熊野水軍でないがしかし小難しい」ということは誤っている
事実4: 「あの最大飛は訝しくないが父親らしい」ということは成り立たないならばあの線維化ステージは京だ
事実5: もし「この判事補は熊野水軍でないけれど小難しい」ということは成り立つということはないならばこのアップリンクポートは訝しくない
事実6: 「あの最大飛は父親らしいということはない」ということは確かならこの線維化ステージは京である
事実7: 仮にこの判事補が京ならばこの線維化ステージは発し続ける
事実8: もしこの判事補が熊野水軍ならこのアップリンクポートは訝しくない
事実9: 仮にこのアップリンクポートが訝しいとすればあの判事補は京である
事実10: なにかは京なら発し続けない
事実11: もしもこのアップリンクポートは訝しくないならば「あの最大飛は訝しいということはないけれど父親らしい」ということは成り立つということはない

仮説: この線維化ステージは発し続ける
1. 事実5と事実3から、推論1: "このアップリンクポートは訝しいということはない"が導かれる
2. 推論1と事実11から、推論2: "「あの最大飛は訝しくないがしかし父親らしい」ということは成り立たない"が導かれる
3. 推論2と事実4から、推論3: "この線維化ステージは京である"が導かれる
4. 事実10から、推論4: "もしこの線維化ステージは京であるなら「発し続けるということはない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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