この多数派株主はＣワンＱでない
fact1: もし仮に「「選択肢でないかもしくは耳順でないかあるいはどちらもだ」ということは成り立たない」ものがあるとするとあの休息時間は逞しい fact2: もし仮になんらかのものが逞しいとしたら進化し易い fact3: 「その三点セットは選択肢でないかまたは耳順であるということはないかあるいはどちらもである」ということは間違いである fact4: もしもあの休息時間が進化し易いならばこの多数派株主はＣワンＱでない一方で成り給う fact5: 仮にこの多数派株主が逞しいとするとそれはＣワンＱである
fact3 -> int1: 「「選択肢でないかあるいは耳順でない」ということは成り立たない」ものはある; int1 & fact1 -> int2: あの休息時間は逞しい; fact2 -> int3: もしあの休息時間が逞しいとすればそれは進化し易い; int2 & int3 -> int4: あの休息時間は進化し易い; int4 & fact4 -> int5: この多数派株主はＣワンＱでないがしかし成り給う; int5 -> hypothesis;
この多数派株主はＣワンＱである
$facts$ = fact1: もし仮に「「選択肢でないかもしくは耳順でないかあるいはどちらもだ」ということは成り立たない」ものがあるとするとあの休息時間は逞しい fact2: もし仮になんらかのものが逞しいとしたら進化し易い fact3: 「その三点セットは選択肢でないかまたは耳順であるということはないかあるいはどちらもである」ということは間違いである fact4: もしもあの休息時間が進化し易いならばこの多数派株主はＣワンＱでない一方で成り給う fact5: 仮にこの多数派株主が逞しいとするとそれはＣワンＱである ; $hypothesis$ = この多数派株主はＣワンＱでない ; $proof$ = 
fact3 -> int1: 「「選択肢でないかあるいは耳順でない」ということは成り立たない」ものはある; int1 & fact1 -> int2: あの休息時間は逞しい; fact2 -> int3: もしあの休息時間が逞しいとすればそれは進化し易い; int2 & int3 -> int4: あの休息時間は進化し易い; int4 & fact4 -> int5: この多数派株主はＣワンＱでないがしかし成り給う; int5 -> hypothesis; __PROVED__
事実1: もし仮に「「選択肢でないかもしくは耳順でないかあるいはどちらもだ」ということは成り立たない」ものがあるとするとあの休息時間は逞しい
事実2: もし仮になんらかのものが逞しいとしたら進化し易い
事実3: 「その三点セットは選択肢でないかまたは耳順であるということはないかあるいはどちらもである」ということは間違いである
事実4: もしもあの休息時間が進化し易いならばこの多数派株主はＣワンＱでない一方で成り給う
事実5: 仮にこの多数派株主が逞しいとするとそれはＣワンＱである

仮説: この多数派株主はＣワンＱでない
1. 事実3から、推論1: "「「選択肢でないかあるいは耳順でない」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実1から、推論2: "あの休息時間は逞しい"が導かれる
3. 事実2から、推論3: "もしあの休息時間が逞しいとすればそれは進化し易い"が導かれる
4. 推論2と推論3から、推論4: "あの休息時間は進化し易い"が導かれる
5. 推論4と事実4から、推論5: "この多数派株主はＣワンＱでないがしかし成り給う"が導かれる
6. 推論5から、仮説が導かれる

よって、仮説が証明されました。