このＤＩＪは批准しないしそれにそれは取り易くない
fact1: あの八書は初期化しない fact2: 「その勘繰りは本田・プレリュードだということはない」ということは確かであるとすると「取り易くてかつ採掘だ」ということは成り立たない fact3: もしこのＳＲＩが本田・プレリュードでないならばその勘繰りは本田・プレリュードであるかあるいは末恐ろしくない fact4: もしもその幅・高さは図書館資料でないとすれば「それは地球規模であるけど採掘でない」ということは偽だ fact5: 「その幅・高さは図書館資料でない」ということは事実だ fact6: もしもある物は本田・プレリュードでないとしたら「販売条件だけれど操作し易くない」ということは成り立たない fact7: その勘繰りは取り易くない fact8: その勘繰りが切ないということはないとしたらこのＤＩＪは批准しないしかつ取り易くない fact9: このＳＲＩはさくさくてないししかも逆算しない fact10: もし仮にこのＳＲＩは本田・プレリュードだとすると「その幅・高さはさくさくてないけれどそれは販売条件である」ということは成り立たない fact11: 「仮にその勘繰りが本田・プレリュードであるかまたは末恐ろしいということはないかまたは両方ともだとしたらその勘繰りは切なくない」ということは成り立つ fact12: もし仮に「なにかはさくさくするということはないけれど販売条件である」ということは誤りであるとしたらそれは初期化する fact13: もし「なんらかの物は地球規模であるけど採掘でない」ということは正しくないとするとそれは初期化しない fact14: このＤＩＪは批准するということはないしかつそれは図書館資料でない
void -> assump1: 以下のように仮定する。このＳＲＩは本田・プレリュードだ; fact10 & assump1 -> int1: 「その幅・高さはさくさくしないけどそれは販売条件である」ということは偽である; fact12 -> int2: 「「その幅・高さはさくさくしないけれど販売条件だ」ということは確かだ」ということは成り立たないとすると初期化する; int1 & int2 -> int3: 「その幅・高さは初期化する」ということは確かである; fact13 -> int4: もし仮に「その幅・高さは地球規模だがしかし採掘でない」ということは間違いであるならばそれは初期化しない; fact5 & fact4 -> int5: 「その幅・高さは地球規模であるがしかし採掘でない」ということは事実と異なる; int4 & int5 -> int6: その幅・高さは初期化するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このＳＲＩは本田・プレリュードであるということはない; int8 & fact3 -> int9: その勘繰りは本田・プレリュードであるか末恐ろしくないかあるいは両方ともだ; int9 & fact11 -> int10: その勘繰りは切ないということはない; int10 & fact8 -> hypothesis;
「その感化力は販売条件であるけど操作し易くない」ということは事実でない
fact15 -> int11: もしもその感化力は本田・プレリュードだということはないとすると「それは販売条件であるし操作し易くない」ということは嘘だ;
$facts$ = fact1: あの八書は初期化しない fact2: 「その勘繰りは本田・プレリュードだということはない」ということは確かであるとすると「取り易くてかつ採掘だ」ということは成り立たない fact3: もしこのＳＲＩが本田・プレリュードでないならばその勘繰りは本田・プレリュードであるかあるいは末恐ろしくない fact4: もしもその幅・高さは図書館資料でないとすれば「それは地球規模であるけど採掘でない」ということは偽だ fact5: 「その幅・高さは図書館資料でない」ということは事実だ fact6: もしもある物は本田・プレリュードでないとしたら「販売条件だけれど操作し易くない」ということは成り立たない fact7: その勘繰りは取り易くない fact8: その勘繰りが切ないということはないとしたらこのＤＩＪは批准しないしかつ取り易くない fact9: このＳＲＩはさくさくてないししかも逆算しない fact10: もし仮にこのＳＲＩは本田・プレリュードだとすると「その幅・高さはさくさくてないけれどそれは販売条件である」ということは成り立たない fact11: 「仮にその勘繰りが本田・プレリュードであるかまたは末恐ろしいということはないかまたは両方ともだとしたらその勘繰りは切なくない」ということは成り立つ fact12: もし仮に「なにかはさくさくするということはないけれど販売条件である」ということは誤りであるとしたらそれは初期化する fact13: もし「なんらかの物は地球規模であるけど採掘でない」ということは正しくないとするとそれは初期化しない fact14: このＤＩＪは批准するということはないしかつそれは図書館資料でない ; $hypothesis$ = このＤＩＪは批准しないしそれにそれは取り易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＳＲＩは本田・プレリュードだ; fact10 & assump1 -> int1: 「その幅・高さはさくさくしないけどそれは販売条件である」ということは偽である; fact12 -> int2: 「「その幅・高さはさくさくしないけれど販売条件だ」ということは確かだ」ということは成り立たないとすると初期化する; int1 & int2 -> int3: 「その幅・高さは初期化する」ということは確かである; fact13 -> int4: もし仮に「その幅・高さは地球規模だがしかし採掘でない」ということは間違いであるならばそれは初期化しない; fact5 & fact4 -> int5: 「その幅・高さは地球規模であるがしかし採掘でない」ということは事実と異なる; int4 & int5 -> int6: その幅・高さは初期化するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このＳＲＩは本田・プレリュードであるということはない; int8 & fact3 -> int9: その勘繰りは本田・プレリュードであるか末恐ろしくないかあるいは両方ともだ; int9 & fact11 -> int10: その勘繰りは切ないということはない; int10 & fact8 -> hypothesis; __PROVED__
事実1: あの八書は初期化しない
事実2: 「その勘繰りは本田・プレリュードだということはない」ということは確かであるとすると「取り易くてかつ採掘だ」ということは成り立たない
事実3: もしこのＳＲＩが本田・プレリュードでないならばその勘繰りは本田・プレリュードであるかあるいは末恐ろしくない
事実4: もしもその幅・高さは図書館資料でないとすれば「それは地球規模であるけど採掘でない」ということは偽だ
事実5: 「その幅・高さは図書館資料でない」ということは事実だ
事実6: もしもある物は本田・プレリュードでないとしたら「販売条件だけれど操作し易くない」ということは成り立たない
事実7: その勘繰りは取り易くない
事実8: その勘繰りが切ないということはないとしたらこのＤＩＪは批准しないしかつ取り易くない
事実9: このＳＲＩはさくさくてないししかも逆算しない
事実10: もし仮にこのＳＲＩは本田・プレリュードだとすると「その幅・高さはさくさくてないけれどそれは販売条件である」ということは成り立たない
事実11: 「仮にその勘繰りが本田・プレリュードであるかまたは末恐ろしいということはないかまたは両方ともだとしたらその勘繰りは切なくない」ということは成り立つ
事実12: もし仮に「なにかはさくさくするということはないけれど販売条件である」ということは誤りであるとしたらそれは初期化する
事実13: もし「なんらかの物は地球規模であるけど採掘でない」ということは正しくないとするとそれは初期化しない
事実14: このＤＩＪは批准するということはないしかつそれは図書館資料でない

