あの針先は展示室だということはない
fact1: もし「器械である」ものがあるならこの面形状は御方様でなくておまけにそれは象らない fact2: もし仮にこの金看板が人らしいということはないとするとあの針先は人らしい fact3: もしその飛行性能が地下深いならばあのＰＦＳ計画は象る fact4: この金看板は人らしい fact5: この面形状は象らないけれど人らしい fact6: あのアンドロステンジオンは象るしそれはフォントデータだ fact7: もし仮にその飛行性能は万華でないとしたら地下深いかまたは象るかまたはどちらもである fact8: 「もしあの針先が評価者説明でないがそれが展示室であるとすればあのアンドロステンジオンは御方様でない」ということは嘘だということはない fact9: もしもなにかは評価者説明であるということはないしそれに広告しないとするとそれは人らしくない fact10: あのアンドロステンジオンは広告しない fact11: もしもこの面形状が象らないけれど御方様だとすればあのアンドロステンジオンは象る fact12: ある物は広告する fact13: もし仮になにかは人らしいとするとそれは展示室である fact14: もし「あのＰＦＳ計画は象る」ということは真実であるならばあのアンドロステンジオンは器械であるかまたはそれは御方様でないか両方ともである fact15: 「この金看板は展示室だということはない」ということは成り立たない fact16: あの針先は得易い fact17: 「「器械だ」ということは誤りでない」物はある fact18: その飛行性能が象るとすればあのＰＦＳ計画は象る fact19: もしこの面形状が御方様でなくてそれが象らないとするとあのアンドロステンジオンは御方様である fact20: あのカリベ族は広告する fact21: その飛行性能は万華でない fact22: この金看板は広告する fact23: この面形状は評価者説明でなくておまけに象らない fact24: もしこの金看板が人らしいし更にそれが広告するならばあの針先は評価者説明でない fact25: そのコピースタンプツールは御方様でまた押し易い fact26: あの針先は御方様だということはない fact27: もし展示室があるならあの針先は御方様でない
fact4 & fact22 -> int1: この金看板は人らしいし広告する; int1 & fact24 -> int2: あの針先は評価者説明でない; void -> assump1: 以下のように仮定する。あの針先は展示室である; int2 & assump1 -> int3: あの針先は評価者説明でないがそれは展示室である; int3 & fact8 -> int4: あのアンドロステンジオンは御方様でない; fact17 & fact1 -> int5: この面形状は御方様でないしそれに象らない; int5 & fact19 -> int6: あのアンドロステンジオンは御方様だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの針先は展示室である
fact29 -> int8: もしあの針先が人らしいならばそれは展示室である; fact33 -> int9: もしこの金看板は評価者説明でないし広告しないとしたらそれは人らしくない; fact30 & fact31 -> int10: その飛行性能は地下深いかそれは象る; int10 & fact34 & fact35 -> int11: あのＰＦＳ計画は象る; fact32 & int11 -> 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: この面形状は評価者説明でなくておまけに象らない fact24: もしこの金看板が人らしいし更にそれが広告するならばあの針先は評価者説明でない fact25: そのコピースタンプツールは御方様でまた押し易い fact26: あの針先は御方様だということはない fact27: もし展示室があるならあの針先は御方様でない ; $hypothesis$ = あの針先は展示室だということはない ; $proof$ = 
fact4 & fact22 -> int1: この金看板は人らしいし広告する; int1 & fact24 -> int2: あの針先は評価者説明でない; void -> assump1: 以下のように仮定する。あの針先は展示室である; int2 & assump1 -> int3: あの針先は評価者説明でないがそれは展示室である; int3 & fact8 -> int4: あのアンドロステンジオンは御方様でない; fact17 & fact1 -> int5: この面形状は御方様でないしそれに象らない; int5 & fact19 -> int6: あのアンドロステンジオンは御方様だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> 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: もしこの金看板が人らしいし更にそれが広告するならばあの針先は評価者説明でない
事実25: そのコピースタンプツールは御方様でまた押し易い
事実26: あの針先は御方様だということはない
事実27: もし展示室があるならあの針先は御方様でない

仮説: あの針先は展示室だということはない
1. 事実4と事実22から、推論1: "この金看板は人らしいし広告する"が導かれる
2. 推論1と事実24から、推論2: "あの針先は評価者説明でない"が導かれる
3. 仮定1: 以下のように仮定する。あの針先は展示室である
4. 推論2と仮定1から、推論3: "あの針先は評価者説明でないがそれは展示室である"が導かれる
5. 推論3と事実8から、推論4: "あのアンドロステンジオンは御方様でない"が導かれる
6. 事実17と事実1から、推論5: "この面形状は御方様でないしそれに象らない"が導かれる
7. 推論5と事実19から、推論6: "あのアンドロステンジオンは御方様だ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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