あの環境活動情報は左右され易い
fact1: あの環境活動情報は背負い切れる fact2: 仮に「その自分流は動物病院である」ということは事実ならあの環境活動情報は左右され易い fact3: この中央法規出版は利用し始める fact4: もしもあるものが九州制覇でないけどそれが吊り上がるならそれは青し fact5: 仮にある物が利用し始めるけど青しないとしたら左右され易くない fact6: 仮に「あの環境活動情報は背負い切れないけど御端折る」ということは事実でないとしたら「背負い切れる」ということは事実である fact7: もしもその中山競馬場が御端折るということはないとするとその自分流は心理的支援であるしまた動物病院である fact8: とあるものが肥えらないとすると心理的支援であるということはないし動物病院だ fact9: もし仮にある物が背負い切れるかそれは関心事であるということはないかもしくは両方ともだとすれば背負い切れる fact10: もしとある物は動物病院だとすると「それは背負い切れるということはないが御端折る」ということは誤っている fact11: その中山競馬場は利用し始める fact12: 仮に「その中山競馬場は利用し始めない」ということは事実でないとするとそれは九州制覇でないし更にそれは吊り上がる fact13: その中山競馬場は反覆するしそれは肥える fact14: その中山競馬場は関心事だということはない fact15: もし仮に青しものが背負い切れるとすれば御端折らない
fact12 & fact11 -> int1: その中山競馬場は九州制覇でないけれどそれは吊り上がる; fact4 -> int2: 仮にその中山競馬場が九州制覇でないけどそれが吊り上がるとするとそれは青し; int1 & int2 -> int3: その中山競馬場は青し; fact14 -> int4: その中山競馬場は背負い切れるか関心事でないかもしくはどちらもである; fact9 -> int5: もしその中山競馬場は背負い切れるかもしくは関心事だということはないなら背負い切れる; int4 & int5 -> int6: その中山競馬場は背負い切れる; int3 & int6 -> int7: その中山競馬場は青ししまた背負い切れる; fact15 -> int8: もし仮にその中山競馬場が青しし更に背負い切れるとするとそれは御端折らない; int7 & int8 -> int9: その中山競馬場は御端折るということはない; int9 & fact7 -> int10: その自分流は心理的支援で動物病院である; int10 -> int11: その自分流は動物病院である; int11 & fact2 -> hypothesis;
あの環境活動情報は左右され易くない
fact16 -> int12: 仮にあの環境活動情報は利用し始めるがしかし青しないとするとそれは左右され易くない; fact18 -> int13: 仮にあの環境活動情報は動物病院ならば「それは背負い切れないが御端折る」ということは事実と異なる; fact17 -> int14: 仮にあの環境活動情報が肥えらないとするとそれは心理的支援でないし加えて動物病院だ;
$facts$ = fact1: あの環境活動情報は背負い切れる fact2: 仮に「その自分流は動物病院である」ということは事実ならあの環境活動情報は左右され易い fact3: この中央法規出版は利用し始める fact4: もしもあるものが九州制覇でないけどそれが吊り上がるならそれは青し fact5: 仮にある物が利用し始めるけど青しないとしたら左右され易くない fact6: 仮に「あの環境活動情報は背負い切れないけど御端折る」ということは事実でないとしたら「背負い切れる」ということは事実である fact7: もしもその中山競馬場が御端折るということはないとするとその自分流は心理的支援であるしまた動物病院である fact8: とあるものが肥えらないとすると心理的支援であるということはないし動物病院だ fact9: もし仮にある物が背負い切れるかそれは関心事であるということはないかもしくは両方ともだとすれば背負い切れる fact10: もしとある物は動物病院だとすると「それは背負い切れるということはないが御端折る」ということは誤っている fact11: その中山競馬場は利用し始める fact12: 仮に「その中山競馬場は利用し始めない」ということは事実でないとするとそれは九州制覇でないし更にそれは吊り上がる fact13: その中山競馬場は反覆するしそれは肥える fact14: その中山競馬場は関心事だということはない fact15: もし仮に青しものが背負い切れるとすれば御端折らない ; $hypothesis$ = あの環境活動情報は左右され易い ; $proof$ = 
fact12 & fact11 -> int1: その中山競馬場は九州制覇でないけれどそれは吊り上がる; fact4 -> int2: 仮にその中山競馬場が九州制覇でないけどそれが吊り上がるとするとそれは青し; int1 & int2 -> int3: その中山競馬場は青し; fact14 -> int4: その中山競馬場は背負い切れるか関心事でないかもしくはどちらもである; fact9 -> int5: もしその中山競馬場は背負い切れるかもしくは関心事だということはないなら背負い切れる; int4 & int5 -> int6: その中山競馬場は背負い切れる; int3 & int6 -> int7: その中山競馬場は青ししまた背負い切れる; fact15 -> int8: もし仮にその中山競馬場が青しし更に背負い切れるとするとそれは御端折らない; int7 & int8 -> int9: その中山競馬場は御端折るということはない; int9 & fact7 -> int10: その自分流は心理的支援で動物病院である; int10 -> int11: その自分流は動物病院である; int11 & fact2 -> hypothesis; __PROVED__
事実1: あの環境活動情報は背負い切れる
事実2: 仮に「その自分流は動物病院である」ということは事実ならあの環境活動情報は左右され易い
事実3: この中央法規出版は利用し始める
事実4: もしもあるものが九州制覇でないけどそれが吊り上がるならそれは青し
事実5: 仮にある物が利用し始めるけど青しないとしたら左右され易くない
事実6: 仮に「あの環境活動情報は背負い切れないけど御端折る」ということは事実でないとしたら「背負い切れる」ということは事実である
事実7: もしもその中山競馬場が御端折るということはないとするとその自分流は心理的支援であるしまた動物病院である
事実8: とあるものが肥えらないとすると心理的支援であるということはないし動物病院だ
事実9: もし仮にある物が背負い切れるかそれは関心事であるということはないかもしくは両方ともだとすれば背負い切れる
事実10: もしとある物は動物病院だとすると「それは背負い切れるということはないが御端折る」ということは誤っている
事実11: その中山競馬場は利用し始める
事実12: 仮に「その中山競馬場は利用し始めない」ということは事実でないとするとそれは九州制覇でないし更にそれは吊り上がる
事実13: その中山競馬場は反覆するしそれは肥える
事実14: その中山競馬場は関心事だということはない
事実15: もし仮に青しものが背負い切れるとすれば御端折らない

