あの命綱は見境無い
fact1: もしその自分以外が鍛え抜くけれど組織形態でないならあの命綱は感触である fact2: 「あの命綱は晩餐会キャンペーンである」ということは成り立つ fact3: その自分以外は鍛え抜くがしかし組織形態でない fact4: その自分以外は晩餐会キャンペーンでない fact5: もし「何かは見境無いということはない一方で晩餐会キャンペーンである」ということは真実でないならそれは見境無い fact6: もし仮に見境無い物が晩餐会キャンペーンだとしたらそれは感触でない
void -> assump1: 以下のように仮定する。あの命綱は見境無い; assump1 & fact2 -> int1: あの命綱は見境無いし晩餐会キャンペーンである; fact6 -> int2: もし仮にあの命綱が見境無いし晩餐会キャンペーンであるとすれば「感触だ」ということは間違いだ; int1 & int2 -> int3: 「あの命綱は感触でない」ということは本当である; fact1 & fact3 -> int4: あの命綱は感触である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの命綱は見境無い
fact7 -> int6: もしも「あの命綱は見境無くないが晩餐会キャンペーンだ」ということは誤っているとしたらそれは見境無い;
$facts$ = fact1: もしその自分以外が鍛え抜くけれど組織形態でないならあの命綱は感触である fact2: 「あの命綱は晩餐会キャンペーンである」ということは成り立つ fact3: その自分以外は鍛え抜くがしかし組織形態でない fact4: その自分以外は晩餐会キャンペーンでない fact5: もし「何かは見境無いということはない一方で晩餐会キャンペーンである」ということは真実でないならそれは見境無い fact6: もし仮に見境無い物が晩餐会キャンペーンだとしたらそれは感触でない ; $hypothesis$ = あの命綱は見境無い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの命綱は見境無い; assump1 & fact2 -> int1: あの命綱は見境無いし晩餐会キャンペーンである; fact6 -> int2: もし仮にあの命綱が見境無いし晩餐会キャンペーンであるとすれば「感触だ」ということは間違いだ; int1 & int2 -> int3: 「あの命綱は感触でない」ということは本当である; fact1 & fact3 -> int4: あの命綱は感触である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしその自分以外が鍛え抜くけれど組織形態でないならあの命綱は感触である
事実2: 「あの命綱は晩餐会キャンペーンである」ということは成り立つ
事実3: その自分以外は鍛え抜くがしかし組織形態でない
事実4: その自分以外は晩餐会キャンペーンでない
事実5: もし「何かは見境無いということはない一方で晩餐会キャンペーンである」ということは真実でないならそれは見境無い
事実6: もし仮に見境無い物が晩餐会キャンペーンだとしたらそれは感触でない

仮説: あの命綱は見境無い
1. 仮定1: 以下のように仮定する。あの命綱は見境無い
2. 仮定1と事実2から、推論1: "あの命綱は見境無いし晩餐会キャンペーンである"が導かれる
3. 事実6から、推論2: "もし仮にあの命綱が見境無いし晩餐会キャンペーンであるとすれば「感触だ」ということは間違いだ"が導かれる
4. 推論1と推論2から、推論3: "「あの命綱は感触でない」ということは本当である"が導かれる
5. 事実1と事実3から、推論4: "あの命綱は感触である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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