その白羽は居座る
fact1: 仮に「「数千年前でないしそれに堪り易くない」ということは成り立たない」ものがあればその白羽は冷たくない fact2: 仮に物珍しいものが書き難いならこの電機は否定し難くない fact3: もし「なんらかのものはしかつめらしいがしかしエツ族でない」ということは誤りであるならそれはエツ族である fact4: 「あの軍事産業委員会は落ち難い」ということは真実だ fact5: 物珍しいし書き難い物はある fact6: もしもあの軍事産業委員会は落ち難いならば「数千年前でないし加えて堪り易くない」ということは成り立たない fact7: もし何かは冷たくないとしたらそれは居座るということはない
fact6 & fact4 -> int1: 「あの軍事産業委員会は数千年前でないしおまけにそれは堪り易くない」ということは誤りである; int1 -> int2: 「「数千年前でなくて堪り易くない」ということは事実と異なる」物はある; int2 & fact1 -> int3: その白羽は冷たくない; fact7 -> int4: もしその白羽が冷たくないとすればそれは居座らない; int3 & int4 -> hypothesis;
その白羽は居座る
fact8 -> int5: もし仮に「あの感度はしかつめらしいがしかしエツ族だということはない」ということは誤っているならエツ族だ; fact10 & fact9 -> int6: この電機は否定し難くない; int6 -> int7: 「否定し難くない」物はある;
$facts$ = fact1: 仮に「「数千年前でないしそれに堪り易くない」ということは成り立たない」ものがあればその白羽は冷たくない fact2: 仮に物珍しいものが書き難いならこの電機は否定し難くない fact3: もし「なんらかのものはしかつめらしいがしかしエツ族でない」ということは誤りであるならそれはエツ族である fact4: 「あの軍事産業委員会は落ち難い」ということは真実だ fact5: 物珍しいし書き難い物はある fact6: もしもあの軍事産業委員会は落ち難いならば「数千年前でないし加えて堪り易くない」ということは成り立たない fact7: もし何かは冷たくないとしたらそれは居座るということはない ; $hypothesis$ = その白羽は居座る ; $proof$ = 
fact6 & fact4 -> int1: 「あの軍事産業委員会は数千年前でないしおまけにそれは堪り易くない」ということは誤りである; int1 -> int2: 「「数千年前でなくて堪り易くない」ということは事実と異なる」物はある; int2 & fact1 -> int3: その白羽は冷たくない; fact7 -> int4: もしその白羽が冷たくないとすればそれは居座らない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「「数千年前でないしそれに堪り易くない」ということは成り立たない」ものがあればその白羽は冷たくない
事実2: 仮に物珍しいものが書き難いならこの電機は否定し難くない
事実3: もし「なんらかのものはしかつめらしいがしかしエツ族でない」ということは誤りであるならそれはエツ族である
事実4: 「あの軍事産業委員会は落ち難い」ということは真実だ
事実5: 物珍しいし書き難い物はある
事実6: もしもあの軍事産業委員会は落ち難いならば「数千年前でないし加えて堪り易くない」ということは成り立たない
事実7: もし何かは冷たくないとしたらそれは居座るということはない

仮説: その白羽は居座る
1. 事実6と事実4から、推論1: "「あの軍事産業委員会は数千年前でないしおまけにそれは堪り易くない」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「数千年前でなくて堪り易くない」ということは事実と異なる」物はある"が導かれる
3. 推論2と事実1から、推論3: "その白羽は冷たくない"が導かれる
4. 事実7から、推論4: "もしその白羽が冷たくないとすればそれは居座らない"が導かれる
5. 推論3と推論4から、仮説が否定される

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