「「手広くないし邪推しない」ということは成り立たない」ものはある
fact1: もし仮にこの山口県立山口図書館蔵が出易くないとするとこの同宿は保ち易い fact2: 「もし「なにがしかの物は出易くないかそれは着替えない」ということは誤りであるとすれば連絡出来ない」ということは成り立つ fact3: この同宿は保ち易くないけど発揮し易い fact4: もしもこの山口県立山口図書館蔵が着替えるということはないとするとこの同宿は保ち易い fact5: 仮にとあるものは連絡出来ないとしたら「手広くなくて更にそれは邪推するということはない」ということは嘘である fact6: 仮になんらかの物は連絡出来ないとすると「手広いしそれは邪推しない」ということは成り立たない
void -> assump1: 以下のように仮定する。この山口県立山口図書館蔵は出易くないかもしくは着替えるということはない; assump1 & fact1 & fact4 -> int1: この同宿は保ち易い; fact3 -> int2: この同宿は保ち易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この山口県立山口図書館蔵は出易くないかあるいはそれは着替えるということはないかまたはどちらもである」ということは間違いである; fact2 -> int5: もしも「この山口県立山口図書館蔵は出易くないかあるいは着替えないかまたは両方だ」ということは嘘であるなら「連絡出来ない」ということは真実である; int4 & int5 -> int6: この山口県立山口図書館蔵は連絡出来ない; fact5 -> int7: もしもこの山口県立山口図書館蔵は連絡出来ないとすれば「手広くなくて加えて邪推しない」ということは間違いである; int6 & int7 -> int8: 「この山口県立山口図書館蔵は手広くなくてその上それは邪推しない」ということは事実だということはない; int8 -> hypothesis;
$facts$ = fact1: もし仮にこの山口県立山口図書館蔵が出易くないとするとこの同宿は保ち易い fact2: 「もし「なにがしかの物は出易くないかそれは着替えない」ということは誤りであるとすれば連絡出来ない」ということは成り立つ fact3: この同宿は保ち易くないけど発揮し易い fact4: もしもこの山口県立山口図書館蔵が着替えるということはないとするとこの同宿は保ち易い fact5: 仮にとあるものは連絡出来ないとしたら「手広くなくて更にそれは邪推するということはない」ということは嘘である fact6: 仮になんらかの物は連絡出来ないとすると「手広いしそれは邪推しない」ということは成り立たない ; $hypothesis$ = 「「手広くないし邪推しない」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この山口県立山口図書館蔵は出易くないかもしくは着替えるということはない; assump1 & fact1 & fact4 -> int1: この同宿は保ち易い; fact3 -> int2: この同宿は保ち易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この山口県立山口図書館蔵は出易くないかあるいはそれは着替えるということはないかまたはどちらもである」ということは間違いである; fact2 -> int5: もしも「この山口県立山口図書館蔵は出易くないかあるいは着替えないかまたは両方だ」ということは嘘であるなら「連絡出来ない」ということは真実である; int4 & int5 -> int6: この山口県立山口図書館蔵は連絡出来ない; fact5 -> int7: もしもこの山口県立山口図書館蔵は連絡出来ないとすれば「手広くなくて加えて邪推しない」ということは間違いである; int6 & int7 -> int8: 「この山口県立山口図書館蔵は手広くなくてその上それは邪推しない」ということは事実だということはない; int8 -> hypothesis; __PROVED__
事実1: もし仮にこの山口県立山口図書館蔵が出易くないとするとこの同宿は保ち易い
事実2: 「もし「なにがしかの物は出易くないかそれは着替えない」ということは誤りであるとすれば連絡出来ない」ということは成り立つ
事実3: この同宿は保ち易くないけど発揮し易い
事実4: もしもこの山口県立山口図書館蔵が着替えるということはないとするとこの同宿は保ち易い
事実5: 仮にとあるものは連絡出来ないとしたら「手広くなくて更にそれは邪推するということはない」ということは嘘である
事実6: 仮になんらかの物は連絡出来ないとすると「手広いしそれは邪推しない」ということは成り立たない

仮説: 「「手広くないし邪推しない」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。この山口県立山口図書館蔵は出易くないかもしくは着替えるということはない
2. 仮定1と事実1と事実4から、推論1: "この同宿は保ち易い"が導かれる
3. 事実3から、推論2: "この同宿は保ち易いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この山口県立山口図書館蔵は出易くないかあるいはそれは着替えるということはないかまたはどちらもである」ということは間違いである"が導かれる
6. 事実2から、推論5: "もしも「この山口県立山口図書館蔵は出易くないかあるいは着替えないかまたは両方だ」ということは嘘であるなら「連絡出来ない」ということは真実である"が導かれる
7. 推論4と推論5から、推論6: "この山口県立山口図書館蔵は連絡出来ない"が導かれる
8. 事実5から、推論7: "もしもこの山口県立山口図書館蔵は連絡出来ないとすれば「手広くなくて加えて邪推しない」ということは間違いである"が導かれる
9. 推論6と推論7から、推論8: "「この山口県立山口図書館蔵は手広くなくてその上それは邪推しない」ということは事実だということはない"が導かれる
10. 推論8から、仮説が導かれる

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