その肢体不自由はパームしない
fact1: もしとある物は取り組めるとしたら「眺望出来る」ということは真実だ fact2: もし仮になんらかの物が眺望出来るとするとパームする fact3: もし仮にその肢体不自由はスピード＆クオリティならば「取り組める」ということは正しい fact4: その肢体不自由はスピード＆クオリティだ
fact3 & fact4 -> int1: その肢体不自由は取り組める; fact1 -> int2: もしも「その肢体不自由は取り組める」ということは成り立つとすればそれは眺望出来る; int1 & int2 -> int3: その肢体不自由は眺望出来る; fact2 -> int4: 仮にその肢体不自由が眺望出来るならパームする; int3 & int4 -> hypothesis;
$facts$ = fact1: もしとある物は取り組めるとしたら「眺望出来る」ということは真実だ fact2: もし仮になんらかの物が眺望出来るとするとパームする fact3: もし仮にその肢体不自由はスピード＆クオリティならば「取り組める」ということは正しい fact4: その肢体不自由はスピード＆クオリティだ ; $hypothesis$ = その肢体不自由はパームしない ; $proof$ = 
fact3 & fact4 -> int1: その肢体不自由は取り組める; fact1 -> int2: もしも「その肢体不自由は取り組める」ということは成り立つとすればそれは眺望出来る; int1 & int2 -> int3: その肢体不自由は眺望出来る; fact2 -> int4: 仮にその肢体不自由が眺望出来るならパームする; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしとある物は取り組めるとしたら「眺望出来る」ということは真実だ
事実2: もし仮になんらかの物が眺望出来るとするとパームする
事実3: もし仮にその肢体不自由はスピード＆クオリティならば「取り組める」ということは正しい
事実4: その肢体不自由はスピード＆クオリティだ

仮説: その肢体不自由はパームしない
1. 事実3と事実4から、推論1: "その肢体不自由は取り組める"が導かれる
2. 事実1から、推論2: "もしも「その肢体不自由は取り組める」ということは成り立つとすればそれは眺望出来る"が導かれる
3. 推論1と推論2から、推論3: "その肢体不自由は眺望出来る"が導かれる
4. 事実2から、推論4: "仮にその肢体不自由が眺望出来るならパームする"が導かれる
5. 推論3と推論4から、仮説が否定される

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