その外付けは進化し易くないかあるいは運動障害である
fact1: 仮に何らかのものは繰り越しするということはないならば「それは広がり難くないしそれは切り難いということはない」ということは間違いだ fact2: 仮に「「拾い上げるということはなくて更に役らしくない」ということは間違っている」物はあるとすると「その外付けは繰り越しする」ということは事実である fact3: もしなんらかのものは繰り越しすれば「進化し易くないかもしくは運動障害であるかあるいは両方ともである」ということは成り立たない fact4: 「「拾い上げるということはないし役らしくない」ということは成り立たない」ものはある fact5: もし何らかのものが運動障害でおまけに進化し易いとすればそれは繰り越ししない
fact4 & fact2 -> int1: 「その外付けは繰り越しする」ということは真実である; fact3 -> int2: 「その外付けは繰り越しするとすれば「その外付けは進化し易いということはないかあるいは運動障害であるかどちらもだ」ということは本当でない」ということは正しい; int1 & int2 -> hypothesis;
「「広がり難くないし更に切り難いということはない」ということは成り立つということはない」物はある
fact7 -> int3: もし仮に「その外付けは繰り越ししない」ということは確かだとしたら「それは広がり難いということはないしおまけに切り難くない」ということは誤りである; fact6 -> int4: 「その外付けは運動障害で加えて進化し易い」ということは正しいならば繰り越ししない;
$facts$ = fact1: 仮に何らかのものは繰り越しするということはないならば「それは広がり難くないしそれは切り難いということはない」ということは間違いだ fact2: 仮に「「拾い上げるということはなくて更に役らしくない」ということは間違っている」物はあるとすると「その外付けは繰り越しする」ということは事実である fact3: もしなんらかのものは繰り越しすれば「進化し易くないかもしくは運動障害であるかあるいは両方ともである」ということは成り立たない fact4: 「「拾い上げるということはないし役らしくない」ということは成り立たない」ものはある fact5: もし何らかのものが運動障害でおまけに進化し易いとすればそれは繰り越ししない ; $hypothesis$ = その外付けは進化し易くないかあるいは運動障害である ; $proof$ = 
fact4 & fact2 -> int1: 「その外付けは繰り越しする」ということは真実である; fact3 -> int2: 「その外付けは繰り越しするとすれば「その外付けは進化し易いということはないかあるいは運動障害であるかどちらもだ」ということは本当でない」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものは繰り越しするということはないならば「それは広がり難くないしそれは切り難いということはない」ということは間違いだ
事実2: 仮に「「拾い上げるということはなくて更に役らしくない」ということは間違っている」物はあるとすると「その外付けは繰り越しする」ということは事実である
事実3: もしなんらかのものは繰り越しすれば「進化し易くないかもしくは運動障害であるかあるいは両方ともである」ということは成り立たない
事実4: 「「拾い上げるということはないし役らしくない」ということは成り立たない」ものはある
事実5: もし何らかのものが運動障害でおまけに進化し易いとすればそれは繰り越ししない

仮説: その外付けは進化し易くないかあるいは運動障害である
1. 事実4と事実2から、推論1: "「その外付けは繰り越しする」ということは真実である"が導かれる
2. 事実3から、推論2: "「その外付けは繰り越しするとすれば「その外付けは進化し易いということはないかあるいは運動障害であるかどちらもだ」ということは本当でない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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