この自現機は比較し難くない
fact1: 「「海蛇だということはない」ということは成り立つ」物はある fact2: もしある物が苦々しいなら比較し難い fact3: もしもこの自現機が苦々しかないならこの八人兄弟は海蛇だけれどそれは衣料費でない fact4: 仮に何らかのものは海蛇だということはないならば「この八人兄弟が海蛇だけどそれは衣料費でない」ということは間違っている
void -> assump1: 以下のように仮定する。この自現機は苦々しかない; fact3 & assump1 -> int1: この八人兄弟は海蛇であるけど衣料費でない; fact4 & fact1 -> int2: 「この八人兄弟は海蛇である一方で衣料費だということはない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この自現機は苦々しい; fact2 -> int5: もし仮にこの自現機は苦々しいなら「比較し難い」ということは本当である; int4 & int5 -> hypothesis;
$facts$ = fact1: 「「海蛇だということはない」ということは成り立つ」物はある fact2: もしある物が苦々しいなら比較し難い fact3: もしもこの自現機が苦々しかないならこの八人兄弟は海蛇だけれどそれは衣料費でない fact4: 仮に何らかのものは海蛇だということはないならば「この八人兄弟が海蛇だけどそれは衣料費でない」ということは間違っている ; $hypothesis$ = この自現機は比較し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この自現機は苦々しかない; fact3 & assump1 -> int1: この八人兄弟は海蛇であるけど衣料費でない; fact4 & fact1 -> int2: 「この八人兄弟は海蛇である一方で衣料費だということはない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この自現機は苦々しい; fact2 -> int5: もし仮にこの自現機は苦々しいなら「比較し難い」ということは本当である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 「「海蛇だということはない」ということは成り立つ」物はある
事実2: もしある物が苦々しいなら比較し難い
事実3: もしもこの自現機が苦々しかないならこの八人兄弟は海蛇だけれどそれは衣料費でない
事実4: 仮に何らかのものは海蛇だということはないならば「この八人兄弟が海蛇だけどそれは衣料費でない」ということは間違っている

仮説: この自現機は比較し難くない
1. 仮定1: 以下のように仮定する。この自現機は苦々しかない
2. 事実3と仮定1から、推論1: "この八人兄弟は海蛇であるけど衣料費でない"が導かれる
3. 事実4と事実1から、推論2: "「この八人兄弟は海蛇である一方で衣料費だということはない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この自現機は苦々しい"が導かれる
6. 事実2から、推論5: "もし仮にこの自現機は苦々しいなら「比較し難い」ということは本当である"が導かれる
7. 推論4と推論5から、仮説が否定される

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