あの御殿は高じないかあるいはそれは好ましないかあるいは両方である
fact1: あの小乗は走行でない fact2: もし仮に何らかの物が走行であるとすればあの御殿は作り易くない fact3: もしあの御殿が作り易くないならば高じるかもしくはそれは好ましないか両方だ fact4: もし仮に何かは画しないなら「弛み無いけど翻転するということはない」ということは偽である fact5: 「あの小乗は画するしまた走行である」ということは間違いだ fact6: 仮に「「画するし更に高じない」ということは成り立たない」ものはあるとすると「あの小乗は好ましということはない」ということは成り立つ fact7: もしあの御殿が作り易くないとすると高じないかまたは好ましということはないか両方ともだ fact8: あの御殿は身の代金目的でないかもしくはそれは作り易くない fact9: 「その前列右は学校帰りだけれど身の代金目的でない」ということは成り立たない fact10: もしその光学ディスクドライブが身の代金目的であるならその前列右は学校帰りだ一方で身の代金目的であるということはない fact11: あの小乗は付置する fact12: 何らかの物は画するがしかし作り易くない fact13: もし「「画するし走行でない」ということは事実と異なる」ものがあるとすればあの御殿は作り易くない fact14: もし「その光学ディスクドライブは身の代金目的だ」ということは事実だとしたらその前列右は学校帰りである fact15: 「あの御殿は高じないかまたは好まし」ということは真実である fact16: もしあの小乗が走行であるとしたらその光学ディスクドライブは身の代金目的であるが走行でない fact17: 仮に「「高じるしまた身の代金目的でない」ということは偽である」物があるとすればその光学ディスクドライブは作り易くない fact18: もしも「その前列右は学校帰りであるけれど呼吸機能障害でない」ということは成り立たないとしたらその光学ディスクドライブは学校帰りであるということはない fact19: もしもなにかは学校帰りでないならそれは走行だしかつ身の代金目的である fact20: なにがしかのものは学校帰りだということはないとしたら「それは走行であるしその上それは身の代金目的だ」ということは誤っている fact21: 「その光学ディスクドライブは好まし」ということは確かだとすれば高じるということはないしその上作り易くない fact22: もしもあの小乗が画するとしたらその光学ディスクドライブは身の代金目的である
void -> assump1: 以下のように仮定する。あの小乗は画するが走行であるということはない; assump1 -> int1: あの小乗は画する; int1 & fact22 -> int2: その光学ディスクドライブは身の代金目的だ; int2 & fact10 -> int3: その前列右は学校帰りであるが身の代金目的でない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの小乗は画する一方で走行でない」ということは間違いである; int5 -> int6: 「「画する一方で走行でない」ということは成り立つということはない」物はある; int6 & fact13 -> int7: あの御殿は作り易くない; int7 & fact7 -> hypothesis;
「あの御殿は高じないかまたは好ましないかもしくは両方だ」ということは成り立つということはない
fact23 -> int8: もしもその光学ディスクドライブは学校帰りでないならば走行であるしさらに身の代金目的だ;
$facts$ = fact1: あの小乗は走行でない fact2: もし仮に何らかの物が走行であるとすればあの御殿は作り易くない fact3: もしあの御殿が作り易くないならば高じるかもしくはそれは好ましないか両方だ fact4: もし仮に何かは画しないなら「弛み無いけど翻転するということはない」ということは偽である fact5: 「あの小乗は画するしまた走行である」ということは間違いだ fact6: 仮に「「画するし更に高じない」ということは成り立たない」ものはあるとすると「あの小乗は好ましということはない」ということは成り立つ fact7: もしあの御殿が作り易くないとすると高じないかまたは好ましということはないか両方ともだ fact8: あの御殿は身の代金目的でないかもしくはそれは作り易くない fact9: 「その前列右は学校帰りだけれど身の代金目的でない」ということは成り立たない fact10: もしその光学ディスクドライブが身の代金目的であるならその前列右は学校帰りだ一方で身の代金目的であるということはない fact11: あの小乗は付置する fact12: 何らかの物は画するがしかし作り易くない fact13: もし「「画するし走行でない」ということは事実と異なる」ものがあるとすればあの御殿は作り易くない fact14: もし「その光学ディスクドライブは身の代金目的だ」ということは事実だとしたらその前列右は学校帰りである fact15: 「あの御殿は高じないかまたは好まし」ということは真実である fact16: もしあの小乗が走行であるとしたらその光学ディスクドライブは身の代金目的であるが走行でない fact17: 仮に「「高じるしまた身の代金目的でない」ということは偽である」物があるとすればその光学ディスクドライブは作り易くない fact18: もしも「その前列右は学校帰りであるけれど呼吸機能障害でない」ということは成り立たないとしたらその光学ディスクドライブは学校帰りであるということはない fact19: もしもなにかは学校帰りでないならそれは走行だしかつ身の代金目的である fact20: なにがしかのものは学校帰りだということはないとしたら「それは走行であるしその上それは身の代金目的だ」ということは誤っている fact21: 「その光学ディスクドライブは好まし」ということは確かだとすれば高じるということはないしその上作り易くない fact22: もしもあの小乗が画するとしたらその光学ディスクドライブは身の代金目的である ; $hypothesis$ = あの御殿は高じないかあるいはそれは好ましないかあるいは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの小乗は画するが走行であるということはない; assump1 -> int1: あの小乗は画する; int1 & fact22 -> int2: その光学ディスクドライブは身の代金目的だ; int2 & fact10 -> int3: その前列右は学校帰りであるが身の代金目的でない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの小乗は画する一方で走行でない」ということは間違いである; int5 -> int6: 「「画する一方で走行でない」ということは成り立つということはない」物はある; int6 & fact13 -> int7: あの御殿は作り易くない; int7 & fact7 -> hypothesis; __PROVED__
事実1: あの小乗は走行でない
事実2: もし仮に何らかの物が走行であるとすればあの御殿は作り易くない
事実3: もしあの御殿が作り易くないならば高じるかもしくはそれは好ましないか両方だ
事実4: もし仮に何かは画しないなら「弛み無いけど翻転するということはない」ということは偽である
事実5: 「あの小乗は画するしまた走行である」ということは間違いだ
事実6: 仮に「「画するし更に高じない」ということは成り立たない」ものはあるとすると「あの小乗は好ましということはない」ということは成り立つ
事実7: もしあの御殿が作り易くないとすると高じないかまたは好ましということはないか両方ともだ
事実8: あの御殿は身の代金目的でないかもしくはそれは作り易くない
事実9: 「その前列右は学校帰りだけれど身の代金目的でない」ということは成り立たない
事実10: もしその光学ディスクドライブが身の代金目的であるならその前列右は学校帰りだ一方で身の代金目的であるということはない
事実11: あの小乗は付置する
事実12: 何らかの物は画するがしかし作り易くない
事実13: もし「「画するし走行でない」ということは事実と異なる」ものがあるとすればあの御殿は作り易くない
事実14: もし「その光学ディスクドライブは身の代金目的だ」ということは事実だとしたらその前列右は学校帰りである
事実15: 「あの御殿は高じないかまたは好まし」ということは真実である
事実16: もしあの小乗が走行であるとしたらその光学ディスクドライブは身の代金目的であるが走行でない
事実17: 仮に「「高じるしまた身の代金目的でない」ということは偽である」物があるとすればその光学ディスクドライブは作り易くない
事実18: もしも「その前列右は学校帰りであるけれど呼吸機能障害でない」ということは成り立たないとしたらその光学ディスクドライブは学校帰りであるということはない
事実19: もしもなにかは学校帰りでないならそれは走行だしかつ身の代金目的である
事実20: なにがしかのものは学校帰りだということはないとしたら「それは走行であるしその上それは身の代金目的だ」ということは誤っている
事実21: 「その光学ディスクドライブは好まし」ということは確かだとすれば高じるということはないしその上作り易くない
事実22: もしもあの小乗が画するとしたらその光学ディスクドライブは身の代金目的である

仮説: あの御殿は高じないかあるいはそれは好ましないかあるいは両方である
1. 仮定1: 以下のように仮定する。あの小乗は画するが走行であるということはない
2. 仮定1から、推論1: "あの小乗は画する"が導かれる
3. 推論1と事実22から、推論2: "その光学ディスクドライブは身の代金目的だ"が導かれる
4. 推論2と事実10から、推論3: "その前列右は学校帰りであるが身の代金目的でない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの小乗は画する一方で走行でない」ということは間違いである"が導かれる
7. 推論5から、推論6: "「「画する一方で走行でない」ということは成り立つということはない」物はある"が導かれる
8. 推論6と事実13から、推論7: "あの御殿は作り易くない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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