あの著作集は御自身であるかあるいは検証するか両方ともだ
fact1: ロケールは薄れ始める fact2: あの著作集は醜いかあるいは嘗め回す fact3: もしもあの著作集が申請出来るとすればめでたい fact4: あの著作集は慈しむ fact5: もしなにかは意志すれば与し易い fact6: もし仮にとある物がめでたいとすれば青し fact7: あの著作集はＨＩＮＴであるかもしくは輸血しない fact8: 「もし仮にあの著作集が愛らしいか引き払わないかもしくは両方であるとすればあの著作集は青し」ということは正しい fact9: もしも「あの著作集は言い付けでないしそれに接見交通権でない」ということは成り立たないとするとそれは後ろ暗い fact10: なにがしかの物が青しということはないとするとそれは御自身だ fact11: あの著作集は醜いかあるいは青しか両方ともである fact12: なにがしかの物が検証するとすると接見交通権だ fact13: もし仮にあの著作集が青しないとするとそれは御自身だ fact14: あの著作集は調伏する fact15: もしもとある物が後ろ暗いとするとそれは醜い fact16: あの著作集は集まり易い fact17: 仮になんらかのものは醜くないなら「それは御自身であるかまたはそれは検証する」ということは偽だ fact18: 「あの著作集は言い付けでなくてその上接見交通権だということはない」ということは偽だ fact19: 醜いか青しないかあるいはどちらもである物は御自身である fact20: ある物は模擬店であるとすると挟撃する fact21: もし仮にあの著作集は言い付けであるとすると後ろ暗い fact22: あの左脇腹は言い付けである fact23: 「あの著作集は言い付けだがしかしそれは接見交通権でない」ということは成り立たない fact24: 「あの著作集は御自身であるかまたは導波管だ」ということは真実である
fact9 & fact18 -> int1: あの著作集は後ろ暗い; fact15 -> int2: もしもあの著作集が後ろ暗いならばそれは醜い; int1 & int2 -> int3: あの著作集は醜い; int3 -> int4: あの著作集は醜いかあるいは青しない; fact19 -> int5: もし仮にあの著作集が醜いかそれは青しないかまたは両方ともだとしたら御自身である; int4 & int5 -> int6: あの著作集は御自身だ; int6 -> hypothesis;
「あの著作集は御自身であるかそれは検証する」ということは誤りである
fact27 -> int7: もしもあの著作集は醜いということはないとしたら「御自身であるかあるいは検証するかまたは両方ともである」ということは誤りだ; fact25 -> int8: もしもあの著作集がめでたいとしたらそれは青し;
$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$ = 
fact9 & fact18 -> int1: あの著作集は後ろ暗い; fact15 -> int2: もしもあの著作集が後ろ暗いならばそれは醜い; int1 & int2 -> int3: あの著作集は醜い; int3 -> int4: あの著作集は醜いかあるいは青しない; fact19 -> int5: もし仮にあの著作集が醜いかそれは青しないかまたは両方ともだとしたら御自身である; int4 & int5 -> int6: あの著作集は御自身だ; int6 -> 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. 事実9と事実18から、推論1: "あの著作集は後ろ暗い"が導かれる
2. 事実15から、推論2: "もしもあの著作集が後ろ暗いならばそれは醜い"が導かれる
3. 推論1と推論2から、推論3: "あの著作集は醜い"が導かれる
4. 推論3から、推論4: "あの著作集は醜いかあるいは青しない"が導かれる
5. 事実19から、推論5: "もし仮にあの著作集が醜いかそれは青しないかまたは両方ともだとしたら御自身である"が導かれる
6. 推論4と推論5から、推論6: "あの著作集は御自身だ"が導かれる
7. 推論6から、仮説が導かれる

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