あのメンバー一人一人は訳無いということはない
fact1: もし仮にあのメンバー一人一人はＯＲデルでないなら「それは転げ出ないしかつ聞き従わない」ということは誤っている fact2: もし仮に「あるものは転げ出ないし聞き従わない」ということは間違いであるとしたら集団分化だ fact3: あのメンバー一人一人はＯＲデルでない fact4: 仮になんらかのものが集団分化ならばそれは訳無い
fact1 & fact3 -> int1: 「「あのメンバー一人一人は転げ出ないしかつ聞き従わない」ということは成り立つ」ということは成り立たない; fact2 -> int2: 「「あのメンバー一人一人は転げ出ないしまた聞き従わない」ということは間違いだ」ということは確かなら集団分化である; int1 & int2 -> int3: あのメンバー一人一人は集団分化である; fact4 -> int4: もしあのメンバー一人一人は集団分化であるとすればそれは訳無い; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮にあのメンバー一人一人はＯＲデルでないなら「それは転げ出ないしかつ聞き従わない」ということは誤っている fact2: もし仮に「あるものは転げ出ないし聞き従わない」ということは間違いであるとしたら集団分化だ fact3: あのメンバー一人一人はＯＲデルでない fact4: 仮になんらかのものが集団分化ならばそれは訳無い ; $hypothesis$ = あのメンバー一人一人は訳無いということはない ; $proof$ = 
fact1 & fact3 -> int1: 「「あのメンバー一人一人は転げ出ないしかつ聞き従わない」ということは成り立つ」ということは成り立たない; fact2 -> int2: 「「あのメンバー一人一人は転げ出ないしまた聞き従わない」ということは間違いだ」ということは確かなら集団分化である; int1 & int2 -> int3: あのメンバー一人一人は集団分化である; fact4 -> int4: もしあのメンバー一人一人は集団分化であるとすればそれは訳無い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にあのメンバー一人一人はＯＲデルでないなら「それは転げ出ないしかつ聞き従わない」ということは誤っている
事実2: もし仮に「あるものは転げ出ないし聞き従わない」ということは間違いであるとしたら集団分化だ
事実3: あのメンバー一人一人はＯＲデルでない
事実4: 仮になんらかのものが集団分化ならばそれは訳無い

仮説: あのメンバー一人一人は訳無いということはない
1. 事実1と事実3から、推論1: "「「あのメンバー一人一人は転げ出ないしかつ聞き従わない」ということは成り立つ」ということは成り立たない"が導かれる
2. 事実2から、推論2: "「「あのメンバー一人一人は転げ出ないしまた聞き従わない」ということは間違いだ」ということは確かなら集団分化である"が導かれる
3. 推論1と推論2から、推論3: "あのメンバー一人一人は集団分化である"が導かれる
4. 事実4から、推論4: "もしあのメンバー一人一人は集団分化であるとすればそれは訳無い"が導かれる
5. 推論3と推論4から、仮説が否定される

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