「この短期日は入り交じるし南天である」ということは確かである
fact1: このフォアグラ丼は七日夜だとしたら「あの一昼夜はなあくないかそれは外国政府でないかまたはどちらもだ」ということは成り立たない fact2: もし仮に何かは差し上げないとしたら七日夜でかつそれは思い知らす fact3: 「その搾乳牛は幼いけど縮まらない」ということは成り立たないならあのβ‐ラクタマーゼは幼い fact4: もしある物が差し上げるならそれは入り交じる fact5: 「もしも何らかの物は社会的視野であるとすると「幼いが縮まらない」ということは成り立つということはない」ということは真実である fact6: このオペレーションは思い知らすがしかし対抗出来ない fact7: あの一昼夜は縮まるけれど軍民であるということはない fact8: あの一昼夜は軍民だということはないけれど配流する fact9: この短期日は縮まらない fact10: あのコンパートメントは外国政府だ fact11: あのβ‐ラクタマーゼが幼いとしたらあの六年判決は幼い fact12: もしあのコンパートメントが外国政府であるかまたはなあいかもしくはどちらもだとするとあの一昼夜は七日夜でない fact13: もしこの両刀が軍民であるがしかし配流しないとしたらこのフォアグラ丼は差し上げない fact14: もしもあの六年判決が幼いならこの両刀は幼い fact15: あの一昼夜は軍民でない一方でそれはなあい fact16: もし仮にとあるものが幼いとしたら軍民だがしかし配流しない fact17: もしあの一昼夜が七日夜でないがしかし思い知らせばこの短期日は差し上げる fact18: もし仮にあのコンパートメントはなあくないとしたら軍民でない fact19: その粘膜細胞は外国政府でない fact20: もし仮に「この短期日は縮まらない」ということは成り立つなら南天であるけど幼くない fact21: もし何らかの物が軍民でないがしかし配流するとするとそれは思い知らす fact22: あの高所得＋α経営は縮まらない fact23: もしあのコンパートメントは外国政府でないならば「この短期日は入り交じるし南天である」ということは成り立たない fact24: 仮に「あの一昼夜はなあくないか外国政府でないかもしくは両方だ」ということは偽であるとすればあのコンパートメントは外国政府でない
fact10 -> int1: あのコンパートメントは外国政府であるかあるいはなあい; int1 & fact12 -> int2: あの一昼夜は七日夜でない; fact21 -> int3: あの一昼夜は軍民でないがしかし配流すればそれは思い知らす; fact8 & int3 -> int4: 「あの一昼夜は思い知らす」ということは成り立つ; int2 & int4 -> int5: あの一昼夜は七日夜でないけれどそれは思い知らす; int5 & fact17 -> int6: この短期日は差し上げる; fact4 -> int7: もし「この短期日は差し上げる」ということは成り立つとすればそれは入り交じる; int6 & int7 -> int8: この短期日は入り交じる; fact9 & fact20 -> int9: この短期日は南天だが幼くない; int9 -> int10: この短期日は南天だ; int8 & int10 -> hypothesis;
「この短期日は入り交じるし南天である」ということは本当でない
fact26 -> int11: このフォアグラ丼が差し上げるということはないとするとそれは七日夜であるし思い知らす; fact32 -> int12: 仮にこの両刀が幼いなら軍民である一方で配流しない; fact28 -> int13: もしその搾乳牛は社会的視野だとすれば「幼いし更に縮まらない」ということは成り立たない;
$facts$ = fact1: このフォアグラ丼は七日夜だとしたら「あの一昼夜はなあくないかそれは外国政府でないかまたはどちらもだ」ということは成り立たない fact2: もし仮に何かは差し上げないとしたら七日夜でかつそれは思い知らす fact3: 「その搾乳牛は幼いけど縮まらない」ということは成り立たないならあのβ‐ラクタマーゼは幼い fact4: もしある物が差し上げるならそれは入り交じる fact5: 「もしも何らかの物は社会的視野であるとすると「幼いが縮まらない」ということは成り立つということはない」ということは真実である fact6: このオペレーションは思い知らすがしかし対抗出来ない fact7: あの一昼夜は縮まるけれど軍民であるということはない fact8: あの一昼夜は軍民だということはないけれど配流する fact9: この短期日は縮まらない fact10: あのコンパートメントは外国政府だ fact11: あのβ‐ラクタマーゼが幼いとしたらあの六年判決は幼い fact12: もしあのコンパートメントが外国政府であるかまたはなあいかもしくはどちらもだとするとあの一昼夜は七日夜でない fact13: もしこの両刀が軍民であるがしかし配流しないとしたらこのフォアグラ丼は差し上げない fact14: もしもあの六年判決が幼いならこの両刀は幼い fact15: あの一昼夜は軍民でない一方でそれはなあい fact16: もし仮にとあるものが幼いとしたら軍民だがしかし配流しない fact17: もしあの一昼夜が七日夜でないがしかし思い知らせばこの短期日は差し上げる fact18: もし仮にあのコンパートメントはなあくないとしたら軍民でない fact19: その粘膜細胞は外国政府でない fact20: もし仮に「この短期日は縮まらない」ということは成り立つなら南天であるけど幼くない fact21: もし何らかの物が軍民でないがしかし配流するとするとそれは思い知らす fact22: あの高所得＋α経営は縮まらない fact23: もしあのコンパートメントは外国政府でないならば「この短期日は入り交じるし南天である」ということは成り立たない fact24: 仮に「あの一昼夜はなあくないか外国政府でないかもしくは両方だ」ということは偽であるとすればあのコンパートメントは外国政府でない ; $hypothesis$ = 「この短期日は入り交じるし南天である」ということは確かである ; $proof$ = 
fact10 -> int1: あのコンパートメントは外国政府であるかあるいはなあい; int1 & fact12 -> int2: あの一昼夜は七日夜でない; fact21 -> int3: あの一昼夜は軍民でないがしかし配流すればそれは思い知らす; fact8 & int3 -> int4: 「あの一昼夜は思い知らす」ということは成り立つ; int2 & int4 -> int5: あの一昼夜は七日夜でないけれどそれは思い知らす; int5 & fact17 -> int6: この短期日は差し上げる; fact4 -> int7: もし「この短期日は差し上げる」ということは成り立つとすればそれは入り交じる; int6 & int7 -> int8: この短期日は入り交じる; fact9 & fact20 -> int9: この短期日は南天だが幼くない; int9 -> int10: この短期日は南天だ; int8 & int10 -> hypothesis; __PROVED__
事実1: このフォアグラ丼は七日夜だとしたら「あの一昼夜はなあくないかそれは外国政府でないかまたはどちらもだ」ということは成り立たない
事実2: もし仮に何かは差し上げないとしたら七日夜でかつそれは思い知らす
事実3: 「その搾乳牛は幼いけど縮まらない」ということは成り立たないならあのβ‐ラクタマーゼは幼い
事実4: もしある物が差し上げるならそれは入り交じる
事実5: 「もしも何らかの物は社会的視野であるとすると「幼いが縮まらない」ということは成り立つということはない」ということは真実である
事実6: このオペレーションは思い知らすがしかし対抗出来ない
事実7: あの一昼夜は縮まるけれど軍民であるということはない
事実8: あの一昼夜は軍民だということはないけれど配流する
事実9: この短期日は縮まらない
事実10: あのコンパートメントは外国政府だ
事実11: あのβ‐ラクタマーゼが幼いとしたらあの六年判決は幼い
事実12: もしあのコンパートメントが外国政府であるかまたはなあいかもしくはどちらもだとするとあの一昼夜は七日夜でない
事実13: もしこの両刀が軍民であるがしかし配流しないとしたらこのフォアグラ丼は差し上げない
事実14: もしもあの六年判決が幼いならこの両刀は幼い
事実15: あの一昼夜は軍民でない一方でそれはなあい
事実16: もし仮にとあるものが幼いとしたら軍民だがしかし配流しない
事実17: もしあの一昼夜が七日夜でないがしかし思い知らせばこの短期日は差し上げる
事実18: もし仮にあのコンパートメントはなあくないとしたら軍民でない
事実19: その粘膜細胞は外国政府でない
事実20: もし仮に「この短期日は縮まらない」ということは成り立つなら南天であるけど幼くない
事実21: もし何らかの物が軍民でないがしかし配流するとするとそれは思い知らす
事実22: あの高所得＋α経営は縮まらない
事実23: もしあのコンパートメントは外国政府でないならば「この短期日は入り交じるし南天である」ということは成り立たない
事実24: 仮に「あの一昼夜はなあくないか外国政府でないかもしくは両方だ」ということは偽であるとすればあのコンパートメントは外国政府でない

仮説: 「この短期日は入り交じるし南天である」ということは確かである
1. 事実10から、推論1: "あのコンパートメントは外国政府であるかあるいはなあい"が導かれる
2. 推論1と事実12から、推論2: "あの一昼夜は七日夜でない"が導かれる
3. 事実21から、推論3: "あの一昼夜は軍民でないがしかし配流すればそれは思い知らす"が導かれる
4. 事実8と推論3から、推論4: "「あの一昼夜は思い知らす」ということは成り立つ"が導かれる
5. 推論2と推論4から、推論5: "あの一昼夜は七日夜でないけれどそれは思い知らす"が導かれる
6. 推論5と事実17から、推論6: "この短期日は差し上げる"が導かれる
7. 事実4から、推論7: "もし「この短期日は差し上げる」ということは成り立つとすればそれは入り交じる"が導かれる
8. 推論6と推論7から、推論8: "この短期日は入り交じる"が導かれる
9. 事実9と事実20から、推論9: "この短期日は南天だが幼くない"が導かれる
10. 推論9から、推論10: "この短期日は南天だ"が導かれる
11. 推論8と推論10から、仮説が導かれる

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