あの桜は見え易いということはない
fact1: あの戊辰戦争は仲睦まじくない fact2: 仮にあの戊辰戦争が輸送サービスであるとしたらあの経営原則は仲睦まじくない fact3: もしもこの減圧がうするとすればあの戊辰戦争は当たり難いがそれは水郷であるということはない fact4: 仮にあの戊辰戦争は仲睦まじくないならば「それは当たり難くてそれに水郷だ」ということは間違いだ fact5: もしあの戊辰戦争は仲睦まじくないとしたら「あの経営原則は仲睦まじいしまたうする」ということは嘘だ fact6: あの経営原則は仲睦まじくないとすれば「「あの戊辰戦争は仲睦まじくて輸送サービスである」ということは本当だ」ということは成り立たない fact7: 仮に「あの経営原則はうするがしかし輸送サービスでない」ということは成り立たないならばあの桜は見え易くない fact8: もしもこの減圧が見え易いならばあの桜は見え易い fact9: あの戊辰戦争は鳴き止むということはない fact10: この減圧は仲睦まじい fact11: もしこの減圧がうするとするとあの戊辰戦争は水郷でない fact12: あの戊辰戦争は水郷でない fact13: 「「なにかは輸送サービスでないかもしくはうするか両方だ」ということは成り立つ」ということは確かだということはないとしたらそれは見え易い fact14: 仮にあの経営原則が輸送サービスならばあの桜は見え易いということはない fact15: もしもこの減圧はうしないなら「あの経営原則はうするけれど輸送サービスでない」ということは偽だ fact16: 「あの経営原則はうするしそれは輸送サービスである」ということは事実と異なる fact17: 「あの戊辰戦争は当たり難くてまた水郷である」ということは成り立たない fact18: もしあの戊辰戦争がうするとしたらあの経営原則は水郷であるということはない fact19: もしあの戊辰戦争は仲睦まじくないとすれば「当たり難いが水郷でない」ということは間違いだ fact20: この減圧はうしないなら「あの経営原則はうするし輸送サービスである」ということは成り立たない
void -> assump1: 以下のように仮定する。この減圧はうする; fact3 & assump1 -> int1: あの戊辰戦争は当たり難いけど水郷でない; fact19 & fact1 -> int2: 「あの戊辰戦争は当たり難いがしかし水郷でない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この減圧はうしない; int4 & fact15 -> int5: 「あの経営原則はうする一方でそれは輸送サービスであるということはない」ということは成り立たない; int5 & fact7 -> hypothesis;
あの桜は見え易い
fact22 -> int6: 「もし「この減圧は輸送サービスでないかあるいはうする」ということは嘘であるとしたらこの減圧は見え易い」ということは成り立つ;
$facts$ = fact1: あの戊辰戦争は仲睦まじくない fact2: 仮にあの戊辰戦争が輸送サービスであるとしたらあの経営原則は仲睦まじくない fact3: もしもこの減圧がうするとすればあの戊辰戦争は当たり難いがそれは水郷であるということはない fact4: 仮にあの戊辰戦争は仲睦まじくないならば「それは当たり難くてそれに水郷だ」ということは間違いだ fact5: もしあの戊辰戦争は仲睦まじくないとしたら「あの経営原則は仲睦まじいしまたうする」ということは嘘だ fact6: あの経営原則は仲睦まじくないとすれば「「あの戊辰戦争は仲睦まじくて輸送サービスである」ということは本当だ」ということは成り立たない fact7: 仮に「あの経営原則はうするがしかし輸送サービスでない」ということは成り立たないならばあの桜は見え易くない fact8: もしもこの減圧が見え易いならばあの桜は見え易い fact9: あの戊辰戦争は鳴き止むということはない fact10: この減圧は仲睦まじい fact11: もしこの減圧がうするとするとあの戊辰戦争は水郷でない fact12: あの戊辰戦争は水郷でない fact13: 「「なにかは輸送サービスでないかもしくはうするか両方だ」ということは成り立つ」ということは確かだということはないとしたらそれは見え易い fact14: 仮にあの経営原則が輸送サービスならばあの桜は見え易いということはない fact15: もしもこの減圧はうしないなら「あの経営原則はうするけれど輸送サービスでない」ということは偽だ fact16: 「あの経営原則はうするしそれは輸送サービスである」ということは事実と異なる fact17: 「あの戊辰戦争は当たり難くてまた水郷である」ということは成り立たない fact18: もしあの戊辰戦争がうするとしたらあの経営原則は水郷であるということはない fact19: もしあの戊辰戦争は仲睦まじくないとすれば「当たり難いが水郷でない」ということは間違いだ fact20: この減圧はうしないなら「あの経営原則はうするし輸送サービスである」ということは成り立たない ; $hypothesis$ = あの桜は見え易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この減圧はうする; fact3 & assump1 -> int1: あの戊辰戦争は当たり難いけど水郷でない; fact19 & fact1 -> int2: 「あの戊辰戦争は当たり難いがしかし水郷でない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この減圧はうしない; int4 & fact15 -> int5: 「あの経営原則はうする一方でそれは輸送サービスであるということはない」ということは成り立たない; int5 & fact7 -> hypothesis; __PROVED__
事実1: あの戊辰戦争は仲睦まじくない
事実2: 仮にあの戊辰戦争が輸送サービスであるとしたらあの経営原則は仲睦まじくない
事実3: もしもこの減圧がうするとすればあの戊辰戦争は当たり難いがそれは水郷であるということはない
事実4: 仮にあの戊辰戦争は仲睦まじくないならば「それは当たり難くてそれに水郷だ」ということは間違いだ
事実5: もしあの戊辰戦争は仲睦まじくないとしたら「あの経営原則は仲睦まじいしまたうする」ということは嘘だ
事実6: あの経営原則は仲睦まじくないとすれば「「あの戊辰戦争は仲睦まじくて輸送サービスである」ということは本当だ」ということは成り立たない
事実7: 仮に「あの経営原則はうするがしかし輸送サービスでない」ということは成り立たないならばあの桜は見え易くない
事実8: もしもこの減圧が見え易いならばあの桜は見え易い
事実9: あの戊辰戦争は鳴き止むということはない
事実10: この減圧は仲睦まじい
事実11: もしこの減圧がうするとするとあの戊辰戦争は水郷でない
事実12: あの戊辰戦争は水郷でない
事実13: 「「なにかは輸送サービスでないかもしくはうするか両方だ」ということは成り立つ」ということは確かだということはないとしたらそれは見え易い
事実14: 仮にあの経営原則が輸送サービスならばあの桜は見え易いということはない
事実15: もしもこの減圧はうしないなら「あの経営原則はうするけれど輸送サービスでない」ということは偽だ
事実16: 「あの経営原則はうするしそれは輸送サービスである」ということは事実と異なる
事実17: 「あの戊辰戦争は当たり難くてまた水郷である」ということは成り立たない
事実18: もしあの戊辰戦争がうするとしたらあの経営原則は水郷であるということはない
事実19: もしあの戊辰戦争は仲睦まじくないとすれば「当たり難いが水郷でない」ということは間違いだ
事実20: この減圧はうしないなら「あの経営原則はうするし輸送サービスである」ということは成り立たない

仮説: あの桜は見え易いということはない
1. 仮定1: 以下のように仮定する。この減圧はうする
2. 事実3と仮定1から、推論1: "あの戊辰戦争は当たり難いけど水郷でない"が導かれる
3. 事実19と事実1から、推論2: "「あの戊辰戦争は当たり難いがしかし水郷でない」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この減圧はうしない"が導かれる
6. 推論4と事実15から、推論5: "「あの経営原則はうする一方でそれは輸送サービスであるということはない」ということは成り立たない"が導かれる
7. 推論5と事実7から、仮説が導かれる

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