もしこの膠着は泊まるなら「このソッカは詮無いということはないけど掠る」ということは成り立たない
fact1: 「もしこの膠着が物珍しいしおまけにそれが泊まるとするとあの律動は掠らない」ということは真実だ fact2: もし仮にあの律動は掠るということはないとすると「このソッカは詮無くない一方で掠る」ということは成り立たない fact3: この膠着は広しし仰臥する fact4: もし仮になんらかのものが広しとしたらそれは物珍しい fact5: もしこの膠着が泊まればこのソッカは詮無くないけれど掠る
fact3 -> int1: 「この膠着は広し」ということは本当だ; fact4 -> int2: もしこの膠着が広しとしたらそれは物珍しい; int1 & int2 -> int3: この膠着は物珍しい; void -> assump1: 以下のように仮定する。この膠着は泊まる; int3 & assump1 -> int4: この膠着は物珍しくてさらに泊まる; int4 & fact1 -> int5: あの律動は掠らない; int5 & fact2 -> int6: 「このソッカは詮無くないがしかし掠る」ということは確かでない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「もしこの膠着が物珍しいしおまけにそれが泊まるとするとあの律動は掠らない」ということは真実だ fact2: もし仮にあの律動は掠るということはないとすると「このソッカは詮無くない一方で掠る」ということは成り立たない fact3: この膠着は広しし仰臥する fact4: もし仮になんらかのものが広しとしたらそれは物珍しい fact5: もしこの膠着が泊まればこのソッカは詮無くないけれど掠る ; $hypothesis$ = もしこの膠着は泊まるなら「このソッカは詮無いということはないけど掠る」ということは成り立たない ; $proof$ = 
fact3 -> int1: 「この膠着は広し」ということは本当だ; fact4 -> int2: もしこの膠着が広しとしたらそれは物珍しい; int1 & int2 -> int3: この膠着は物珍しい; void -> assump1: 以下のように仮定する。この膠着は泊まる; int3 & assump1 -> int4: この膠着は物珍しくてさらに泊まる; int4 & fact1 -> int5: あの律動は掠らない; int5 & fact2 -> int6: 「このソッカは詮無くないがしかし掠る」ということは確かでない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「もしこの膠着が物珍しいしおまけにそれが泊まるとするとあの律動は掠らない」ということは真実だ
事実2: もし仮にあの律動は掠るということはないとすると「このソッカは詮無くない一方で掠る」ということは成り立たない
事実3: この膠着は広しし仰臥する
事実4: もし仮になんらかのものが広しとしたらそれは物珍しい
事実5: もしこの膠着が泊まればこのソッカは詮無くないけれど掠る

仮説: もしこの膠着は泊まるなら「このソッカは詮無いということはないけど掠る」ということは成り立たない
1. 事実3から、推論1: "「この膠着は広し」ということは本当だ"が導かれる
2. 事実4から、推論2: "もしこの膠着が広しとしたらそれは物珍しい"が導かれる
3. 推論1と推論2から、推論3: "この膠着は物珍しい"が導かれる
4. 仮定1: 以下のように仮定する。この膠着は泊まる
5. 推論3と仮定1から、推論4: "この膠着は物珍しくてさらに泊まる"が導かれる
6. 推論4と事実1から、推論5: "あの律動は掠らない"が導かれる
7. 推論5と事実2から、推論6: "「このソッカは詮無くないがしかし掠る」ということは確かでない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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