その二千年初めは掛かり易い
fact1: その発行済み株式数は用意する fact2: あの枠型は冷め易いけれど用意しない fact3: 仮になにかは掛かり易くないならそれは超多階調でしかも実施形態である fact4: 首尾良くないものは冷め易くてかつ杣人達である fact5: もし仮にあの枠型は首尾良くてまた実施形態ならば冷め易くない fact6: この三つ葉は超多階調でない fact7: もし仮にあの枠型が超多階調であるとするとその二千年初めは掛かり易い fact8: もしこのムスリム世界が用意しないしホームページ上でないとしたらそれは掛かり易くない fact9: 仮に超多階調は実施形態であるとすればそれは首尾良いということはない fact10: もし仮に「冷め易い」物はあるとすると「「あの枠型は実施形態でないししかも首尾良くない」ということは成り立つということはない」ということは確かである fact11: この三つ葉は杣人達だ fact12: もしもそのルート権限は味気なくてまた冷め易いなら既存債務でない fact13: なんらかのものは実施形態でないならばそれは超多階調だ fact14: もしも「あの枠型は実施形態であるということはないし首尾良いということはない」ということは誤りであるならこの三つ葉は首尾良い fact15: 仮にその発行済み株式数が用意するとすれば冷め易い fact16: あの枠型は追体験しない fact17: あの枠型は用意しない fact18: もしもこの三つ葉が首尾良いとするとあの枠型は杣人達である fact19: この三つ葉が杣人達だとするとあの枠型は首尾良い
fact19 & fact11 -> int1: あの枠型は首尾良い; void -> assump1: 以下のように仮定する。あの枠型は実施形態である; int1 & assump1 -> int2: あの枠型は首尾良いし実施形態だ; int2 & fact5 -> int3: あの枠型は冷め易くない; fact2 -> int4: あの枠型は冷め易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの枠型は実施形態だということはない; fact13 -> int7: あの枠型が実施形態でないとすればそれは超多階調だ; int6 & int7 -> int8: あの枠型は超多階調だ; int8 & fact7 -> hypothesis;
その二千年初めは掛かり易くない
fact23 & fact22 -> int9: その発行済み株式数は冷め易い; int9 -> int10: 冷め易い物はある; int10 & fact20 -> int11: 「あの枠型は実施形態でなくてまたそれは首尾良くない」ということは成り立たない; fact21 & int11 -> int12: この三つ葉は首尾良い;
$facts$ = fact1: その発行済み株式数は用意する fact2: あの枠型は冷め易いけれど用意しない fact3: 仮になにかは掛かり易くないならそれは超多階調でしかも実施形態である fact4: 首尾良くないものは冷め易くてかつ杣人達である fact5: もし仮にあの枠型は首尾良くてまた実施形態ならば冷め易くない fact6: この三つ葉は超多階調でない fact7: もし仮にあの枠型が超多階調であるとするとその二千年初めは掛かり易い fact8: もしこのムスリム世界が用意しないしホームページ上でないとしたらそれは掛かり易くない fact9: 仮に超多階調は実施形態であるとすればそれは首尾良いということはない fact10: もし仮に「冷め易い」物はあるとすると「「あの枠型は実施形態でないししかも首尾良くない」ということは成り立つということはない」ということは確かである fact11: この三つ葉は杣人達だ fact12: もしもそのルート権限は味気なくてまた冷め易いなら既存債務でない fact13: なんらかのものは実施形態でないならばそれは超多階調だ fact14: もしも「あの枠型は実施形態であるということはないし首尾良いということはない」ということは誤りであるならこの三つ葉は首尾良い fact15: 仮にその発行済み株式数が用意するとすれば冷め易い fact16: あの枠型は追体験しない fact17: あの枠型は用意しない fact18: もしもこの三つ葉が首尾良いとするとあの枠型は杣人達である fact19: この三つ葉が杣人達だとするとあの枠型は首尾良い ; $hypothesis$ = その二千年初めは掛かり易い ; $proof$ = 
fact19 & fact11 -> int1: あの枠型は首尾良い; void -> assump1: 以下のように仮定する。あの枠型は実施形態である; int1 & assump1 -> int2: あの枠型は首尾良いし実施形態だ; int2 & fact5 -> int3: あの枠型は冷め易くない; fact2 -> int4: あの枠型は冷め易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの枠型は実施形態だということはない; fact13 -> int7: あの枠型が実施形態でないとすればそれは超多階調だ; int6 & int7 -> int8: あの枠型は超多階調だ; int8 & fact7 -> hypothesis; __PROVED__
事実1: その発行済み株式数は用意する
事実2: あの枠型は冷め易いけれど用意しない
事実3: 仮になにかは掛かり易くないならそれは超多階調でしかも実施形態である
事実4: 首尾良くないものは冷め易くてかつ杣人達である
事実5: もし仮にあの枠型は首尾良くてまた実施形態ならば冷め易くない
事実6: この三つ葉は超多階調でない
事実7: もし仮にあの枠型が超多階調であるとするとその二千年初めは掛かり易い
事実8: もしこのムスリム世界が用意しないしホームページ上でないとしたらそれは掛かり易くない
事実9: 仮に超多階調は実施形態であるとすればそれは首尾良いということはない
事実10: もし仮に「冷め易い」物はあるとすると「「あの枠型は実施形態でないししかも首尾良くない」ということは成り立つということはない」ということは確かである
事実11: この三つ葉は杣人達だ
事実12: もしもそのルート権限は味気なくてまた冷め易いなら既存債務でない
事実13: なんらかのものは実施形態でないならばそれは超多階調だ
事実14: もしも「あの枠型は実施形態であるということはないし首尾良いということはない」ということは誤りであるならこの三つ葉は首尾良い
事実15: 仮にその発行済み株式数が用意するとすれば冷め易い
事実16: あの枠型は追体験しない
事実17: あの枠型は用意しない
事実18: もしもこの三つ葉が首尾良いとするとあの枠型は杣人達である
事実19: この三つ葉が杣人達だとするとあの枠型は首尾良い

仮説: その二千年初めは掛かり易い
1. 事実19と事実11から、推論1: "あの枠型は首尾良い"が導かれる
2. 仮定1: 以下のように仮定する。あの枠型は実施形態である
3. 推論1と仮定1から、推論2: "あの枠型は首尾良いし実施形態だ"が導かれる
4. 推論2と事実5から、推論3: "あの枠型は冷め易くない"が導かれる
5. 事実2から、推論4: "あの枠型は冷め易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの枠型は実施形態だということはない"が導かれる
8. 事実13から、推論7: "あの枠型が実施形態でないとすればそれは超多階調だ"が導かれる
9. 推論6と推論7から、推論8: "あの枠型は超多階調だ"が導かれる
10. 推論8と事実7から、仮説が導かれる

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