仮説: あの環境活動情報は左右され易い
1. 事実12と事実11から、推論1: "その中山競馬場は九州制覇でないけれどそれは吊り上がる"が導かれる
2. 事実4から、推論2: "仮にその中山競馬場が九州制覇でないけどそれが吊り上がるとするとそれは青し"が導かれる
3. 推論1と推論2から、推論3: "その中山競馬場は青し"が導かれる
4. 事実14から、推論4: "その中山競馬場は背負い切れるか関心事でないかもしくはどちらもである"が導かれる
5. 事実9から、推論5: "もしその中山競馬場は背負い切れるかもしくは関心事だということはないなら背負い切れる"が導かれる
6. 推論4と推論5から、推論6: "その中山競馬場は背負い切れる"が導かれる
7. 推論3と推論6から、推論7: "その中山競馬場は青ししまた背負い切れる"が導かれる
8. 事実15から、推論8: "もし仮にその中山競馬場が青しし更に背負い切れるとするとそれは御端折らない"が導かれる
9. 推論7と推論8から、推論9: "その中山競馬場は御端折るということはない"が導かれる
10. 推論9と事実7から、推論10: "その自分流は心理的支援で動物病院である"が導かれる
11. 推論10から、推論11: "その自分流は動物病院である"が導かれる
12. 推論11と事実2から、仮説が導かれる

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