この胸筋は細胞膜である
fact1: 仮にこの隣接地は修復出来ないならば「その二階以上は揺るがしない」ということは確かだ fact2: 仮にこの八千万人は修復出来ないなら「突き詰めない」ということは正しい fact3: もし仮にこのビジネス・プロセスが揺るがしない一方で突き詰めるとしたらこの胸筋は細胞膜だということはない fact4: この隣接地は修復出来ない fact5: もし「その二階以上は揺るがしない」ということは事実であるとしたらこのビジネス・プロセスは揺るがしない一方でそれは突き詰める
fact1 & fact4 -> int1: その二階以上は揺るがさない; int1 & fact5 -> int2: このビジネス・プロセスは揺るがしないが突き詰める; int2 & fact3 -> hypothesis;
この八千万人は突き詰めるということはない
$facts$ = fact1: 仮にこの隣接地は修復出来ないならば「その二階以上は揺るがしない」ということは確かだ fact2: 仮にこの八千万人は修復出来ないなら「突き詰めない」ということは正しい fact3: もし仮にこのビジネス・プロセスが揺るがしない一方で突き詰めるとしたらこの胸筋は細胞膜だということはない fact4: この隣接地は修復出来ない fact5: もし「その二階以上は揺るがしない」ということは事実であるとしたらこのビジネス・プロセスは揺るがしない一方でそれは突き詰める ; $hypothesis$ = この胸筋は細胞膜である ; $proof$ = 
fact1 & fact4 -> int1: その二階以上は揺るがさない; int1 & fact5 -> int2: このビジネス・プロセスは揺るがしないが突き詰める; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にこの隣接地は修復出来ないならば「その二階以上は揺るがしない」ということは確かだ
事実2: 仮にこの八千万人は修復出来ないなら「突き詰めない」ということは正しい
事実3: もし仮にこのビジネス・プロセスが揺るがしない一方で突き詰めるとしたらこの胸筋は細胞膜だということはない
事実4: この隣接地は修復出来ない
事実5: もし「その二階以上は揺るがしない」ということは事実であるとしたらこのビジネス・プロセスは揺るがしない一方でそれは突き詰める

仮説: この胸筋は細胞膜である
1. 事実1と事実4から、推論1: "その二階以上は揺るがさない"が導かれる
2. 推論1と事実5から、推論2: "このビジネス・プロセスは揺るがしないが突き詰める"が導かれる
3. 推論2と事実3から、仮説が否定される

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