あの在日韓国人は気管孔だし消費する
fact1: 向きでないけれど気難しいという物はない fact2: 青っぽいということはないものは気管孔であるし捩じ上げる fact3: もしもあの在日韓国人が気難しくないとしたら青っぽくない fact4: 「もしもこの文字スタイルが代替物であるし到着するとすればあの在日韓国人は消費する」ということは本当だ fact5: もしも「あの在日韓国人は向きでないけど気難しい」ということは成り立つということはないならば青っぽくない fact6: あの在日韓国人は青っぽいということはないとしたら「捩じ上げる」ということは事実である fact7: もしもこの文字スタイルが代替物であるけれど到着しないとしたらあの在日韓国人は消費する fact8: この文字スタイルは代替物だけれど到着するということはない
fact1 -> int1: 「あの在日韓国人は向きでないけど気難しい」ということは偽である; int1 & fact5 -> int2: あの在日韓国人は青っぽくない; fact2 -> int3: もしあの在日韓国人が青っぽいということはないなら気管孔であるしそれに捩じ上げる; int2 & int3 -> int4: あの在日韓国人は気管孔でしかも捩じ上げる; int4 -> int5: あの在日韓国人は気管孔である; fact8 & fact7 -> int6: あの在日韓国人は消費する; int5 & int6 -> hypothesis;
$facts$ = fact1: 向きでないけれど気難しいという物はない fact2: 青っぽいということはないものは気管孔であるし捩じ上げる fact3: もしもあの在日韓国人が気難しくないとしたら青っぽくない fact4: 「もしもこの文字スタイルが代替物であるし到着するとすればあの在日韓国人は消費する」ということは本当だ fact5: もしも「あの在日韓国人は向きでないけど気難しい」ということは成り立つということはないならば青っぽくない fact6: あの在日韓国人は青っぽいということはないとしたら「捩じ上げる」ということは事実である fact7: もしもこの文字スタイルが代替物であるけれど到着しないとしたらあの在日韓国人は消費する fact8: この文字スタイルは代替物だけれど到着するということはない ; $hypothesis$ = あの在日韓国人は気管孔だし消費する ; $proof$ = 
fact1 -> int1: 「あの在日韓国人は向きでないけど気難しい」ということは偽である; int1 & fact5 -> int2: あの在日韓国人は青っぽくない; fact2 -> int3: もしあの在日韓国人が青っぽいということはないなら気管孔であるしそれに捩じ上げる; int2 & int3 -> int4: あの在日韓国人は気管孔でしかも捩じ上げる; int4 -> int5: あの在日韓国人は気管孔である; fact8 & fact7 -> int6: あの在日韓国人は消費する; int5 & int6 -> hypothesis; __PROVED__
事実1: 向きでないけれど気難しいという物はない
事実2: 青っぽいということはないものは気管孔であるし捩じ上げる
事実3: もしもあの在日韓国人が気難しくないとしたら青っぽくない
事実4: 「もしもこの文字スタイルが代替物であるし到着するとすればあの在日韓国人は消費する」ということは本当だ
事実5: もしも「あの在日韓国人は向きでないけど気難しい」ということは成り立つということはないならば青っぽくない
事実6: あの在日韓国人は青っぽいということはないとしたら「捩じ上げる」ということは事実である
事実7: もしもこの文字スタイルが代替物であるけれど到着しないとしたらあの在日韓国人は消費する
事実8: この文字スタイルは代替物だけれど到着するということはない

仮説: あの在日韓国人は気管孔だし消費する
1. 事実1から、推論1: "「あの在日韓国人は向きでないけど気難しい」ということは偽である"が導かれる
2. 推論1と事実5から、推論2: "あの在日韓国人は青っぽくない"が導かれる
3. 事実2から、推論3: "もしあの在日韓国人が青っぽいということはないなら気管孔であるしそれに捩じ上げる"が導かれる
4. 推論2と推論3から、推論4: "あの在日韓国人は気管孔でしかも捩じ上げる"が導かれる
5. 推論4から、推論5: "あの在日韓国人は気管孔である"が導かれる
6. 事実8と事実7から、推論6: "あの在日韓国人は消費する"が導かれる
7. 推論5と推論6から、仮説が導かれる

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