このパラダイス・カフェは第三十九章でない
fact1: 「何らかのものは独り言するが重筋作業であるということはない」ということは嘘だとすると第三十九章でない fact2: もしもある物は建議するし重筋作業なら「それは疲れ易い」ということは間違っている fact3: 仮になにがしかのものが省けるかまたはそれが掻き直すならこの融解は嘘っぽくない fact4: もしあの検査対象は疲れ易いかまたは嘘っぽいとしたらそれは染影しない fact5: あの検査対象は疲れ易いかもしくはそれは嘘っぽいかあるいはどちらもである fact6: 仮にこの融解は中破しないとすると「この清潔手術は建議するということはないかあるいはそれは中破しないかまたは両方ともだ」ということは嘘でない fact7: 仮にその長距離ミサイルは独り言しないなら「この清潔手術は疲れ易くないかあるいは重筋作業であるかあるいは両方ともである」ということは偽である fact8: 仮にこの融解が中破するとするとあの検査対象は染影する fact9: その長距離ミサイルは戌亥でないならば「このパラダイス・カフェは独り言するけど重筋作業でない」ということは間違いである fact10: この不顕性感染は百五十以上でないとすれば「その長距離ミサイルは嘘っぽいかもしくはそれはＡ町でない」ということは成り立つということはない fact11: 戌亥は染影する fact12: もしある物が中破するとすればそれは染影する fact13: 「その長距離ミサイルは嘘っぽいかあるいはＡ町でない」ということは事実と異なるとすれば「それは独り言しない」ということは事実だ fact14: 嘘っぽくないものは戌亥であるかもしくは中破するかまたは両方である fact15: もしこの融解が中破するがしかしそれが第三十九章でないならこのパラダイス・カフェは第三十九章だ fact16: 仮にあの検査対象が重筋作業でないとすればこの融解は戌亥であるしその上建議する fact17: あの検査対象は下山しない fact18: なにがしかの物は百五十以上でないかあるいは省けるかまたは両方だ fact19: 「この清潔手術は疲れ易くないかもしくはそれは重筋作業である」ということは誤っているとするとあの検査対象は重筋作業でない fact20: 何かは省けるかまたはそれは掻き直すかあるいはどちらもだ fact21: この清潔手術が建議しないかあるいは中破しないかあるいは両方ともであるとすればあの長距離ミサイルは戌亥でない fact22: もしこの融解が染影するけど疲れ易いということはないならばこの時計仕掛けは疲れ易い fact23: もしもあの検査対象が下山するということはないとしたら独り言するかまたは第三十九章であるかどちらもである
void -> assump1: 以下のように仮定する。この融解は中破する; fact8 & assump1 -> int1: あの検査対象は染影する; fact5 & fact4 -> int2: あの検査対象は染影しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この融解は中破するということはない; int4 & fact6 -> int5: この清潔手術は建議しないかもしくはそれは中破しない; int5 & fact21 -> int6: その長距離ミサイルは戌亥でない; int6 & fact9 -> int7: 「このパラダイス・カフェは独り言する一方でそれは重筋作業だということはない」ということは間違いである; fact1 -> int8: 「「このパラダイス・カフェは独り言するけれど重筋作業でない」ということは成り立つ」ということは成り立たないとするとそれは第三十九章であるということはない; int7 & int8 -> hypothesis;
この時計仕掛けは疲れ易い
fact28 -> int9: この融解が嘘っぽくないなら戌亥であるかまたはそれは中破するかもしくは両方ともだ; fact31 & fact25 -> int10: この融解は嘘っぽいということはない; int9 & int10 -> int11: この融解は戌亥であるか中破する; fact32 -> int12: もしこの融解が戌亥ならそれは染影する; fact27 -> int13: もし仮に「この融解は中破する」ということは正しいならばそれは染影する; int11 & int12 & int13 -> int14: 「この融解は染影する」ということは真実だ; fact29 -> int15: もしもこの融解は建議するしそれに重筋作業ならば疲れ易くない; fact26 & fact24 -> int16: あの検査対象は独り言するかまたはそれは第三十九章であるかまたはどちらもだ;
$facts$ = fact1: 「何らかのものは独り言するが重筋作業であるということはない」ということは嘘だとすると第三十九章でない fact2: もしもある物は建議するし重筋作業なら「それは疲れ易い」ということは間違っている fact3: 仮になにがしかのものが省けるかまたはそれが掻き直すならこの融解は嘘っぽくない fact4: もしあの検査対象は疲れ易いかまたは嘘っぽいとしたらそれは染影しない fact5: あの検査対象は疲れ易いかもしくはそれは嘘っぽいかあるいはどちらもである fact6: 仮にこの融解は中破しないとすると「この清潔手術は建議するということはないかあるいはそれは中破しないかまたは両方ともだ」ということは嘘でない fact7: 仮にその長距離ミサイルは独り言しないなら「この清潔手術は疲れ易くないかあるいは重筋作業であるかあるいは両方ともである」ということは偽である fact8: 仮にこの融解が中破するとするとあの検査対象は染影する fact9: その長距離ミサイルは戌亥でないならば「このパラダイス・カフェは独り言するけど重筋作業でない」ということは間違いである fact10: この不顕性感染は百五十以上でないとすれば「その長距離ミサイルは嘘っぽいかもしくはそれはＡ町でない」ということは成り立つということはない fact11: 戌亥は染影する fact12: もしある物が中破するとすればそれは染影する fact13: 「その長距離ミサイルは嘘っぽいかあるいはＡ町でない」ということは事実と異なるとすれば「それは独り言しない」ということは事実だ fact14: 嘘っぽくないものは戌亥であるかもしくは中破するかまたは両方である fact15: もしこの融解が中破するがしかしそれが第三十九章でないならこのパラダイス・カフェは第三十九章だ fact16: 仮にあの検査対象が重筋作業でないとすればこの融解は戌亥であるしその上建議する fact17: あの検査対象は下山しない fact18: なにがしかの物は百五十以上でないかあるいは省けるかまたは両方だ fact19: 「この清潔手術は疲れ易くないかもしくはそれは重筋作業である」ということは誤っているとするとあの検査対象は重筋作業でない fact20: 何かは省けるかまたはそれは掻き直すかあるいはどちらもだ fact21: この清潔手術が建議しないかあるいは中破しないかあるいは両方ともであるとすればあの長距離ミサイルは戌亥でない fact22: もしこの融解が染影するけど疲れ易いということはないならばこの時計仕掛けは疲れ易い fact23: もしもあの検査対象が下山するということはないとしたら独り言するかまたは第三十九章であるかどちらもである ; $hypothesis$ = このパラダイス・カフェは第三十九章でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この融解は中破する; fact8 & assump1 -> int1: あの検査対象は染影する; fact5 & fact4 -> int2: あの検査対象は染影しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この融解は中破するということはない; int4 & fact6 -> int5: この清潔手術は建議しないかもしくはそれは中破しない; int5 & fact21 -> int6: その長距離ミサイルは戌亥でない; int6 & fact9 -> int7: 「このパラダイス・カフェは独り言する一方でそれは重筋作業だということはない」ということは間違いである; fact1 -> int8: 「「このパラダイス・カフェは独り言するけれど重筋作業でない」ということは成り立つ」ということは成り立たないとするとそれは第三十九章であるということはない; int7 & int8 -> 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: もしもあの検査対象が下山するということはないとしたら独り言するかまたは第三十九章であるかどちらもである

仮説: このパラダイス・カフェは第三十九章でない
1. 仮定1: 以下のように仮定する。この融解は中破する
2. 事実8と仮定1から、推論1: "あの検査対象は染影する"が導かれる
3. 事実5と事実4から、推論2: "あの検査対象は染影しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この融解は中破するということはない"が導かれる
6. 推論4と事実6から、推論5: "この清潔手術は建議しないかもしくはそれは中破しない"が導かれる
7. 推論5と事実21から、推論6: "その長距離ミサイルは戌亥でない"が導かれる
8. 推論6と事実9から、推論7: "「このパラダイス・カフェは独り言する一方でそれは重筋作業だということはない」ということは間違いである"が導かれる
9. 事実1から、推論8: "「「このパラダイス・カフェは独り言するけれど重筋作業でない」ということは成り立つ」ということは成り立たないとするとそれは第三十九章であるということはない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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