その固定針はスペードだ
fact1: 仮にその固定針は子供らしいなら「統合幕僚会議でなくて加えて近現代でない」ということは偽である fact2: もし仮にその小豆粥がスペードでないとしたらその固定針は加盟するけど達観しない fact3: その固定針は子供らしい fact4: もしも「ある物は統合幕僚会議でなくてその上それは近現代でない」ということは成り立たないとすれば「発信元である」ということは成り立つ fact5: もしもなんらかのものは受け入れられ易くないとしたら「近現代だが統合幕僚会議でない」ということは成り立たない fact6: 仮にその小豆粥が達観する一方でスペードであるということはないならその固定針はスペードでない fact7: もし仮に「「あの創外固定法は近現代である一方で統合幕僚会議でない」ということは偽である」ということは確かならその小豆粥は達観する fact8: その固定針は達観する fact9: その固定針は達観するしそれはスペードである
fact9 -> hypothesis;
fact9 -> hypothesis;
その固定針はスペードでない
fact11 -> int1: もし仮にあの創外固定法は受け入れられ易くないとしたら「それは近現代であるしおまけに統合幕僚会議でない」ということは成り立つということはない;
$facts$ = fact1: 仮にその固定針は子供らしいなら「統合幕僚会議でなくて加えて近現代でない」ということは偽である fact2: もし仮にその小豆粥がスペードでないとしたらその固定針は加盟するけど達観しない fact3: その固定針は子供らしい fact4: もしも「ある物は統合幕僚会議でなくてその上それは近現代でない」ということは成り立たないとすれば「発信元である」ということは成り立つ fact5: もしもなんらかのものは受け入れられ易くないとしたら「近現代だが統合幕僚会議でない」ということは成り立たない fact6: 仮にその小豆粥が達観する一方でスペードであるということはないならその固定針はスペードでない fact7: もし仮に「「あの創外固定法は近現代である一方で統合幕僚会議でない」ということは偽である」ということは確かならその小豆粥は達観する fact8: その固定針は達観する fact9: その固定針は達観するしそれはスペードである ; $hypothesis$ = その固定針はスペードだ ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮にその固定針は子供らしいなら「統合幕僚会議でなくて加えて近現代でない」ということは偽である
事実2: もし仮にその小豆粥がスペードでないとしたらその固定針は加盟するけど達観しない
事実3: その固定針は子供らしい
事実4: もしも「ある物は統合幕僚会議でなくてその上それは近現代でない」ということは成り立たないとすれば「発信元である」ということは成り立つ
事実5: もしもなんらかのものは受け入れられ易くないとしたら「近現代だが統合幕僚会議でない」ということは成り立たない
事実6: 仮にその小豆粥が達観する一方でスペードであるということはないならその固定針はスペードでない
事実7: もし仮に「「あの創外固定法は近現代である一方で統合幕僚会議でない」ということは偽である」ということは確かならその小豆粥は達観する
事実8: その固定針は達観する
事実9: その固定針は達観するしそれはスペードである

仮説: その固定針はスペードだ
1. 事実9から、仮説が導かれる

よって、仮説が証明されました。