この幕府首脳は直接観察する
fact1: 仮に「あるものは飽きっぽいかあるいは構想しないかあるいはどちらもである」ということは成り立たないならばそれは直接観察しない fact2: もしも何らかの物は粉っぽくないなら「それは飽きっぽいかもしくはそれは構想しないかもしくは両方だ」ということは真実でない fact3: この幕府首脳はてきぱきするが粉っぽくない
fact3 -> int1: この幕府首脳は粉っぽくない; fact2 -> int2: もしこの幕府首脳は粉っぽくないとすれば「「それは飽きっぽいかもしくは構想しないかあるいは両方である」ということは正しい」ということは誤りである; int1 & int2 -> int3: 「「この幕府首脳は飽きっぽいか構想しないかまたは両方である」ということは成り立つということはない」ということは成り立つ; fact1 -> int4: もし「この幕府首脳は飽きっぽいかまたは構想しない」ということは嘘であるならばそれは直接観察しない; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮に「あるものは飽きっぽいかあるいは構想しないかあるいはどちらもである」ということは成り立たないならばそれは直接観察しない fact2: もしも何らかの物は粉っぽくないなら「それは飽きっぽいかもしくはそれは構想しないかもしくは両方だ」ということは真実でない fact3: この幕府首脳はてきぱきするが粉っぽくない ; $hypothesis$ = この幕府首脳は直接観察する ; $proof$ = 
fact3 -> int1: この幕府首脳は粉っぽくない; fact2 -> int2: もしこの幕府首脳は粉っぽくないとすれば「「それは飽きっぽいかもしくは構想しないかあるいは両方である」ということは正しい」ということは誤りである; int1 & int2 -> int3: 「「この幕府首脳は飽きっぽいか構想しないかまたは両方である」ということは成り立つということはない」ということは成り立つ; fact1 -> int4: もし「この幕府首脳は飽きっぽいかまたは構想しない」ということは嘘であるならばそれは直接観察しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「あるものは飽きっぽいかあるいは構想しないかあるいはどちらもである」ということは成り立たないならばそれは直接観察しない
事実2: もしも何らかの物は粉っぽくないなら「それは飽きっぽいかもしくはそれは構想しないかもしくは両方だ」ということは真実でない
事実3: この幕府首脳はてきぱきするが粉っぽくない

仮説: この幕府首脳は直接観察する
1. 事実3から、推論1: "この幕府首脳は粉っぽくない"が導かれる
2. 事実2から、推論2: "もしこの幕府首脳は粉っぽくないとすれば「「それは飽きっぽいかもしくは構想しないかあるいは両方である」ということは正しい」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "「「この幕府首脳は飽きっぽいか構想しないかまたは両方である」ということは成り立つということはない」ということは成り立つ"が導かれる
4. 事実1から、推論4: "もし「この幕府首脳は飽きっぽいかまたは構想しない」ということは嘘であるならばそれは直接観察しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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