その桜祭りは幹周である
fact1: あのエネルギー憲章は聞き取り難くない fact2: 仮にあのエネルギー憲章は上接しないなら「その桜祭りは上接する一方でそれは手厚いということはない」ということは成り立つということはない fact3: もし仮になんらかの物は掻き抱くなら「それは駆け抜けるし力強いということはない」ということは間違いである fact4: その桜祭りは力強い fact5: 「その桜祭りは上接するが手厚くない」ということは偽だ fact6: 「この初版は掻き抱く」ということは確かである fact7: もしもあるものは幹周であるとすれば「「掻爬するけど手厚いということはない」ということは事実である」ということは成り立たない fact8: 仮に「とある物は上接しなくて手厚くない」ということは成り立たないならば幹周だということはない fact9: あのエネルギー憲章は出発すらない fact10: 仮に「その見せ方は煤けないしそれにそれは幹周でない」ということは誤っていれば見出だし難い fact11: もしも「何らかのものは掻爬しないかあるいは力強いということはないかもしくはどちらもだ」ということは間違いであるならそれは幹周でない fact12: 「あのエネルギー憲章は掻き抱く」ということは確かである fact13: もし仮にあのエネルギー憲章が掻爬するとするとそれが駆け抜けるしその上それは力強くない fact14: もし仮に「あのエネルギー憲章は上接しないしその上出発さない」ということは間違っているとするとそれは掻爬する fact15: 「「あのエネルギー憲章は上接しないけれど出発す」ということは事実だ」ということは事実と異なる fact16: 仮に「その桜祭りは出発すということはなくて上接しない」ということは成り立たないとすれば幹周だ fact17: もしも「あのエネルギー憲章は出発す」ということは真実であるとすると掻爬する fact18: 仮にその桜祭りが上接するとしたら幹周であるということはない fact19: もしもこの業務分野は薄まれば「それは掻爬するしそれに確立出来ない」ということは偽だ fact20: もしあのエネルギー憲章が幹周でないとするとその桜祭りは幹周だ fact21: その桜祭りは駆け抜けない fact22: もし「あのエネルギー憲章は掻爬する」ということは成り立つならそれは駆け抜ける fact23: 仮に何らかの物が上接するとすればそれは幹周だということはない fact24: あのエネルギー憲章は駆け抜ける fact25: 仮にあのエネルギー憲章は上接しないとすれば「その桜祭りは上接しなくて手厚くない」ということは成り立たない
void -> assump1: 以下のように仮定する。「あのエネルギー憲章は上接するということはないししかも出発すらない」ということは誤りだ; fact14 & assump1 -> int1: あのエネルギー憲章は掻爬する; int1 & fact13 -> int2: あのエネルギー憲章は駆け抜けるけれどそれは力強くない; fact3 -> int3: もしもあのエネルギー憲章は掻き抱くとしたら「駆け抜けるししかもそれは力強くない」ということは偽である; fact12 & int3 -> int4: 「あのエネルギー憲章は駆け抜けるけど力強くない」ということは真実でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのエネルギー憲章は上接しないしさらに出発すらない; int6 -> int7: あのエネルギー憲章は上接しない; int7 & fact25 -> int8: 「その桜祭りは上接しないし手厚くない」ということは偽だ; fact8 -> int9: 「その桜祭りは上接しなくて手厚くない」ということは嘘であるなら幹周でない; int8 & int9 -> hypothesis;
その桜祭りは幹周だ
fact26 -> int10: 仮に「あのエネルギー憲章は掻爬しないかもしくはそれは力強くない」ということは誤りならばそれは幹周でない;
$facts$ = fact1: あのエネルギー憲章は聞き取り難くない fact2: 仮にあのエネルギー憲章は上接しないなら「その桜祭りは上接する一方でそれは手厚いということはない」ということは成り立つということはない fact3: もし仮になんらかの物は掻き抱くなら「それは駆け抜けるし力強いということはない」ということは間違いである fact4: その桜祭りは力強い fact5: 「その桜祭りは上接するが手厚くない」ということは偽だ fact6: 「この初版は掻き抱く」ということは確かである fact7: もしもあるものは幹周であるとすれば「「掻爬するけど手厚いということはない」ということは事実である」ということは成り立たない fact8: 仮に「とある物は上接しなくて手厚くない」ということは成り立たないならば幹周だということはない fact9: あのエネルギー憲章は出発すらない fact10: 仮に「その見せ方は煤けないしそれにそれは幹周でない」ということは誤っていれば見出だし難い fact11: もしも「何らかのものは掻爬しないかあるいは力強いということはないかもしくはどちらもだ」ということは間違いであるならそれは幹周でない fact12: 「あのエネルギー憲章は掻き抱く」ということは確かである fact13: もし仮にあのエネルギー憲章が掻爬するとするとそれが駆け抜けるしその上それは力強くない fact14: もし仮に「あのエネルギー憲章は上接しないしその上出発さない」ということは間違っているとするとそれは掻爬する fact15: 「「あのエネルギー憲章は上接しないけれど出発す」ということは事実だ」ということは事実と異なる fact16: 仮に「その桜祭りは出発すということはなくて上接しない」ということは成り立たないとすれば幹周だ fact17: もしも「あのエネルギー憲章は出発す」ということは真実であるとすると掻爬する fact18: 仮にその桜祭りが上接するとしたら幹周であるということはない fact19: もしもこの業務分野は薄まれば「それは掻爬するしそれに確立出来ない」ということは偽だ fact20: もしあのエネルギー憲章が幹周でないとするとその桜祭りは幹周だ fact21: その桜祭りは駆け抜けない fact22: もし「あのエネルギー憲章は掻爬する」ということは成り立つならそれは駆け抜ける fact23: 仮に何らかの物が上接するとすればそれは幹周だということはない fact24: あのエネルギー憲章は駆け抜ける fact25: 仮にあのエネルギー憲章は上接しないとすれば「その桜祭りは上接しなくて手厚くない」ということは成り立たない ; $hypothesis$ = その桜祭りは幹周である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのエネルギー憲章は上接するということはないししかも出発すらない」ということは誤りだ; fact14 & assump1 -> int1: あのエネルギー憲章は掻爬する; int1 & fact13 -> int2: あのエネルギー憲章は駆け抜けるけれどそれは力強くない; fact3 -> int3: もしもあのエネルギー憲章は掻き抱くとしたら「駆け抜けるししかもそれは力強くない」ということは偽である; fact12 & int3 -> int4: 「あのエネルギー憲章は駆け抜けるけど力強くない」ということは真実でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのエネルギー憲章は上接しないしさらに出発すらない; int6 -> int7: あのエネルギー憲章は上接しない; int7 & fact25 -> int8: 「その桜祭りは上接しないし手厚くない」ということは偽だ; fact8 -> int9: 「その桜祭りは上接しなくて手厚くない」ということは嘘であるなら幹周でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: あのエネルギー憲章は聞き取り難くない
事実2: 仮にあのエネルギー憲章は上接しないなら「その桜祭りは上接する一方でそれは手厚いということはない」ということは成り立つということはない
事実3: もし仮になんらかの物は掻き抱くなら「それは駆け抜けるし力強いということはない」ということは間違いである
事実4: その桜祭りは力強い
事実5: 「その桜祭りは上接するが手厚くない」ということは偽だ
事実6: 「この初版は掻き抱く」ということは確かである
事実7: もしもあるものは幹周であるとすれば「「掻爬するけど手厚いということはない」ということは事実である」ということは成り立たない
事実8: 仮に「とある物は上接しなくて手厚くない」ということは成り立たないならば幹周だということはない
事実9: あのエネルギー憲章は出発すらない
事実10: 仮に「その見せ方は煤けないしそれにそれは幹周でない」ということは誤っていれば見出だし難い
事実11: もしも「何らかのものは掻爬しないかあるいは力強いということはないかもしくはどちらもだ」ということは間違いであるならそれは幹周でない
事実12: 「あのエネルギー憲章は掻き抱く」ということは確かである
事実13: もし仮にあのエネルギー憲章が掻爬するとするとそれが駆け抜けるしその上それは力強くない
事実14: もし仮に「あのエネルギー憲章は上接しないしその上出発さない」ということは間違っているとするとそれは掻爬する
事実15: 「「あのエネルギー憲章は上接しないけれど出発す」ということは事実だ」ということは事実と異なる
事実16: 仮に「その桜祭りは出発すということはなくて上接しない」ということは成り立たないとすれば幹周だ
事実17: もしも「あのエネルギー憲章は出発す」ということは真実であるとすると掻爬する
事実18: 仮にその桜祭りが上接するとしたら幹周であるということはない
事実19: もしもこの業務分野は薄まれば「それは掻爬するしそれに確立出来ない」ということは偽だ
事実20: もしあのエネルギー憲章が幹周でないとするとその桜祭りは幹周だ
事実21: その桜祭りは駆け抜けない
事実22: もし「あのエネルギー憲章は掻爬する」ということは成り立つならそれは駆け抜ける
事実23: 仮に何らかの物が上接するとすればそれは幹周だということはない
事実24: あのエネルギー憲章は駆け抜ける
事実25: 仮にあのエネルギー憲章は上接しないとすれば「その桜祭りは上接しなくて手厚くない」ということは成り立たない

仮説: その桜祭りは幹周である
1. 仮定1: 以下のように仮定する。「あのエネルギー憲章は上接するということはないししかも出発すらない」ということは誤りだ
2. 事実14と仮定1から、推論1: "あのエネルギー憲章は掻爬する"が導かれる
3. 推論1と事実13から、推論2: "あのエネルギー憲章は駆け抜けるけれどそれは力強くない"が導かれる
4. 事実3から、推論3: "もしもあのエネルギー憲章は掻き抱くとしたら「駆け抜けるししかもそれは力強くない」ということは偽である"が導かれる
5. 事実12と推論3から、推論4: "「あのエネルギー憲章は駆け抜けるけど力強くない」ということは真実でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのエネルギー憲章は上接しないしさらに出発すらない"が導かれる
8. 推論6から、推論7: "あのエネルギー憲章は上接しない"が導かれる
9. 推論7と事実25から、推論8: "「その桜祭りは上接しないし手厚くない」ということは偽だ"が導かれる
10. 事実8から、推論9: "「その桜祭りは上接しなくて手厚くない」ということは嘘であるなら幹周でない"が導かれる
11. 推論8と推論9から、仮説が否定される

よって、仮説が否定されました。