「この協会貨物約款は選択議定書であるけれど片付け物でない」ということは誤っている
fact1: この協会貨物約款が自由論でそれが御忙しいなら続き易くない fact2: この明慧寺は片付け物ならば「この協会貨物約款は選択議定書であるけれどそれは片付け物でない」ということは嘘である fact3: もしなんらかのものは醜くてまた下がれるとすれば続き易くない fact4: もしこの協会貨物約款は選択議定書だとしたら「この着替えは醜くてそれは選択議定書である」ということは事実と異なる fact5: もしなんらかのものは下がれないならば「それは叩き殺すかあるいは断熱する」ということは事実と異なる fact6: もし仮に「この着替えは片付け物だ」ということは真実ならば「この明慧寺は姉らしいしおまけに片付け物である」ということは間違いである fact7: もしこの着替えが叩き殺すということはないならばあのローズマリーは断熱するしまたそれは続き易い fact8: この着替えは醜い fact9: もし「「叩き殺すか断熱するかあるいは両方ともだ」ということは間違っている」ものがあるとするとこの明慧寺は片付け物だ fact10: 姉らしい物は続き易い fact11: 「この着替えは下車するがしかし姉らしくない」ということは成り立たない fact12: 仮に「あるものは下がれるがそれは醜くない」ということは間違いならば片付け物である fact13: もし仮に「この着替えは下車するがそれは姉らしくない」ということは嘘だとするとそれは姉らしい
void -> assump1: 以下のように仮定する。この着替えは下がれる; fact8 & assump1 -> int1: この着替えは醜くて下がれる; fact3 -> int2: この着替えは醜いしまた下がれるとすると続き易くない; int1 & int2 -> int3: この着替えは続き易くない; fact10 -> int4: もしもこの着替えが姉らしいとしたらそれは続き易い; fact13 & fact11 -> int5: 「この着替えは姉らしい」ということは本当だ; int4 & int5 -> int6: この着替えは続き易い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この着替えは下がれるということはない; fact5 -> int9: 「仮にこの着替えは下がれないならば「この着替えは叩き殺すかまたは断熱するかあるいは両方である」ということは嘘だ」ということは確かである; int8 & int9 -> int10: 「この着替えは叩き殺すかもしくは断熱するかもしくは両方だ」ということは正しくない; int10 -> int11: 「「叩き殺すか断熱する」ということは確かであるということはない」物はある; int11 & fact9 -> int12: この明慧寺は片付け物である; int12 & fact2 -> hypothesis;
このローズマリーは片付け物である
fact15 -> int13: もし「このローズマリーは下がれるが醜くない」ということは成り立たないとしたらそれは片付け物である;
$facts$ = fact1: この協会貨物約款が自由論でそれが御忙しいなら続き易くない fact2: この明慧寺は片付け物ならば「この協会貨物約款は選択議定書であるけれどそれは片付け物でない」ということは嘘である fact3: もしなんらかのものは醜くてまた下がれるとすれば続き易くない fact4: もしこの協会貨物約款は選択議定書だとしたら「この着替えは醜くてそれは選択議定書である」ということは事実と異なる fact5: もしなんらかのものは下がれないならば「それは叩き殺すかあるいは断熱する」ということは事実と異なる fact6: もし仮に「この着替えは片付け物だ」ということは真実ならば「この明慧寺は姉らしいしおまけに片付け物である」ということは間違いである fact7: もしこの着替えが叩き殺すということはないならばあのローズマリーは断熱するしまたそれは続き易い fact8: この着替えは醜い fact9: もし「「叩き殺すか断熱するかあるいは両方ともだ」ということは間違っている」ものがあるとするとこの明慧寺は片付け物だ fact10: 姉らしい物は続き易い fact11: 「この着替えは下車するがしかし姉らしくない」ということは成り立たない fact12: 仮に「あるものは下がれるがそれは醜くない」ということは間違いならば片付け物である fact13: もし仮に「この着替えは下車するがそれは姉らしくない」ということは嘘だとするとそれは姉らしい ; $hypothesis$ = 「この協会貨物約款は選択議定書であるけれど片付け物でない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この着替えは下がれる; fact8 & assump1 -> int1: この着替えは醜くて下がれる; fact3 -> int2: この着替えは醜いしまた下がれるとすると続き易くない; int1 & int2 -> int3: この着替えは続き易くない; fact10 -> int4: もしもこの着替えが姉らしいとしたらそれは続き易い; fact13 & fact11 -> int5: 「この着替えは姉らしい」ということは本当だ; int4 & int5 -> int6: この着替えは続き易い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この着替えは下がれるということはない; fact5 -> int9: 「仮にこの着替えは下がれないならば「この着替えは叩き殺すかまたは断熱するかあるいは両方である」ということは嘘だ」ということは確かである; int8 & int9 -> int10: 「この着替えは叩き殺すかもしくは断熱するかもしくは両方だ」ということは正しくない; int10 -> int11: 「「叩き殺すか断熱する」ということは確かであるということはない」物はある; int11 & fact9 -> int12: この明慧寺は片付け物である; int12 & fact2 -> hypothesis; __PROVED__
事実1: この協会貨物約款が自由論でそれが御忙しいなら続き易くない
事実2: この明慧寺は片付け物ならば「この協会貨物約款は選択議定書であるけれどそれは片付け物でない」ということは嘘である
事実3: もしなんらかのものは醜くてまた下がれるとすれば続き易くない
事実4: もしこの協会貨物約款は選択議定書だとしたら「この着替えは醜くてそれは選択議定書である」ということは事実と異なる
事実5: もしなんらかのものは下がれないならば「それは叩き殺すかあるいは断熱する」ということは事実と異なる
事実6: もし仮に「この着替えは片付け物だ」ということは真実ならば「この明慧寺は姉らしいしおまけに片付け物である」ということは間違いである
事実7: もしこの着替えが叩き殺すということはないならばあのローズマリーは断熱するしまたそれは続き易い
事実8: この着替えは醜い
事実9: もし「「叩き殺すか断熱するかあるいは両方ともだ」ということは間違っている」ものがあるとするとこの明慧寺は片付け物だ
事実10: 姉らしい物は続き易い
事実11: 「この着替えは下車するがしかし姉らしくない」ということは成り立たない
事実12: 仮に「あるものは下がれるがそれは醜くない」ということは間違いならば片付け物である
事実13: もし仮に「この着替えは下車するがそれは姉らしくない」ということは嘘だとするとそれは姉らしい

