あの物は分岐する
fact1: あの匿名掲示板が分かち難くないならばあの物は米本土であるがしかし分かち難くない fact2: もし仮にこの悪気が縮めないけど御容赦頂くならばあの匿名掲示板は分かち難くない fact3: 「この悪気は縮めないけどそれは御容赦頂く」ということは真実である fact4: もしあの物が分かち難くないならそれは分岐しない
fact2 & fact3 -> int1: 「あの匿名掲示板は分かち難くない」ということは真実だ; int1 & fact1 -> int2: あの物は米本土だけれどそれは分かち難くない; int2 -> int3: あの物は分かち難くない; int3 & fact4 -> hypothesis;
$facts$ = fact1: あの匿名掲示板が分かち難くないならばあの物は米本土であるがしかし分かち難くない fact2: もし仮にこの悪気が縮めないけど御容赦頂くならばあの匿名掲示板は分かち難くない fact3: 「この悪気は縮めないけどそれは御容赦頂く」ということは真実である fact4: もしあの物が分かち難くないならそれは分岐しない ; $hypothesis$ = あの物は分岐する ; $proof$ = 
fact2 & fact3 -> int1: 「あの匿名掲示板は分かち難くない」ということは真実だ; int1 & fact1 -> int2: あの物は米本土だけれどそれは分かち難くない; int2 -> int3: あの物は分かち難くない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: あの匿名掲示板が分かち難くないならばあの物は米本土であるがしかし分かち難くない
事実2: もし仮にこの悪気が縮めないけど御容赦頂くならばあの匿名掲示板は分かち難くない
事実3: 「この悪気は縮めないけどそれは御容赦頂く」ということは真実である
事実4: もしあの物が分かち難くないならそれは分岐しない

仮説: あの物は分岐する
1. 事実2と事実3から、推論1: "「あの匿名掲示板は分かち難くない」ということは真実だ"が導かれる
2. 推論1と事実1から、推論2: "あの物は米本土だけれどそれは分かち難くない"が導かれる
3. 推論2から、推論3: "あの物は分かち難くない"が導かれる
4. 推論3と事実4から、仮説が否定される

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