もしもこの大所高所は寝かせないとしたら「この宇宙観は移動し易くない」ということは正しい
fact1: もし「この宇宙観はチャンスだが穿るということはない」ということは誤りであるとするとこの大所高所は寝かせる fact2: もし何かは救い難いということはないならば「チャンスだがしかし穿るない」ということは間違っている fact3: この宇宙観は許し難い fact4: 仮にこの宇宙観は救い難くてそれに許し難いなら移動し易いということはない
fact2 -> int1: もしもこの宇宙観は救い難くないとすると「それはチャンスで穿るない」ということは間違いである; void -> assump2: 以下のように仮定する。この宇宙観は救い難くない; int1 & assump2 -> int2: 「この宇宙観はチャンスだ一方で穿るない」ということは事実と異なる; int2 & fact1 -> int3: この大所高所は寝かせる; void -> assump1: 以下のように仮定する。この大所高所は寝かせない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この宇宙観は救い難い; int5 & fact3 -> int6: この宇宙観は救い難いし許し難い; int6 & fact4 -> int7: この宇宙観は移動し易くない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし「この宇宙観はチャンスだが穿るということはない」ということは誤りであるとするとこの大所高所は寝かせる fact2: もし何かは救い難いということはないならば「チャンスだがしかし穿るない」ということは間違っている fact3: この宇宙観は許し難い fact4: 仮にこの宇宙観は救い難くてそれに許し難いなら移動し易いということはない ; $hypothesis$ = もしもこの大所高所は寝かせないとしたら「この宇宙観は移動し易くない」ということは正しい ; $proof$ = 
fact2 -> int1: もしもこの宇宙観は救い難くないとすると「それはチャンスで穿るない」ということは間違いである; void -> assump2: 以下のように仮定する。この宇宙観は救い難くない; int1 & assump2 -> int2: 「この宇宙観はチャンスだ一方で穿るない」ということは事実と異なる; int2 & fact1 -> int3: この大所高所は寝かせる; void -> assump1: 以下のように仮定する。この大所高所は寝かせない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この宇宙観は救い難い; int5 & fact3 -> int6: この宇宙観は救い難いし許し難い; int6 & fact4 -> int7: この宇宙観は移動し易くない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし「この宇宙観はチャンスだが穿るということはない」ということは誤りであるとするとこの大所高所は寝かせる
事実2: もし何かは救い難いということはないならば「チャンスだがしかし穿るない」ということは間違っている
事実3: この宇宙観は許し難い
事実4: 仮にこの宇宙観は救い難くてそれに許し難いなら移動し易いということはない

仮説: もしもこの大所高所は寝かせないとしたら「この宇宙観は移動し易くない」ということは正しい
1. 事実2から、推論1: "もしもこの宇宙観は救い難くないとすると「それはチャンスで穿るない」ということは間違いである"が導かれる
2. 仮定2: 以下のように仮定する。この宇宙観は救い難くない
3. 推論1と仮定2から、推論2: "「この宇宙観はチャンスだ一方で穿るない」ということは事実と異なる"が導かれる
4. 推論2と事実1から、推論3: "この大所高所は寝かせる"が導かれる
5. 仮定1: 以下のように仮定する。この大所高所は寝かせない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "この宇宙観は救い難い"が導かれる
8. 推論5と事実3から、推論6: "この宇宙観は救い難いし許し難い"が導かれる
9. 推論6と事実4から、推論7: "この宇宙観は移動し易くない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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