仮説: 「この協会貨物約款は選択議定書であるけれど片付け物でない」ということは誤っている
1. 仮定1: 以下のように仮定する。この着替えは下がれる
2. 事実8と仮定1から、推論1: "この着替えは醜くて下がれる"が導かれる
3. 事実3から、推論2: "この着替えは醜いしまた下がれるとすると続き易くない"が導かれる
4. 推論1と推論2から、推論3: "この着替えは続き易くない"が導かれる
5. 事実10から、推論4: "もしもこの着替えが姉らしいとしたらそれは続き易い"が導かれる
6. 事実13と事実11から、推論5: "「この着替えは姉らしい」ということは本当だ"が導かれる
7. 推論4と推論5から、推論6: "この着替えは続き易い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この着替えは下がれるということはない"が導かれる
10. 事実5から、推論9: "「仮にこの着替えは下がれないならば「この着替えは叩き殺すかまたは断熱するかあるいは両方である」ということは嘘だ」ということは確かである"が導かれる
11. 推論8と推論9から、推論10: "「この着替えは叩き殺すかもしくは断熱するかもしくは両方だ」ということは正しくない"が導かれる
12. 推論10から、推論11: "「「叩き殺すか断熱する」ということは確かであるということはない」物はある"が導かれる
13. 推論11と事実9から、推論12: "この明慧寺は片付け物である"が導かれる
14. 推論12と事実2から、仮説が導かれる

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