この基礎単位は手摺越しでない
fact1: 仮に何らかのものが戦略的提携でないしそれが扱い易くないとするとあの棟木は養育しない fact2: もし仮にとある物が戦略的提携でない一方でそれが扱い易いとすればあの棟木は養育しない fact3: もしもあのキーセンテンス方式は出尽くさないとすると「あの棟木は合掌するがしかし養育するということはない」ということは成り立たない fact4: もしもあのキーセンテンス方式は養育しないとすれば「あの棟木は養育しないけれど合掌する」ということは誤りである fact5: 仮に「あの棟木は合掌するけどそれは養育しない」ということは成り立たないとしたら「扱い易くない」ということは事実だ fact6: 仮にあのキーセンテンス方式が養育するならこの基礎単位は手摺越しでない fact7: 「あのキーセンテンス方式は手摺越しでないがそれは養育する」ということは成り立たない fact8: 「扱い易くない」物はある fact9: 「あのキーセンテンス方式は養育するしまた合掌する」ということは成り立たない fact10: 仮にあの棟木は養育しないなら「あのキーセンテンス方式は養育しないが合掌する」ということは嘘だ fact11: 「「戦略的提携であるということはないしおまけに扱い易くない」物はある」ということは事実である fact12: もしも「あのキーセンテンス方式は養育するということはないけれど合掌する」ということは嘘だとすればこの基礎単位は手摺越しでない
fact11 & fact1 -> int1: あの棟木は養育しない; int1 & fact10 -> int2: 「あのキーセンテンス方式は養育しないけれど合掌する」ということは成り立たない; int2 & fact12 -> hypothesis;
この基礎単位は手摺越しだ
$facts$ = fact1: 仮に何らかのものが戦略的提携でないしそれが扱い易くないとするとあの棟木は養育しない fact2: もし仮にとある物が戦略的提携でない一方でそれが扱い易いとすればあの棟木は養育しない fact3: もしもあのキーセンテンス方式は出尽くさないとすると「あの棟木は合掌するがしかし養育するということはない」ということは成り立たない fact4: もしもあのキーセンテンス方式は養育しないとすれば「あの棟木は養育しないけれど合掌する」ということは誤りである fact5: 仮に「あの棟木は合掌するけどそれは養育しない」ということは成り立たないとしたら「扱い易くない」ということは事実だ fact6: 仮にあのキーセンテンス方式が養育するならこの基礎単位は手摺越しでない fact7: 「あのキーセンテンス方式は手摺越しでないがそれは養育する」ということは成り立たない fact8: 「扱い易くない」物はある fact9: 「あのキーセンテンス方式は養育するしまた合掌する」ということは成り立たない fact10: 仮にあの棟木は養育しないなら「あのキーセンテンス方式は養育しないが合掌する」ということは嘘だ fact11: 「「戦略的提携であるということはないしおまけに扱い易くない」物はある」ということは事実である fact12: もしも「あのキーセンテンス方式は養育するということはないけれど合掌する」ということは嘘だとすればこの基礎単位は手摺越しでない ; $hypothesis$ = この基礎単位は手摺越しでない ; $proof$ = 
fact11 & fact1 -> int1: あの棟木は養育しない; int1 & fact10 -> int2: 「あのキーセンテンス方式は養育しないけれど合掌する」ということは成り立たない; int2 & fact12 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが戦略的提携でないしそれが扱い易くないとするとあの棟木は養育しない
事実2: もし仮にとある物が戦略的提携でない一方でそれが扱い易いとすればあの棟木は養育しない
事実3: もしもあのキーセンテンス方式は出尽くさないとすると「あの棟木は合掌するがしかし養育するということはない」ということは成り立たない
事実4: もしもあのキーセンテンス方式は養育しないとすれば「あの棟木は養育しないけれど合掌する」ということは誤りである
事実5: 仮に「あの棟木は合掌するけどそれは養育しない」ということは成り立たないとしたら「扱い易くない」ということは事実だ
事実6: 仮にあのキーセンテンス方式が養育するならこの基礎単位は手摺越しでない
事実7: 「あのキーセンテンス方式は手摺越しでないがそれは養育する」ということは成り立たない
事実8: 「扱い易くない」物はある
事実9: 「あのキーセンテンス方式は養育するしまた合掌する」ということは成り立たない
事実10: 仮にあの棟木は養育しないなら「あのキーセンテンス方式は養育しないが合掌する」ということは嘘だ
事実11: 「「戦略的提携であるということはないしおまけに扱い易くない」物はある」ということは事実である
事実12: もしも「あのキーセンテンス方式は養育するということはないけれど合掌する」ということは嘘だとすればこの基礎単位は手摺越しでない

仮説: この基礎単位は手摺越しでない
1. 事実11と事実1から、推論1: "あの棟木は養育しない"が導かれる
2. 推論1と事実10から、推論2: "「あのキーセンテンス方式は養育しないけれど合掌する」ということは成り立たない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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