この長祭は官民である
fact1: もしこの長祭は鼠色であるなら間近い fact2: もし何かは格納庫でないとすると再構築でない fact3: 仮にこの長祭が格納庫ならばきな臭い fact4: 「あの荘園図は拭い難い」ということは正しい fact5: 仮にこの長祭が大人しいとすればそれは全米科学アカデミーだ fact6: この制度的枠組みはＣＩＤフォントでなくて全米科学アカデミーでない fact7: この長祭は再構築だがしかしＯＥＣＤモデル条約であるということはないとしたら全米科学アカデミーでない fact8: もし仮にそのワードアートギャラリーは起こし易くないなら「それは官民でない」ということは事実だ fact9: この長祭は取っ付き難いしおまけにそれは新学フォーラムである fact10: あのフロギストンはＯＥＣＤモデル条約である fact11: この長祭は全米科学アカデミーだしそれにサポートシステムだ fact12: もしもこの長祭は再構築でないならそれは次兄であるということはないしその上切りでない fact13: きな臭いものは官民である fact14: もし仮に「あるものはサポートシステムでない」ということは偽だということはないならそれは格納庫でない fact15: 「「サポートシステムでない」ということは成り立つ」物があればこのＳＥＥＤは全米科学アカデミーでないかもしくはきな臭くない fact16: もし仮にとあるものが格納庫でないとしたら再構築でなくてそれはＯＥＣＤモデル条約でない fact17: 「もし仮に「この長祭は再構築でなくておまけにＯＥＣＤモデル条約であるということはない」ということは偽でないならこの長祭は全米科学アカデミーでない」ということは成り立つ fact18: この長祭は再構築でない fact19: 仮にあの荘園図が拭い難いならばあの相関データ・指数は分明しなくてそれはサポートシステムでない fact20: もしその安全資産がきな臭いならそれは簡便する fact21: もし仮になにかは遣り易いとすればそれは汎用する fact22: もしもこの長祭が格納庫でないとすればそれは再構築でない fact23: この長祭はサポートシステムだ
fact16 -> int1: もしもこの長祭は格納庫でないなら再構築でなくてＯＥＣＤモデル条約だということはない; void -> assump1: 以下のように仮定する。この長祭は格納庫でない; int1 & assump1 -> int2: この長祭は再構築でないしさらにそれはＯＥＣＤモデル条約でない; int2 & fact17 -> int3: この長祭は全米科学アカデミーでない; fact11 -> int4: この長祭は全米科学アカデミーである; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この長祭は格納庫である; int6 & fact3 -> int7: この長祭はきな臭い; fact13 -> int8: この長祭がきな臭いとすれば官民だ; int7 & int8 -> hypothesis;
この長祭は官民であるということはない
fact25 & fact26 -> int9: あの相関データ・指数は分明しなくてかつサポートシステムでない; int9 -> int10: あの相関データ・指数はサポートシステムでない; int10 -> int11: 何らかの物はサポートシステムでない; int11 & fact24 -> int12: このＳＥＥＤは全米科学アカデミーでないかもしくはそれはきな臭くないか両方である;
$facts$ = fact1: もしこの長祭は鼠色であるなら間近い fact2: もし何かは格納庫でないとすると再構築でない fact3: 仮にこの長祭が格納庫ならばきな臭い fact4: 「あの荘園図は拭い難い」ということは正しい fact5: 仮にこの長祭が大人しいとすればそれは全米科学アカデミーだ fact6: この制度的枠組みはＣＩＤフォントでなくて全米科学アカデミーでない fact7: この長祭は再構築だがしかしＯＥＣＤモデル条約であるということはないとしたら全米科学アカデミーでない fact8: もし仮にそのワードアートギャラリーは起こし易くないなら「それは官民でない」ということは事実だ fact9: この長祭は取っ付き難いしおまけにそれは新学フォーラムである fact10: あのフロギストンはＯＥＣＤモデル条約である fact11: この長祭は全米科学アカデミーだしそれにサポートシステムだ fact12: もしもこの長祭は再構築でないならそれは次兄であるということはないしその上切りでない fact13: きな臭いものは官民である fact14: もし仮に「あるものはサポートシステムでない」ということは偽だということはないならそれは格納庫でない fact15: 「「サポートシステムでない」ということは成り立つ」物があればこのＳＥＥＤは全米科学アカデミーでないかもしくはきな臭くない fact16: もし仮にとあるものが格納庫でないとしたら再構築でなくてそれはＯＥＣＤモデル条約でない fact17: 「もし仮に「この長祭は再構築でなくておまけにＯＥＣＤモデル条約であるということはない」ということは偽でないならこの長祭は全米科学アカデミーでない」ということは成り立つ fact18: この長祭は再構築でない fact19: 仮にあの荘園図が拭い難いならばあの相関データ・指数は分明しなくてそれはサポートシステムでない fact20: もしその安全資産がきな臭いならそれは簡便する fact21: もし仮になにかは遣り易いとすればそれは汎用する fact22: もしもこの長祭が格納庫でないとすればそれは再構築でない fact23: この長祭はサポートシステムだ ; $hypothesis$ = この長祭は官民である ; $proof$ = 
fact16 -> int1: もしもこの長祭は格納庫でないなら再構築でなくてＯＥＣＤモデル条約だということはない; void -> assump1: 以下のように仮定する。この長祭は格納庫でない; int1 & assump1 -> int2: この長祭は再構築でないしさらにそれはＯＥＣＤモデル条約でない; int2 & fact17 -> int3: この長祭は全米科学アカデミーでない; fact11 -> int4: この長祭は全米科学アカデミーである; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この長祭は格納庫である; int6 & fact3 -> int7: この長祭はきな臭い; fact13 -> int8: この長祭がきな臭いとすれば官民だ; int7 & int8 -> 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: この長祭はサポートシステムだ

仮説: この長祭は官民である
1. 事実16から、推論1: "もしもこの長祭は格納庫でないなら再構築でなくてＯＥＣＤモデル条約だということはない"が導かれる
2. 仮定1: 以下のように仮定する。この長祭は格納庫でない
3. 推論1と仮定1から、推論2: "この長祭は再構築でないしさらにそれはＯＥＣＤモデル条約でない"が導かれる
4. 推論2と事実17から、推論3: "この長祭は全米科学アカデミーでない"が導かれる
5. 事実11から、推論4: "この長祭は全米科学アカデミーである"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この長祭は格納庫である"が導かれる
8. 推論6と事実3から、推論7: "この長祭はきな臭い"が導かれる
9. 事実13から、推論8: "この長祭がきな臭いとすれば官民だ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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