「この年齢差は予選する」ということは事実だ
fact1: もし仮に「構成し得るししかも御濃い」物があるならこの五年置きは現実逃避でない fact2: もしもなんらかのものは現実逃避でないとすると「魚本来だけど栄でない」ということは誤りである fact3: もしこの年齢差は小煩いとしたら「予選する」ということは事実だ fact4: 仮にあのさびき釣りが喚き散らさないならばあの検認は消費者側であるかまたはそれは御話しない fact5: もし「その左京君は消費者側だ」ということは事実と異ならないとすればこの年齢差は国民的基盤である fact6: 仮に「その左京君は消費者側でないがしかし国民的基盤だ」ということは成り立たないとすると「この年齢差は国民的基盤である」ということは成り立つ fact7: もしもこの年齢差は密航しないけど国民的基盤だとすれば「小煩い」ということは偽でない fact8: この年齢差は小田原宿でないしそれにそれはカウンターキッチンでない fact9: もしもなにがしかの物が小田原宿でなくてまたそれがカウンターキッチンでないとすればそれは密航しない fact10: もしあの検認が密航するけどそれが負担出来ないならあの縮小傾向は密航するということはない fact11: 「構成し得るしおまけに御濃い」ものはある fact12: 「その左京君は消費者側でその上国民的基盤だ」ということは成り立たない fact13: 「その左京君は消費者側でないけどそれは国民的基盤である」ということは成り立つということはない fact14: この年齢差はカウンターキッチンだということはない fact15: もし「この五年置きは魚本来だがそれは栄でない」ということは成り立たないとすれば「あのさびき釣りは喚き散らすということはない」ということは本当である fact16: その左京君は小煩い fact17: 「消費者側は小煩いということはない」ということは正しい fact18: 何らかの物が御話しないとするとそれは小煩くない fact19: 仮にその左京君が予選しなくてそれに国民的基盤でないとしたらこの年齢差は予選しない fact20: 仮にその左京君が遣り取り出来るとしたらそれは判別出来る
fact9 -> int1: 仮にこの年齢差が小田原宿だということはなくてそれがカウンターキッチンだということはないなら密航しない; int1 & fact8 -> int2: この年齢差は密航しない; fact6 & fact13 -> int3: この年齢差は国民的基盤だ; int2 & int3 -> int4: この年齢差は密航するということはないがしかし国民的基盤である; int4 & fact7 -> int5: この年齢差は小煩い; int5 & fact3 -> hypothesis;
この年齢差は予選しない
fact21 -> int6: この五年置きは現実逃避だということはないとしたら「それは魚本来であるけど栄でない」ということは成り立つということはない; fact29 & fact22 -> int7: この五年置きは現実逃避でない; int6 & int7 -> int8: 「この五年置きは魚本来だ一方で栄でない」ということは偽だ; fact24 & int8 -> int9: あのさびき釣りは喚き散らさない; fact27 & int9 -> int10: 「あの検認は消費者側であるかまたは御話しないか両方だ」ということは成り立つ; fact26 -> int11: もし仮にあの検認は消費者側だとすれば「小煩くない」ということは成り立つ; fact25 -> int12: 仮にあの検認が御話しないならばそれは小煩いということはない; int10 & int11 & int12 -> int13: 「あの検認は小煩くない」ということは成り立つ;
$facts$ = fact1: もし仮に「構成し得るししかも御濃い」物があるならこの五年置きは現実逃避でない fact2: もしもなんらかのものは現実逃避でないとすると「魚本来だけど栄でない」ということは誤りである fact3: もしこの年齢差は小煩いとしたら「予選する」ということは事実だ fact4: 仮にあのさびき釣りが喚き散らさないならばあの検認は消費者側であるかまたはそれは御話しない fact5: もし「その左京君は消費者側だ」ということは事実と異ならないとすればこの年齢差は国民的基盤である fact6: 仮に「その左京君は消費者側でないがしかし国民的基盤だ」ということは成り立たないとすると「この年齢差は国民的基盤である」ということは成り立つ fact7: もしもこの年齢差は密航しないけど国民的基盤だとすれば「小煩い」ということは偽でない fact8: この年齢差は小田原宿でないしそれにそれはカウンターキッチンでない fact9: もしもなにがしかの物が小田原宿でなくてまたそれがカウンターキッチンでないとすればそれは密航しない fact10: もしあの検認が密航するけどそれが負担出来ないならあの縮小傾向は密航するということはない fact11: 「構成し得るしおまけに御濃い」ものはある fact12: 「その左京君は消費者側でその上国民的基盤だ」ということは成り立たない fact13: 「その左京君は消費者側でないけどそれは国民的基盤である」ということは成り立つということはない fact14: この年齢差はカウンターキッチンだということはない fact15: もし「この五年置きは魚本来だがそれは栄でない」ということは成り立たないとすれば「あのさびき釣りは喚き散らすということはない」ということは本当である fact16: その左京君は小煩い fact17: 「消費者側は小煩いということはない」ということは正しい fact18: 何らかの物が御話しないとするとそれは小煩くない fact19: 仮にその左京君が予選しなくてそれに国民的基盤でないとしたらこの年齢差は予選しない fact20: 仮にその左京君が遣り取り出来るとしたらそれは判別出来る ; $hypothesis$ = 「この年齢差は予選する」ということは事実だ ; $proof$ = 
fact9 -> int1: 仮にこの年齢差が小田原宿だということはなくてそれがカウンターキッチンだということはないなら密航しない; int1 & fact8 -> int2: この年齢差は密航しない; fact6 & fact13 -> int3: この年齢差は国民的基盤だ; int2 & int3 -> int4: この年齢差は密航するということはないがしかし国民的基盤である; int4 & fact7 -> int5: この年齢差は小煩い; int5 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「構成し得るししかも御濃い」物があるならこの五年置きは現実逃避でない
事実2: もしもなんらかのものは現実逃避でないとすると「魚本来だけど栄でない」ということは誤りである
事実3: もしこの年齢差は小煩いとしたら「予選する」ということは事実だ
事実4: 仮にあのさびき釣りが喚き散らさないならばあの検認は消費者側であるかまたはそれは御話しない
事実5: もし「その左京君は消費者側だ」ということは事実と異ならないとすればこの年齢差は国民的基盤である
事実6: 仮に「その左京君は消費者側でないがしかし国民的基盤だ」ということは成り立たないとすると「この年齢差は国民的基盤である」ということは成り立つ
事実7: もしもこの年齢差は密航しないけど国民的基盤だとすれば「小煩い」ということは偽でない
事実8: この年齢差は小田原宿でないしそれにそれはカウンターキッチンでない
事実9: もしもなにがしかの物が小田原宿でなくてまたそれがカウンターキッチンでないとすればそれは密航しない
事実10: もしあの検認が密航するけどそれが負担出来ないならあの縮小傾向は密航するということはない
事実11: 「構成し得るしおまけに御濃い」ものはある
事実12: 「その左京君は消費者側でその上国民的基盤だ」ということは成り立たない
事実13: 「その左京君は消費者側でないけどそれは国民的基盤である」ということは成り立つということはない
事実14: この年齢差はカウンターキッチンだということはない
事実15: もし「この五年置きは魚本来だがそれは栄でない」ということは成り立たないとすれば「あのさびき釣りは喚き散らすということはない」ということは本当である
事実16: その左京君は小煩い
事実17: 「消費者側は小煩いということはない」ということは正しい
事実18: 何らかの物が御話しないとするとそれは小煩くない
事実19: 仮にその左京君が予選しなくてそれに国民的基盤でないとしたらこの年齢差は予選しない
事実20: 仮にその左京君が遣り取り出来るとしたらそれは判別出来る

仮説: 「この年齢差は予選する」ということは事実だ
1. 事実9から、推論1: "仮にこの年齢差が小田原宿だということはなくてそれがカウンターキッチンだということはないなら密航しない"が導かれる
2. 推論1と事実8から、推論2: "この年齢差は密航しない"が導かれる
3. 事実6と事実13から、推論3: "この年齢差は国民的基盤だ"が導かれる
4. 推論2と推論3から、推論4: "この年齢差は密航するということはないがしかし国民的基盤である"が導かれる
5. 推論4と事実7から、推論5: "この年齢差は小煩い"が導かれる
6. 推論5と事実3から、仮説が導かれる

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