あの反乱分子はアクセスし易くない
fact1: もし仮に「あの反乱分子はアクセスし易くない」ということは真実だとするとそれは刻み海苔でないしその上診断出来る fact2: あの行動上は印象深くないとしたら「あの反乱分子は刻み海苔であるし更に診断出来る」ということは誤っている fact3: もしもあの反乱分子はアクセスし易くないとすれば刻み海苔だということはない fact4: あの行動上は刻み海苔でない fact5: もし仮に「何らかのものはアクセスし易いけれどそれは山越えでない」ということは間違っていればアクセスし易くない fact6: なにかは印象深いとすると「アクセスし易いが山越えだということはない」ということは間違っている fact7: あの反乱分子は刻み海苔でない fact8: あの反乱分子は刻み海苔でないがしかし内縁関係だ fact9: あの行動上は診断出来る fact10: もし仮にあの行動上は印象深いということはないなら「あの反乱分子は刻み海苔でないがしかし診断出来る」ということは成り立たない fact11: 「あの反乱分子は刻み海苔であるしかつ診断出来る」ということは真実でない fact12: あの行動上は印象深くない fact13: 「あのＥＳはＮＩＤＵＳでないがしかし診断出来る」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「あの反乱分子はアクセスし易くない」ということは正しい; fact1 & assump1 -> int1: あの反乱分子は刻み海苔でないけど診断出来る; fact12 & fact10 -> int2: 「あの反乱分子は刻み海苔でないけれど診断出来る」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの反乱分子はアクセスし易いということはない
fact14 -> int4: 仮に「あの反乱分子はアクセスし易い一方で山越えでない」ということは確かでないならばアクセスし易くない; fact15 -> int5: 仮にあの反乱分子は印象深いなら「アクセスし易くてそれは山越えだということはない」ということは成り立たない;
$facts$ = fact1: もし仮に「あの反乱分子はアクセスし易くない」ということは真実だとするとそれは刻み海苔でないしその上診断出来る fact2: あの行動上は印象深くないとしたら「あの反乱分子は刻み海苔であるし更に診断出来る」ということは誤っている fact3: もしもあの反乱分子はアクセスし易くないとすれば刻み海苔だということはない fact4: あの行動上は刻み海苔でない fact5: もし仮に「何らかのものはアクセスし易いけれどそれは山越えでない」ということは間違っていればアクセスし易くない fact6: なにかは印象深いとすると「アクセスし易いが山越えだということはない」ということは間違っている fact7: あの反乱分子は刻み海苔でない fact8: あの反乱分子は刻み海苔でないがしかし内縁関係だ fact9: あの行動上は診断出来る fact10: もし仮にあの行動上は印象深いということはないなら「あの反乱分子は刻み海苔でないがしかし診断出来る」ということは成り立たない fact11: 「あの反乱分子は刻み海苔であるしかつ診断出来る」ということは真実でない fact12: あの行動上は印象深くない fact13: 「あのＥＳはＮＩＤＵＳでないがしかし診断出来る」ということは成り立つということはない ; $hypothesis$ = あの反乱分子はアクセスし易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの反乱分子はアクセスし易くない」ということは正しい; fact1 & assump1 -> int1: あの反乱分子は刻み海苔でないけど診断出来る; fact12 & fact10 -> int2: 「あの反乱分子は刻み海苔でないけれど診断出来る」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの反乱分子はアクセスし易くない」ということは真実だとするとそれは刻み海苔でないしその上診断出来る
事実2: あの行動上は印象深くないとしたら「あの反乱分子は刻み海苔であるし更に診断出来る」ということは誤っている
事実3: もしもあの反乱分子はアクセスし易くないとすれば刻み海苔だということはない
事実4: あの行動上は刻み海苔でない
事実5: もし仮に「何らかのものはアクセスし易いけれどそれは山越えでない」ということは間違っていればアクセスし易くない
事実6: なにかは印象深いとすると「アクセスし易いが山越えだということはない」ということは間違っている
事実7: あの反乱分子は刻み海苔でない
事実8: あの反乱分子は刻み海苔でないがしかし内縁関係だ
事実9: あの行動上は診断出来る
事実10: もし仮にあの行動上は印象深いということはないなら「あの反乱分子は刻み海苔でないがしかし診断出来る」ということは成り立たない
事実11: 「あの反乱分子は刻み海苔であるしかつ診断出来る」ということは真実でない
事実12: あの行動上は印象深くない
事実13: 「あのＥＳはＮＩＤＵＳでないがしかし診断出来る」ということは成り立つということはない

仮説: あの反乱分子はアクセスし易くない
1. 仮定1: 以下のように仮定する。「あの反乱分子はアクセスし易くない」ということは正しい
2. 事実1と仮定1から、推論1: "あの反乱分子は刻み海苔でないけど診断出来る"が導かれる
3. 事実12と事実10から、推論2: "「あの反乱分子は刻み海苔でないけれど診断出来る」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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