この転嫁は様良くない
fact1: もし仮に「この転嫁は飯田高原下車である」ということは確かであるなら冷め難い fact2: 「なんらかのものは裏切れるか様良し」ということは本当である fact3: あの閃光は裏切れるということはない fact4: もしこの転嫁が冷め難いとしたらその保育・教育はＣ‐Ｙである fact5: もしもこの転嫁がＣ‐Ｙならあの閃光はＣ‐Ｙである fact6: その保育・教育は裏切れなくてそれはもたつかない fact7: その保育・教育は飯田高原下車である fact8: この転嫁は花物であるということはないが飯田高原下車だとすれば「様良くない」ということは本当である fact9: この転嫁は飯田高原下車でない fact10: もし「もたつく」物があるならあの閃光は裏切れる fact11: もし仮に「この転嫁は花物でないししかも飯田高原下車でない」ということは本当であるならば様良くない fact12: そのＮＳＣはシングル盤であるかもしくはそれは空々しいかあるいは両方ともだ fact13: この転嫁はナショナルである fact14: あのリズム・セクションは裏切れる fact15: その保育・教育はもたつかなくて加えて様良くない fact16: この転嫁は復興する fact17: 仮に「この転嫁は花物でなくておまけにそれは飯田高原下車でない」ということは偽ならそれは冷め難い fact18: 「この転嫁は花物でないけどそれは飯田高原下車だ」ということは嘘である fact19: 「その保育・教育は沖縄戦でないし様良くない」ということは成り立たない fact20: 何らかのものは飯田高原下車であるかあるいはそれはＣ‐Ｙである fact21: あの閃光は様良くない fact22: もし「Ｃ‐Ｙであるかあるいはもたつくかどちらもな」物はあるとすれば「あの閃光は裏切れる」ということは事実である
void -> assump1: 以下のように仮定する。「この転嫁は花物でないしそれは飯田高原下車でない」ということは正しくない; fact17 & assump1 -> int1: この転嫁は冷め難い; int1 & fact4 -> int2: その保育・教育はＣ‐Ｙである; int2 -> int3: その保育・教育はＣ‐Ｙであるかもたつくか両方ともだ; int3 -> int4: なんらかの物はＣ‐Ｙであるかそれはもたつくかもしくは両方ともだ; int4 & fact22 -> int5: あの閃光は裏切れる; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> int7: この転嫁は花物でないしそれに飯田高原下車でない; int7 & fact11 -> hypothesis;
あの閃光は統率でなくて飯田高原下車であるということはない
$facts$ = fact1: もし仮に「この転嫁は飯田高原下車である」ということは確かであるなら冷め難い fact2: 「なんらかのものは裏切れるか様良し」ということは本当である fact3: あの閃光は裏切れるということはない fact4: もしこの転嫁が冷め難いとしたらその保育・教育はＣ‐Ｙである fact5: もしもこの転嫁がＣ‐Ｙならあの閃光はＣ‐Ｙである fact6: その保育・教育は裏切れなくてそれはもたつかない fact7: その保育・教育は飯田高原下車である fact8: この転嫁は花物であるということはないが飯田高原下車だとすれば「様良くない」ということは本当である fact9: この転嫁は飯田高原下車でない fact10: もし「もたつく」物があるならあの閃光は裏切れる fact11: もし仮に「この転嫁は花物でないししかも飯田高原下車でない」ということは本当であるならば様良くない fact12: そのＮＳＣはシングル盤であるかもしくはそれは空々しいかあるいは両方ともだ fact13: この転嫁はナショナルである fact14: あのリズム・セクションは裏切れる fact15: その保育・教育はもたつかなくて加えて様良くない fact16: この転嫁は復興する fact17: 仮に「この転嫁は花物でなくておまけにそれは飯田高原下車でない」ということは偽ならそれは冷め難い fact18: 「この転嫁は花物でないけどそれは飯田高原下車だ」ということは嘘である fact19: 「その保育・教育は沖縄戦でないし様良くない」ということは成り立たない fact20: 何らかのものは飯田高原下車であるかあるいはそれはＣ‐Ｙである fact21: あの閃光は様良くない fact22: もし「Ｃ‐Ｙであるかあるいはもたつくかどちらもな」物はあるとすれば「あの閃光は裏切れる」ということは事実である ; $hypothesis$ = この転嫁は様良くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この転嫁は花物でないしそれは飯田高原下車でない」ということは正しくない; fact17 & assump1 -> int1: この転嫁は冷め難い; int1 & fact4 -> int2: その保育・教育はＣ‐Ｙである; int2 -> int3: その保育・教育はＣ‐Ｙであるかもたつくか両方ともだ; int3 -> int4: なんらかの物はＣ‐Ｙであるかそれはもたつくかもしくは両方ともだ; int4 & fact22 -> int5: あの閃光は裏切れる; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> int7: この転嫁は花物でないしそれに飯田高原下車でない; int7 & fact11 -> hypothesis; __PROVED__
事実1: もし仮に「この転嫁は飯田高原下車である」ということは確かであるなら冷め難い
事実2: 「なんらかのものは裏切れるか様良し」ということは本当である
事実3: あの閃光は裏切れるということはない
事実4: もしこの転嫁が冷め難いとしたらその保育・教育はＣ‐Ｙである
事実5: もしもこの転嫁がＣ‐Ｙならあの閃光はＣ‐Ｙである
事実6: その保育・教育は裏切れなくてそれはもたつかない
事実7: その保育・教育は飯田高原下車である
事実8: この転嫁は花物であるということはないが飯田高原下車だとすれば「様良くない」ということは本当である
事実9: この転嫁は飯田高原下車でない
事実10: もし「もたつく」物があるならあの閃光は裏切れる
事実11: もし仮に「この転嫁は花物でないししかも飯田高原下車でない」ということは本当であるならば様良くない
事実12: そのＮＳＣはシングル盤であるかもしくはそれは空々しいかあるいは両方ともだ
事実13: この転嫁はナショナルである
事実14: あのリズム・セクションは裏切れる
事実15: その保育・教育はもたつかなくて加えて様良くない
事実16: この転嫁は復興する
事実17: 仮に「この転嫁は花物でなくておまけにそれは飯田高原下車でない」ということは偽ならそれは冷め難い
事実18: 「この転嫁は花物でないけどそれは飯田高原下車だ」ということは嘘である
事実19: 「その保育・教育は沖縄戦でないし様良くない」ということは成り立たない
事実20: 何らかのものは飯田高原下車であるかあるいはそれはＣ‐Ｙである
事実21: あの閃光は様良くない
事実22: もし「Ｃ‐Ｙであるかあるいはもたつくかどちらもな」物はあるとすれば「あの閃光は裏切れる」ということは事実である

仮説: この転嫁は様良くない
1. 仮定1: 以下のように仮定する。「この転嫁は花物でないしそれは飯田高原下車でない」ということは正しくない
2. 事実17と仮定1から、推論1: "この転嫁は冷め難い"が導かれる
3. 推論1と事実4から、推論2: "その保育・教育はＣ‐Ｙである"が導かれる
4. 推論2から、推論3: "その保育・教育はＣ‐Ｙであるかもたつくか両方ともだ"が導かれる
5. 推論3から、推論4: "なんらかの物はＣ‐Ｙであるかそれはもたつくかもしくは両方ともだ"が導かれる
6. 推論4と事実22から、推論5: "あの閃光は裏切れる"が導かれる
7. 推論5と事実3から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この転嫁は花物でないしそれに飯田高原下車でない"が導かれる
9. 推論7と事実11から、仮説が導かれる

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