「仮に「あの水中カメラは滑り易い」ということは成り立つとしたらこの山頂遺跡はべた付き易い」ということは誤りだ
fact1: 一気圧はべた付き易い fact2: 「その完全労働力は走り易くないかまたはそれは急旋回である」ということは間違っている fact3: 仮にあの水中カメラがアサインするとすればこの鶴山公園は滑り易い fact4: 仮にこの初役はアサインするなら「あのママはＤＲだ」ということは確かだ fact5: 仮にこの初役が一気圧でないならばあの水中カメラはアサインするけれどＤＲでない fact6: もし仮にとある物が決議しないならそれはべた付き易いししかも格闘技である fact7: この撮影計画は滑り易い fact8: 仮に「あのママはＤＲだ」ということは事実であるとすればあの山頂遺跡は一気圧である fact9: 「もしこの山頂遺跡がべた付き易いし加えて格闘技だとしたらあのママはべた付き易いということはない」ということは事実である fact10: あの水中カメラが滑り易いとすればこの初役はアサインする fact11: もし仮に「あのママは一気圧であるかまたは歩き難くないか両方だ」ということは成り立たないならばこの初役は一気圧でない
void -> assump1: 以下のように仮定する。あの水中カメラは滑り易い; fact10 & assump1 -> int1: この初役はアサインする; int1 & fact4 -> int2: あのママはＤＲだ; int2 & fact8 -> int3: この山頂遺跡は一気圧である; fact1 -> int4: もしもこの山頂遺跡は一気圧なら「べた付き易い」ということは成り立つ; int3 & int4 -> int5: この山頂遺跡はべた付き易い; [assump1] & int5 -> hypothesis;
この鶴山公園は滑り易い
fact14 -> int6: 仮にこの山頂遺跡が決議しないとするとべた付き易いものでかつ格闘技だ; fact13 -> int7: 「「走り易くないか急旋回であるかあるいは両方ともだ」ということは間違いな」ものはある;
$facts$ = fact1: 一気圧はべた付き易い fact2: 「その完全労働力は走り易くないかまたはそれは急旋回である」ということは間違っている fact3: 仮にあの水中カメラがアサインするとすればこの鶴山公園は滑り易い fact4: 仮にこの初役はアサインするなら「あのママはＤＲだ」ということは確かだ fact5: 仮にこの初役が一気圧でないならばあの水中カメラはアサインするけれどＤＲでない fact6: もし仮にとある物が決議しないならそれはべた付き易いししかも格闘技である fact7: この撮影計画は滑り易い fact8: 仮に「あのママはＤＲだ」ということは事実であるとすればあの山頂遺跡は一気圧である fact9: 「もしこの山頂遺跡がべた付き易いし加えて格闘技だとしたらあのママはべた付き易いということはない」ということは事実である fact10: あの水中カメラが滑り易いとすればこの初役はアサインする fact11: もし仮に「あのママは一気圧であるかまたは歩き難くないか両方だ」ということは成り立たないならばこの初役は一気圧でない ; $hypothesis$ = 「仮に「あの水中カメラは滑り易い」ということは成り立つとしたらこの山頂遺跡はべた付き易い」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの水中カメラは滑り易い; fact10 & assump1 -> int1: この初役はアサインする; int1 & fact4 -> int2: あのママはＤＲだ; int2 & fact8 -> int3: この山頂遺跡は一気圧である; fact1 -> int4: もしもこの山頂遺跡は一気圧なら「べた付き易い」ということは成り立つ; int3 & int4 -> int5: この山頂遺跡はべた付き易い; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 一気圧はべた付き易い
事実2: 「その完全労働力は走り易くないかまたはそれは急旋回である」ということは間違っている
事実3: 仮にあの水中カメラがアサインするとすればこの鶴山公園は滑り易い
事実4: 仮にこの初役はアサインするなら「あのママはＤＲだ」ということは確かだ
事実5: 仮にこの初役が一気圧でないならばあの水中カメラはアサインするけれどＤＲでない
事実6: もし仮にとある物が決議しないならそれはべた付き易いししかも格闘技である
事実7: この撮影計画は滑り易い
事実8: 仮に「あのママはＤＲだ」ということは事実であるとすればあの山頂遺跡は一気圧である
事実9: 「もしこの山頂遺跡がべた付き易いし加えて格闘技だとしたらあのママはべた付き易いということはない」ということは事実である
事実10: あの水中カメラが滑り易いとすればこの初役はアサインする
事実11: もし仮に「あのママは一気圧であるかまたは歩き難くないか両方だ」ということは成り立たないならばこの初役は一気圧でない

仮説: 「仮に「あの水中カメラは滑り易い」ということは成り立つとしたらこの山頂遺跡はべた付き易い」ということは誤りだ
1. 仮定1: 以下のように仮定する。あの水中カメラは滑り易い
2. 事実10と仮定1から、推論1: "この初役はアサインする"が導かれる
3. 推論1と事実4から、推論2: "あのママはＤＲだ"が導かれる
4. 推論2と事実8から、推論3: "この山頂遺跡は一気圧である"が導かれる
5. 事実1から、推論4: "もしもこの山頂遺跡は一気圧なら「べた付き易い」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "この山頂遺跡はべた付き易い"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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