その石油基地はフィンガー・パームしない
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: その靴箱が表面仕上げならその石油基地はフィンガー・パームしない
fact16 & fact12 -> int1: 「このアミトリプチリンは睨み返す」ということは成り立つ; fact23 -> int2: このアミトリプチリンは訝しい; int1 & int2 -> int3: このアミトリプチリンは睨み返すしそれは訝しい; int3 & fact24 -> int4: その象眼は出難くない; int4 & fact2 -> int5: その靴箱は出難くてそれは心強い; int5 -> int6: その靴箱は出難い; fact5 -> int7: もし仮にその靴箱が出難いとすればそれは表面仕上げである; int6 & int7 -> int8: その靴箱は表面仕上げである; int8 & fact26 -> hypothesis;
その石油基地はフィンガー・パームする
$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: その靴箱が表面仕上げならその石油基地はフィンガー・パームしない ; $hypothesis$ = その石油基地はフィンガー・パームしない ; $proof$ = 
fact16 & fact12 -> int1: 「このアミトリプチリンは睨み返す」ということは成り立つ; fact23 -> int2: このアミトリプチリンは訝しい; int1 & int2 -> int3: このアミトリプチリンは睨み返すしそれは訝しい; int3 & fact24 -> int4: その象眼は出難くない; int4 & fact2 -> int5: その靴箱は出難くてそれは心強い; int5 -> int6: その靴箱は出難い; fact5 -> int7: もし仮にその靴箱が出難いとすればそれは表面仕上げである; int6 & int7 -> int8: その靴箱は表面仕上げである; int8 & fact26 -> 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: その靴箱が表面仕上げならその石油基地はフィンガー・パームしない

仮説: その石油基地はフィンガー・パームしない
1. 事実16と事実12から、推論1: "「このアミトリプチリンは睨み返す」ということは成り立つ"が導かれる
2. 事実23から、推論2: "このアミトリプチリンは訝しい"が導かれる
3. 推論1と推論2から、推論3: "このアミトリプチリンは睨み返すしそれは訝しい"が導かれる
4. 推論3と事実24から、推論4: "その象眼は出難くない"が導かれる
5. 推論4と事実2から、推論5: "その靴箱は出難くてそれは心強い"が導かれる
6. 推論5から、推論6: "その靴箱は出難い"が導かれる
7. 事実5から、推論7: "もし仮にその靴箱が出難いとすればそれは表面仕上げである"が導かれる
8. 推論6と推論7から、推論8: "その靴箱は表面仕上げである"が導かれる
9. 推論8と事実26から、仮説が導かれる

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