仮説: このＤＩＪは批准しないしそれにそれは取り易くない
1. 仮定1: 以下のように仮定する。このＳＲＩは本田・プレリュードだ
2. 事実10と仮定1から、推論1: "「その幅・高さはさくさくしないけどそれは販売条件である」ということは偽である"が導かれる
3. 事実12から、推論2: "「「その幅・高さはさくさくしないけれど販売条件だ」ということは確かだ」ということは成り立たないとすると初期化する"が導かれる
4. 推論1と推論2から、推論3: "「その幅・高さは初期化する」ということは確かである"が導かれる
5. 事実13から、推論4: "もし仮に「その幅・高さは地球規模だがしかし採掘でない」ということは間違いであるならばそれは初期化しない"が導かれる
6. 事実5と事実4から、推論5: "「その幅・高さは地球規模であるがしかし採掘でない」ということは事実と異なる"が導かれる
7. 推論4と推論5から、推論6: "その幅・高さは初期化するということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "このＳＲＩは本田・プレリュードであるということはない"が導かれる
10. 推論8と事実3から、推論9: "その勘繰りは本田・プレリュードであるか末恐ろしくないかあるいは両方ともだ"が導かれる
11. 推論9と事実11から、推論10: "その勘繰りは切ないということはない"が導かれる
12. 推論10と事実8から、仮説が導かれる

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