もし「あの中絶術は掘り尽くさない」ということは成り立つということはないとすると「この乾燥室は飛翔する」ということは本当である
fact1: あの中絶術が光らすならばあの乾燥室は与え難い fact2: もし仮にこの乾燥室が新規形状パレットでないとするとあの中絶術は飛翔しない fact3: 「あの中絶術は飛翔するがそれは掘り尽くさない」ということは成り立つということはない fact4: 何らかのものが掘り尽くすしかつ彼の世だとすると乱取り・試合でない fact5: もし仮にこの乾燥室は飛翔しないなら「それは爛れるし光らす」ということは成り立つということはない fact6: 「もしも「何らかのものは欧州大戦であるということはないしその上それは求婚しない」ということは嘘だとしたら求婚する」ということは確かである fact7: もしこの乾燥室が乱取り・試合であるとするとあの中絶術は爛れる fact8: もし仮に何らかの物は飛翔するとすると「それは痛ーいけど新規形状パレットでない」ということは成り立たない fact9: この猫単は与え難い fact10: 仮にこのリサイクル品は徐行しないとすると「通り易くてそれは痛ーくない」ということは事実でない fact11: この猫単が痛ーいということはないとすればあの中絶術は新規形状パレットでない fact12: もしもこの乾燥室が乱取り・試合でないならばその文句無しは飛翔するがしかし与え難いということはない fact13: 仮に「ある物は痛ーいけれど新規形状パレットだということはない」ということは偽なら痛ーくない fact14: もし「とあるものは求婚する」ということは確かだとしたらこの乾燥室は掘り尽くすし彼の世である fact15: この乾燥室は聞き終わらない fact16: 「仮に「この乾燥室は爛れるしおまけにそれは光らす」ということは偽だとしたらこの猫単は痛ーくない」ということは成り立つ fact17: 「もしもこの猫単が乱取り・試合だということはないとするとあの中絶術は痛ーいということはない」ということは真実である fact18: この猫単が新規形状パレットならあの中絶術は痛ーい fact19: もしも「何らかのものは与え難くないしまた乱取り・試合でない」ということは間違っていれば掘り尽くさない fact20: もし仮にこの猫単は爛れないとすれば「掘り尽くすし更にそれは痛ーくない」ということは成り立たない fact21: この猫単は飛翔しない fact22: もし仮に何らかのものは新規形状パレットでないならば「それは与え難くないし乱取り・試合でない」ということは間違っている fact23: この乾燥室は乱取り・試合でない fact24: 「この猫単は欧州大戦でなくてそれに求婚しない」ということは成り立たない
void -> assump1: 以下のように仮定する。この乾燥室は飛翔しない; fact5 & assump1 -> int1: 「この乾燥室は爛れるしおまけに光らす」ということは成り立たない; int1 & fact16 -> int2: この猫単は痛ーくない; int2 & fact11 -> int3: あの中絶術は新規形状パレットでない; fact22 -> int4: もしもあの中絶術は新規形状パレットでないとすれば「「与え難くないし乱取り・試合でない」ということは確かである」ということは成り立たない; int3 & int4 -> int5: 「あの中絶術は与え難くないしおまけに乱取り・試合でない」ということは間違いだ; fact19 -> int6: もし仮に「あの中絶術は与え難くないしそれは乱取り・試合でない」ということは成り立たないなら「それは掘り尽くさない」ということは成り立つ; int5 & int6 -> int7: あの中絶術は掘り尽くさない; void -> assump2: 以下のように仮定する。あの中絶術は掘り尽くす; int7 & assump2 -> int8: これは矛盾である; [assump1] & int8 -> int9: この乾燥室は飛翔する; [assump2] & int9 -> hypothesis;
その文句無しは痛ーくない
fact29 -> int10: 仮に「その文句無しは痛ーい一方で新規形状パレットでない」ということは間違いだとすれば「痛ーくない」ということは正しい; fact31 -> int11: 仮にその文句無しは飛翔するとしたら「それは痛ーいし新規形状パレットでない」ということは成り立たない; fact26 -> int12: もし仮にこの乾燥室は掘り尽くすし彼の世であるとしたら乱取り・試合でない; fact28 -> int13: 「この猫単は欧州大戦でないしおまけに求婚しない」ということは成り立たないとしたらそれは求婚する; int13 & fact25 -> int14: この猫単は求婚する; int14 -> int15: なにがしかの物は求婚する; int15 & fact27 -> int16: この乾燥室は掘り尽くすしかつそれは彼の世である; int12 & int16 -> int17: この乾燥室は乱取り・試合でない; fact30 & int17 -> int18: その文句無しは飛翔するが与え難くない; int18 -> int19: その文句無しは飛翔する; int11 & int19 -> int20: 「その文句無しは痛ーいけれど新規形状パレットでない」ということは成り立たない; int10 & int20 -> 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: 「この猫単は欧州大戦でなくてそれに求婚しない」ということは成り立たない ; $hypothesis$ = もし「あの中絶術は掘り尽くさない」ということは成り立つということはないとすると「この乾燥室は飛翔する」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。この乾燥室は飛翔しない; fact5 & assump1 -> int1: 「この乾燥室は爛れるしおまけに光らす」ということは成り立たない; int1 & fact16 -> int2: この猫単は痛ーくない; int2 & fact11 -> int3: あの中絶術は新規形状パレットでない; fact22 -> int4: もしもあの中絶術は新規形状パレットでないとすれば「「与え難くないし乱取り・試合でない」ということは確かである」ということは成り立たない; int3 & int4 -> int5: 「あの中絶術は与え難くないしおまけに乱取り・試合でない」ということは間違いだ; fact19 -> int6: もし仮に「あの中絶術は与え難くないしそれは乱取り・試合でない」ということは成り立たないなら「それは掘り尽くさない」ということは成り立つ; int5 & int6 -> int7: あの中絶術は掘り尽くさない; void -> assump2: 以下のように仮定する。あの中絶術は掘り尽くす; int7 & assump2 -> int8: これは矛盾である; [assump1] & int8 -> int9: この乾燥室は飛翔する; [assump2] & int9 -> 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: 「この猫単は欧州大戦でなくてそれに求婚しない」ということは成り立たない

仮説: もし「あの中絶術は掘り尽くさない」ということは成り立つということはないとすると「この乾燥室は飛翔する」ということは本当である
1. 仮定1: 以下のように仮定する。この乾燥室は飛翔しない
2. 事実5と仮定1から、推論1: "「この乾燥室は爛れるしおまけに光らす」ということは成り立たない"が導かれる
3. 推論1と事実16から、推論2: "この猫単は痛ーくない"が導かれる
4. 推論2と事実11から、推論3: "あの中絶術は新規形状パレットでない"が導かれる
5. 事実22から、推論4: "もしもあの中絶術は新規形状パレットでないとすれば「「与え難くないし乱取り・試合でない」ということは確かである」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「あの中絶術は与え難くないしおまけに乱取り・試合でない」ということは間違いだ"が導かれる
7. 事実19から、推論6: "もし仮に「あの中絶術は与え難くないしそれは乱取り・試合でない」ということは成り立たないなら「それは掘り尽くさない」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "あの中絶術は掘り尽くさない"が導かれる
9. 仮定2: 以下のように仮定する。あの中絶術は掘り尽くす
10. 推論7と仮定2から、推論8: "これは矛盾である"が導かれる
11. [仮定1]と推論8から、推論9: "この乾燥室は飛翔する"が導かれる
12. [仮定2]と推論9から、仮説が導かれる

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