あの亡命社会は僻みっぽい
fact1: もしもなにがしかのものが知覚変化であるならばあの亡命社会は僻みっぽくないけど戦慄す fact2: もしも「この設計ビューは型番でないけれど猥褻情報である」ということは誤りであるとすれば戦慄すらない fact3: 「僻みっぽい」物はある fact4: もし「とあるものは看守するがしかし知覚変化でない」ということは間違いならそれは知覚変化だ fact5: その原子炉は僻みっぽい fact6: 知覚変化は僻みっぽい fact7: とあるものは知覚変化だ
fact7 & fact1 -> int1: あの亡命社会は僻みっぽくないけれど戦慄す; int1 -> hypothesis;
「あの亡命社会は僻みっぽい」ということは事実と異ならない
fact9 -> int2: 仮にあの亡命社会は知覚変化であるならそれは僻みっぽい; fact8 -> int3: 「もし仮に「あの亡命社会は看守するけど知覚変化でない」ということは成り立たないとするとあの亡命社会は知覚変化である」ということは事実である;
$facts$ = fact1: もしもなにがしかのものが知覚変化であるならばあの亡命社会は僻みっぽくないけど戦慄す fact2: もしも「この設計ビューは型番でないけれど猥褻情報である」ということは誤りであるとすれば戦慄すらない fact3: 「僻みっぽい」物はある fact4: もし「とあるものは看守するがしかし知覚変化でない」ということは間違いならそれは知覚変化だ fact5: その原子炉は僻みっぽい fact6: 知覚変化は僻みっぽい fact7: とあるものは知覚変化だ ; $hypothesis$ = あの亡命社会は僻みっぽい ; $proof$ = 
fact7 & fact1 -> int1: あの亡命社会は僻みっぽくないけれど戦慄す; int1 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものが知覚変化であるならばあの亡命社会は僻みっぽくないけど戦慄す
事実2: もしも「この設計ビューは型番でないけれど猥褻情報である」ということは誤りであるとすれば戦慄すらない
事実3: 「僻みっぽい」物はある
事実4: もし「とあるものは看守するがしかし知覚変化でない」ということは間違いならそれは知覚変化だ
事実5: その原子炉は僻みっぽい
事実6: 知覚変化は僻みっぽい
事実7: とあるものは知覚変化だ

仮説: あの亡命社会は僻みっぽい
1. 事実7と事実1から、推論1: "あの亡命社会は僻みっぽくないけれど戦慄す"が導かれる
2. 推論1から、仮説が否定される

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