その残酷さは積み重なるということはなくてそれにローゼンでない
fact1: もしあのクリケットが積み重ならないならばその残酷さが積み重ならないしさらにローゼンでない fact2: もしも「この神泉教団は蜻蛉返りでない一方で入会出来る」ということは本当でないならばあのクリケットは入会出来ない fact3: もしも「この神泉教団は入会出来る」ということは真実であるなら「その残酷さは積み重ならなくてそれにローゼンでない」ということは事実と異なる fact4: ある物が入会出来ないならそれは積み重ならない fact5: 「この神泉教団は蜻蛉返りでない一方で入会出来る」ということは真実でない
fact4 -> int1: もしもあのクリケットが入会出来ないなら積み重ならない; fact5 & fact2 -> int2: あのクリケットは入会出来ない; int1 & int2 -> int3: あのクリケットは積み重ならない; int3 & fact1 -> hypothesis;
「その残酷さは積み重ならなくてローゼンでない」ということは成り立たない
$facts$ = fact1: もしあのクリケットが積み重ならないならばその残酷さが積み重ならないしさらにローゼンでない fact2: もしも「この神泉教団は蜻蛉返りでない一方で入会出来る」ということは本当でないならばあのクリケットは入会出来ない fact3: もしも「この神泉教団は入会出来る」ということは真実であるなら「その残酷さは積み重ならなくてそれにローゼンでない」ということは事実と異なる fact4: ある物が入会出来ないならそれは積み重ならない fact5: 「この神泉教団は蜻蛉返りでない一方で入会出来る」ということは真実でない ; $hypothesis$ = その残酷さは積み重なるということはなくてそれにローゼンでない ; $proof$ = 
fact4 -> int1: もしもあのクリケットが入会出来ないなら積み重ならない; fact5 & fact2 -> int2: あのクリケットは入会出来ない; int1 & int2 -> int3: あのクリケットは積み重ならない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしあのクリケットが積み重ならないならばその残酷さが積み重ならないしさらにローゼンでない
事実2: もしも「この神泉教団は蜻蛉返りでない一方で入会出来る」ということは本当でないならばあのクリケットは入会出来ない
事実3: もしも「この神泉教団は入会出来る」ということは真実であるなら「その残酷さは積み重ならなくてそれにローゼンでない」ということは事実と異なる
事実4: ある物が入会出来ないならそれは積み重ならない
事実5: 「この神泉教団は蜻蛉返りでない一方で入会出来る」ということは真実でない

仮説: その残酷さは積み重なるということはなくてそれにローゼンでない
1. 事実4から、推論1: "もしもあのクリケットが入会出来ないなら積み重ならない"が導かれる
2. 事実5と事実2から、推論2: "あのクリケットは入会出来ない"が導かれる
3. 推論1と推論2から、推論3: "あのクリケットは積み重ならない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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