「もしその防御が肛門期去勢であるとするとこの兄弟愛は様良しけれどそれは飛行機らしいということはない」ということは正しい
fact1: 仮にこの兄弟愛が肛門期去勢であるとしたらその防御はダウエル・ガラであるがしかし心細くない fact2: 仮にその薬剤感受性が扱い慣れないならその防御はボトムアップだ fact3: この兄弟愛が心細いかもしくは飛行機らしいかまたは両方ともであるならその薬剤感受性は扱い慣れない fact4: もし仮にその防御がボトムアップだしおまけにダウエル・ガラであるならそれは肛門期去勢だ fact5: もし仮になにがしかの物がボトムアップだということはないとすると飛行機らしいしさらにそれは扱い慣れる fact6: 心細い物はダウエル・ガラである fact7: あのハロペリドールは様良し fact8: もしも「この百八十センチメートル以上は肛門期去勢だしかつ煩悶する」ということは嘘であるとするとそれは肛門期去勢であるということはない fact9: 「この百八十センチメートル以上が肛門期去勢だしその上それは煩悶する」ということは事実と異なる fact10: この兄弟愛は心細いしまたダウエル・ガラだとすればそれは肛門期去勢でない fact11: もし仮に「この百八十センチメートル以上は肛門期去勢でない」ということは成り立つとすれば「それは様良くてかつそれはボトムアップだ」ということは成り立つということはない fact12: その防御はダウエル・ガラだ fact13: その防御は発生し難い fact14: 仮になにかは飛行機らしいとすれば心細い fact15: この兄弟愛は様良し fact16: もし「その防御はボトムアップであるしさらにそれはダウエル・ガラだ」ということは事実だとするとそれは肛門期去勢でない
void -> assump1: 以下のように仮定する。この兄弟愛は飛行機らしい; assump1 -> int1: この兄弟愛は心細いかまたは飛行機らしい; int1 & fact3 -> int2: その薬剤感受性は扱い慣れない; int2 & fact2 -> int3: その防御はボトムアップだ; int3 & fact12 -> int4: その防御はボトムアップであるしおまけにダウエル・ガラである; int4 & fact16 -> int5: その防御は肛門期去勢でない; void -> assump2: 以下のように仮定する。「その防御は肛門期去勢である」ということは確かである; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この兄弟愛は飛行機らしくない」ということは成り立つ; int7 & fact15 -> int8: この兄弟愛は様良しけどそれは飛行機らしくない; [assump2] & int8 -> hypothesis;
この百八十センチメートル以上はダウエル・ガラだ
fact18 -> int9: 仮にこの百八十センチメートル以上が心細いならばそれはダウエル・ガラである; fact22 -> int10: この百八十センチメートル以上が飛行機らしいとしたらそれは心細い; fact17 -> int11: もしもこの百八十センチメートル以上がボトムアップでないとすれば飛行機らしいししかも扱い慣れる; fact21 & fact20 -> int12: この百八十センチメートル以上は肛門期去勢でない; fact19 & int12 -> int13: 「「この百八十センチメートル以上は様良ししおまけにボトムアップである」ということは誤りでない」ということは成り立たない;
$facts$ = fact1: 仮にこの兄弟愛が肛門期去勢であるとしたらその防御はダウエル・ガラであるがしかし心細くない fact2: 仮にその薬剤感受性が扱い慣れないならその防御はボトムアップだ fact3: この兄弟愛が心細いかもしくは飛行機らしいかまたは両方ともであるならその薬剤感受性は扱い慣れない fact4: もし仮にその防御がボトムアップだしおまけにダウエル・ガラであるならそれは肛門期去勢だ fact5: もし仮になにがしかの物がボトムアップだということはないとすると飛行機らしいしさらにそれは扱い慣れる fact6: 心細い物はダウエル・ガラである fact7: あのハロペリドールは様良し fact8: もしも「この百八十センチメートル以上は肛門期去勢だしかつ煩悶する」ということは嘘であるとするとそれは肛門期去勢であるということはない fact9: 「この百八十センチメートル以上が肛門期去勢だしその上それは煩悶する」ということは事実と異なる fact10: この兄弟愛は心細いしまたダウエル・ガラだとすればそれは肛門期去勢でない fact11: もし仮に「この百八十センチメートル以上は肛門期去勢でない」ということは成り立つとすれば「それは様良くてかつそれはボトムアップだ」ということは成り立つということはない fact12: その防御はダウエル・ガラだ fact13: その防御は発生し難い fact14: 仮になにかは飛行機らしいとすれば心細い fact15: この兄弟愛は様良し fact16: もし「その防御はボトムアップであるしさらにそれはダウエル・ガラだ」ということは事実だとするとそれは肛門期去勢でない ; $hypothesis$ = 「もしその防御が肛門期去勢であるとするとこの兄弟愛は様良しけれどそれは飛行機らしいということはない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この兄弟愛は飛行機らしい; assump1 -> int1: この兄弟愛は心細いかまたは飛行機らしい; int1 & fact3 -> int2: その薬剤感受性は扱い慣れない; int2 & fact2 -> int3: その防御はボトムアップだ; int3 & fact12 -> int4: その防御はボトムアップであるしおまけにダウエル・ガラである; int4 & fact16 -> int5: その防御は肛門期去勢でない; void -> assump2: 以下のように仮定する。「その防御は肛門期去勢である」ということは確かである; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この兄弟愛は飛行機らしくない」ということは成り立つ; int7 & fact15 -> int8: この兄弟愛は様良しけどそれは飛行機らしくない; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 仮にこの兄弟愛が肛門期去勢であるとしたらその防御はダウエル・ガラであるがしかし心細くない
事実2: 仮にその薬剤感受性が扱い慣れないならその防御はボトムアップだ
事実3: この兄弟愛が心細いかもしくは飛行機らしいかまたは両方ともであるならその薬剤感受性は扱い慣れない
事実4: もし仮にその防御がボトムアップだしおまけにダウエル・ガラであるならそれは肛門期去勢だ
事実5: もし仮になにがしかの物がボトムアップだということはないとすると飛行機らしいしさらにそれは扱い慣れる
事実6: 心細い物はダウエル・ガラである
事実7: あのハロペリドールは様良し
事実8: もしも「この百八十センチメートル以上は肛門期去勢だしかつ煩悶する」ということは嘘であるとするとそれは肛門期去勢であるということはない
事実9: 「この百八十センチメートル以上が肛門期去勢だしその上それは煩悶する」ということは事実と異なる
事実10: この兄弟愛は心細いしまたダウエル・ガラだとすればそれは肛門期去勢でない
事実11: もし仮に「この百八十センチメートル以上は肛門期去勢でない」ということは成り立つとすれば「それは様良くてかつそれはボトムアップだ」ということは成り立つということはない
事実12: その防御はダウエル・ガラだ
事実13: その防御は発生し難い
事実14: 仮になにかは飛行機らしいとすれば心細い
事実15: この兄弟愛は様良し
事実16: もし「その防御はボトムアップであるしさらにそれはダウエル・ガラだ」ということは事実だとするとそれは肛門期去勢でない

仮説: 「もしその防御が肛門期去勢であるとするとこの兄弟愛は様良しけれどそれは飛行機らしいということはない」ということは正しい
1. 仮定1: 以下のように仮定する。この兄弟愛は飛行機らしい
2. 仮定1から、推論1: "この兄弟愛は心細いかまたは飛行機らしい"が導かれる
3. 推論1と事実3から、推論2: "その薬剤感受性は扱い慣れない"が導かれる
4. 推論2と事実2から、推論3: "その防御はボトムアップだ"が導かれる
5. 推論3と事実12から、推論4: "その防御はボトムアップであるしおまけにダウエル・ガラである"が導かれる
6. 推論4と事実16から、推論5: "その防御は肛門期去勢でない"が導かれる
7. 仮定2: 以下のように仮定する。「その防御は肛門期去勢である」ということは確かである
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "「この兄弟愛は飛行機らしくない」ということは成り立つ"が導かれる
10. 推論7と事実15から、推論8: "この兄弟愛は様良しけどそれは飛行機らしくない"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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