そのインフルエンザワクチンは弓弦である
fact1: その全体的人間は選択され易くない fact2: もしも何らかのものが選択され易いけれど色覚でないとしたら「そのインフルエンザワクチンは史跡名勝天然記念物である」ということは本当だ fact3: なにがしかのものは選択され易くない fact4: 何かは史跡名勝天然記念物でないしさらに弓弦だということはないとすればそのインフルエンザワクチンは選択され易い fact5: もしも選択され易い物が色覚でないならばこの開戦後は弓弦だ fact6: 史跡名勝天然記念物は弓弦である fact7: 選択され易くない物は弓弦でない fact8: 仮にある物が色覚でないし弓弦でないとするとそのインフルエンザワクチンは選択され易い fact9: この開戦後は選択され易いということはない fact10: 仮に何らかの物が弓弦でないしさらに史跡名勝天然記念物でないとしたらそのインフルエンザワクチンは選択され易い fact11: この開戦後は選択され易くないしさらに色覚でない fact12: とあるものは選択され易くないけれど色覚である fact13: この抽台は選択され易い fact14: もしも「選択され易くないしかつ色覚でない」ものはあるとしたら「そのインフルエンザワクチンは史跡名勝天然記念物だ」ということは事実である fact15: そのインフルエンザワクチンは選択され易い
fact11 -> int1: 「選択され易くないし色覚でない」ものはある; int1 & fact14 -> int2: そのインフルエンザワクチンは史跡名勝天然記念物だ; fact6 -> int3: もしもそのインフルエンザワクチンは史跡名勝天然記念物であるならそれは弓弦だ; int2 & int3 -> hypothesis;
そのインフルエンザワクチンは弓弦でない
fact16 -> int4: 仮にそのインフルエンザワクチンが選択され易いということはないならそれは弓弦でない;
$facts$ = fact1: その全体的人間は選択され易くない fact2: もしも何らかのものが選択され易いけれど色覚でないとしたら「そのインフルエンザワクチンは史跡名勝天然記念物である」ということは本当だ fact3: なにがしかのものは選択され易くない fact4: 何かは史跡名勝天然記念物でないしさらに弓弦だということはないとすればそのインフルエンザワクチンは選択され易い fact5: もしも選択され易い物が色覚でないならばこの開戦後は弓弦だ fact6: 史跡名勝天然記念物は弓弦である fact7: 選択され易くない物は弓弦でない fact8: 仮にある物が色覚でないし弓弦でないとするとそのインフルエンザワクチンは選択され易い fact9: この開戦後は選択され易いということはない fact10: 仮に何らかの物が弓弦でないしさらに史跡名勝天然記念物でないとしたらそのインフルエンザワクチンは選択され易い fact11: この開戦後は選択され易くないしさらに色覚でない fact12: とあるものは選択され易くないけれど色覚である fact13: この抽台は選択され易い fact14: もしも「選択され易くないしかつ色覚でない」ものはあるとしたら「そのインフルエンザワクチンは史跡名勝天然記念物だ」ということは事実である fact15: そのインフルエンザワクチンは選択され易い ; $hypothesis$ = そのインフルエンザワクチンは弓弦である ; $proof$ = 
fact11 -> int1: 「選択され易くないし色覚でない」ものはある; int1 & fact14 -> int2: そのインフルエンザワクチンは史跡名勝天然記念物だ; fact6 -> int3: もしもそのインフルエンザワクチンは史跡名勝天然記念物であるならそれは弓弦だ; int2 & int3 -> hypothesis; __PROVED__
事実1: その全体的人間は選択され易くない
事実2: もしも何らかのものが選択され易いけれど色覚でないとしたら「そのインフルエンザワクチンは史跡名勝天然記念物である」ということは本当だ
事実3: なにがしかのものは選択され易くない
事実4: 何かは史跡名勝天然記念物でないしさらに弓弦だということはないとすればそのインフルエンザワクチンは選択され易い
事実5: もしも選択され易い物が色覚でないならばこの開戦後は弓弦だ
事実6: 史跡名勝天然記念物は弓弦である
事実7: 選択され易くない物は弓弦でない
事実8: 仮にある物が色覚でないし弓弦でないとするとそのインフルエンザワクチンは選択され易い
事実9: この開戦後は選択され易いということはない
事実10: 仮に何らかの物が弓弦でないしさらに史跡名勝天然記念物でないとしたらそのインフルエンザワクチンは選択され易い
事実11: この開戦後は選択され易くないしさらに色覚でない
事実12: とあるものは選択され易くないけれど色覚である
事実13: この抽台は選択され易い
事実14: もしも「選択され易くないしかつ色覚でない」ものはあるとしたら「そのインフルエンザワクチンは史跡名勝天然記念物だ」ということは事実である
事実15: そのインフルエンザワクチンは選択され易い

仮説: そのインフルエンザワクチンは弓弦である
1. 事実11から、推論1: "「選択され易くないし色覚でない」ものはある"が導かれる
2. 推論1と事実14から、推論2: "そのインフルエンザワクチンは史跡名勝天然記念物だ"が導かれる
3. 事実6から、推論3: "もしもそのインフルエンザワクチンは史跡名勝天然記念物であるならそれは弓弦だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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