「「もし仮に掃除し易いとすれば小汚いけれど用い易くない」ものはある」ということは成り立つ
fact1: 「もしも斡旋するとすれば直属するし列する」物はある fact2: 掃除し易い物は小汚いけれど用い易くない fact3: 「もしもソムリエだとしたら行動出来るしダックスな」物はある fact4: もし仮にその日本軍部が意味深いとすればそれは見損なうけれどソムリエでない fact5: 「もしも「差し芽である」ということは成り立つなら雇い入れ通知書であるしまた旅装である」ものはある fact6: 「もしすげないとすれば流砂である」ものはある fact7: 「仮に流砂であるとしたら過ごし易い」ものはある fact8: もしもその日本軍部が掃除し易いとするとそれは小汚くてまた用い易い fact9: 「小高いなら高松城だしさらに市販する」物はある fact10: もしもなにがしかのものが礼儀正しいなら旗本であるし三代格でない fact11: 仮にその日本軍部が揺るぎないとすればそれは掃除し易い fact12: もし仮にその日本軍部が用い易いとすれば日本産科婦人科学会である fact13: 仮に何らかのものが小さいなら容易いしかつ不動産屋だ fact14: 「もしも旗本だとすれば「認定基準告示であるし加えて面接室である」ということは成り立つ」物はある fact15: もしもなんらかのものが知り難しとしたら木らしいが疲労し易くない fact16: なんらかのものが揺るぎないなら名高くて加えて働き難い fact17: もしその日本軍部が用い易いとしたらそれはテラーである
fact2 -> int1: その日本軍部が掃除し易いなら小汚いしかつそれは用い易くない; int1 -> hypothesis;
$facts$ = fact1: 「もしも斡旋するとすれば直属するし列する」物はある fact2: 掃除し易い物は小汚いけれど用い易くない fact3: 「もしもソムリエだとしたら行動出来るしダックスな」物はある fact4: もし仮にその日本軍部が意味深いとすればそれは見損なうけれどソムリエでない fact5: 「もしも「差し芽である」ということは成り立つなら雇い入れ通知書であるしまた旅装である」ものはある fact6: 「もしすげないとすれば流砂である」ものはある fact7: 「仮に流砂であるとしたら過ごし易い」ものはある fact8: もしもその日本軍部が掃除し易いとするとそれは小汚くてまた用い易い fact9: 「小高いなら高松城だしさらに市販する」物はある fact10: もしもなにがしかのものが礼儀正しいなら旗本であるし三代格でない fact11: 仮にその日本軍部が揺るぎないとすればそれは掃除し易い fact12: もし仮にその日本軍部が用い易いとすれば日本産科婦人科学会である fact13: 仮に何らかのものが小さいなら容易いしかつ不動産屋だ fact14: 「もしも旗本だとすれば「認定基準告示であるし加えて面接室である」ということは成り立つ」物はある fact15: もしもなんらかのものが知り難しとしたら木らしいが疲労し易くない fact16: なんらかのものが揺るぎないなら名高くて加えて働き難い fact17: もしその日本軍部が用い易いとしたらそれはテラーである ; $hypothesis$ = 「「もし仮に掃除し易いとすれば小汚いけれど用い易くない」ものはある」ということは成り立つ ; $proof$ = 
fact2 -> int1: その日本軍部が掃除し易いなら小汚いしかつそれは用い易くない; int1 -> hypothesis; __PROVED__
事実1: 「もしも斡旋するとすれば直属するし列する」物はある
事実2: 掃除し易い物は小汚いけれど用い易くない
事実3: 「もしもソムリエだとしたら行動出来るしダックスな」物はある
事実4: もし仮にその日本軍部が意味深いとすればそれは見損なうけれどソムリエでない
事実5: 「もしも「差し芽である」ということは成り立つなら雇い入れ通知書であるしまた旅装である」ものはある
事実6: 「もしすげないとすれば流砂である」ものはある
事実7: 「仮に流砂であるとしたら過ごし易い」ものはある
事実8: もしもその日本軍部が掃除し易いとするとそれは小汚くてまた用い易い
事実9: 「小高いなら高松城だしさらに市販する」物はある
事実10: もしもなにがしかのものが礼儀正しいなら旗本であるし三代格でない
事実11: 仮にその日本軍部が揺るぎないとすればそれは掃除し易い
事実12: もし仮にその日本軍部が用い易いとすれば日本産科婦人科学会である
事実13: 仮に何らかのものが小さいなら容易いしかつ不動産屋だ
事実14: 「もしも旗本だとすれば「認定基準告示であるし加えて面接室である」ということは成り立つ」物はある
事実15: もしもなんらかのものが知り難しとしたら木らしいが疲労し易くない
事実16: なんらかのものが揺るぎないなら名高くて加えて働き難い
事実17: もしその日本軍部が用い易いとしたらそれはテラーである

仮説: 「「もし仮に掃除し易いとすれば小汚いけれど用い易くない」ものはある」ということは成り立つ
1. 事実2から、推論1: "その日本軍部が掃除し易いなら小汚いしかつそれは用い易くない"が導かれる
2. 推論1から、仮説が導かれる

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