あの根本目的は歯痒くないけれどきな臭い
fact1: 対称積層は高くないしかつ冗談ぽくない fact2: 仮に「この御息女は歯痒くなくてその上それは面白おかしくない」ということは成り立たないとするとあの根本目的は長ーくない fact3: 「この御息女は面白おかしくないけど対象化する」ということは間違いである fact4: もしこの御息女は面白おかしくないとしたら「あの根本目的は襲撃しない」ということは成り立つ fact5: あの根本目的は色好くない fact6: 仮に「その内容自体は新訂寛政重修諸家譜でないかまたはそれは対象化するかもしくは両方ともである」ということは成り立たないとしたらこの御息女は対象化する fact7: もし仮にあの根本目的が歯痒いとしたら面白おかしい fact8: もしあの既存設備は眠り続けるが勇ましくらないとすれば大量記憶機能である fact9: もしこの御息女は襲撃しないとすると「それは面白おかしくないししかも対象化しない」ということは成り立つということはない fact10: もしあるものは襲撃しないなら「「歯痒くないしさらにきな臭い」ということは真実だ」ということは成り立つということはない fact11: もし仮に「この御息女は襲撃する」ということは正しいとしたらそれは長ーい fact12: もしもこの御息女は襲撃しないとすると「それは面白おかしくないけれど対象化する」ということは成り立たない fact13: もしあの既存設備が大量記憶機能であるとすればその内容自体は対称積層である fact14: もし仮にあの既存設備はノードＤでないとしたらそれは眠り続けるがしかし勇ましかない fact15: あの根本目的は対象化しない fact16: もし仮になにかは冗談ぽくないとすれば「それは新訂寛政重修諸家譜であるということはないか対象化する」ということは成り立たない fact17: 仮にあの既存設備は人間臭さであるならばノードＤでない fact18: この御息女は長ーいということはない fact19: 「この御息女は面白おかしいが対象化しない」ということは成り立たない fact20: もしもなにがしかの物が対象化するとすれば面白おかしくないかもしくは長ーくないかどちらもだ fact21: あの根本目的はきな臭い fact22: 仮に「この御息女は面白おかしくなくて対象化しない」ということは成り立たないならあの根本目的は歯痒くない
void -> assump1: 以下のように仮定する。この御息女は襲撃する; fact11 & assump1 -> int1: この御息女は長ーい; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: この御息女は襲撃しない; int3 & fact9 -> int4: 「この御息女は面白おかしくないしかつそれは対象化しない」ということは事実でない; int4 & fact22 -> int5: あの根本目的は歯痒くない; int5 & fact21 -> hypothesis;
「あの根本目的は歯痒くないがしかしきな臭い」ということは成り立たない
fact30 -> int6: もしあの根本目的は襲撃しないとすると「歯痒くないがきな臭い」ということは間違いだ; fact23 -> int7: もし仮にこの御息女が対象化するならそれは面白おかしいということはないかまたはそれは長ーいということはない; fact29 -> int8: その内容自体は冗談ぽくないとすると「それは新訂寛政重修諸家譜でないかあるいは対象化するかもしくは両方だ」ということは間違いである; fact31 -> int9: その内容自体は対称積層であるならばそれは高くないし冗談ぽくない;
$facts$ = fact1: 対称積層は高くないしかつ冗談ぽくない fact2: 仮に「この御息女は歯痒くなくてその上それは面白おかしくない」ということは成り立たないとするとあの根本目的は長ーくない fact3: 「この御息女は面白おかしくないけど対象化する」ということは間違いである fact4: もしこの御息女は面白おかしくないとしたら「あの根本目的は襲撃しない」ということは成り立つ fact5: あの根本目的は色好くない fact6: 仮に「その内容自体は新訂寛政重修諸家譜でないかまたはそれは対象化するかもしくは両方ともである」ということは成り立たないとしたらこの御息女は対象化する fact7: もし仮にあの根本目的が歯痒いとしたら面白おかしい fact8: もしあの既存設備は眠り続けるが勇ましくらないとすれば大量記憶機能である fact9: もしこの御息女は襲撃しないとすると「それは面白おかしくないししかも対象化しない」ということは成り立つということはない fact10: もしあるものは襲撃しないなら「「歯痒くないしさらにきな臭い」ということは真実だ」ということは成り立つということはない fact11: もし仮に「この御息女は襲撃する」ということは正しいとしたらそれは長ーい fact12: もしもこの御息女は襲撃しないとすると「それは面白おかしくないけれど対象化する」ということは成り立たない fact13: もしあの既存設備が大量記憶機能であるとすればその内容自体は対称積層である fact14: もし仮にあの既存設備はノードＤでないとしたらそれは眠り続けるがしかし勇ましかない fact15: あの根本目的は対象化しない fact16: もし仮になにかは冗談ぽくないとすれば「それは新訂寛政重修諸家譜であるということはないか対象化する」ということは成り立たない fact17: 仮にあの既存設備は人間臭さであるならばノードＤでない fact18: この御息女は長ーいということはない fact19: 「この御息女は面白おかしいが対象化しない」ということは成り立たない fact20: もしもなにがしかの物が対象化するとすれば面白おかしくないかもしくは長ーくないかどちらもだ fact21: あの根本目的はきな臭い fact22: 仮に「この御息女は面白おかしくなくて対象化しない」ということは成り立たないならあの根本目的は歯痒くない ; $hypothesis$ = あの根本目的は歯痒くないけれどきな臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。この御息女は襲撃する; fact11 & assump1 -> int1: この御息女は長ーい; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: この御息女は襲撃しない; int3 & fact9 -> int4: 「この御息女は面白おかしくないしかつそれは対象化しない」ということは事実でない; int4 & fact22 -> int5: あの根本目的は歯痒くない; int5 & fact21 -> hypothesis; __PROVED__
事実1: 対称積層は高くないしかつ冗談ぽくない
事実2: 仮に「この御息女は歯痒くなくてその上それは面白おかしくない」ということは成り立たないとするとあの根本目的は長ーくない
事実3: 「この御息女は面白おかしくないけど対象化する」ということは間違いである
事実4: もしこの御息女は面白おかしくないとしたら「あの根本目的は襲撃しない」ということは成り立つ
事実5: あの根本目的は色好くない
事実6: 仮に「その内容自体は新訂寛政重修諸家譜でないかまたはそれは対象化するかもしくは両方ともである」ということは成り立たないとしたらこの御息女は対象化する
事実7: もし仮にあの根本目的が歯痒いとしたら面白おかしい
事実8: もしあの既存設備は眠り続けるが勇ましくらないとすれば大量記憶機能である
事実9: もしこの御息女は襲撃しないとすると「それは面白おかしくないししかも対象化しない」ということは成り立つということはない
事実10: もしあるものは襲撃しないなら「「歯痒くないしさらにきな臭い」ということは真実だ」ということは成り立つということはない
事実11: もし仮に「この御息女は襲撃する」ということは正しいとしたらそれは長ーい
事実12: もしもこの御息女は襲撃しないとすると「それは面白おかしくないけれど対象化する」ということは成り立たない
事実13: もしあの既存設備が大量記憶機能であるとすればその内容自体は対称積層である
事実14: もし仮にあの既存設備はノードＤでないとしたらそれは眠り続けるがしかし勇ましかない
事実15: あの根本目的は対象化しない
事実16: もし仮になにかは冗談ぽくないとすれば「それは新訂寛政重修諸家譜であるということはないか対象化する」ということは成り立たない
事実17: 仮にあの既存設備は人間臭さであるならばノードＤでない
事実18: この御息女は長ーいということはない
事実19: 「この御息女は面白おかしいが対象化しない」ということは成り立たない
事実20: もしもなにがしかの物が対象化するとすれば面白おかしくないかもしくは長ーくないかどちらもだ
事実21: あの根本目的はきな臭い
事実22: 仮に「この御息女は面白おかしくなくて対象化しない」ということは成り立たないならあの根本目的は歯痒くない

仮説: あの根本目的は歯痒くないけれどきな臭い
1. 仮定1: 以下のように仮定する。この御息女は襲撃する
2. 事実11と仮定1から、推論1: "この御息女は長ーい"が導かれる
3. 推論1と事実18から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この御息女は襲撃しない"が導かれる
5. 推論3と事実9から、推論4: "「この御息女は面白おかしくないしかつそれは対象化しない」ということは事実でない"が導かれる
6. 推論4と事実22から、推論5: "あの根本目的は歯痒くない"が導かれる
7. 推論5と事実21から、仮説が導かれる

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