あの出陣は確定し得ない
fact1: 「もしなんらかの物が凄いならそれは羽ばたけない」ということは本当だ fact2: 「あの演習地は御読みするし冷たい」ということは事実と異なる fact3: もしあの演習地は羽ばたけないならば「それは壊れ易いし冷たい」ということは確かだ fact4: 「あの出陣は経営イノベーションであるがびくつかない」ということは本当でない fact5: もしもとある物がびくつくならそれは凄い fact6: 加工し易いものは気付き易くない fact7: もしも「何らかの物は経営イノベーションであるけれどびくつくということはない」ということは嘘ならばそれは凄い fact8: 仮にあの演習地が冷たいとすればあの出陣は壊れ易い fact9: 仮に「なんらかのものはθＥであるが当選出来ない」ということは成り立たないとしたら「それは冷たい」ということは成り立つ fact10: 仮にその材料移転契約は御読みするとすれば「あの演習地は御読みするが冷たくない」ということは間違っている fact11: 「「親し」ということは確かである」ものはある fact12: 「あの演習地は御読みするけどそれは冷たくない」ということは成り立たないとしたらあの出陣は壊れ易い fact13: 仮にあるものが壊れ易いけれどそれが羽ばたけないならそれは確定し得る fact14: あの演習地は昔であるけれど確定し得ない fact15: 「あの出陣は経営イノベーションであるしびくつく」ということは誤っている fact16: もし仮に「親し」物があるならその材料移転契約は御読みする fact17: なんらかのものは御読みするか確定し得るということはないか両方ともなら確定し得るということはない fact18: もしもその材料移転契約が親しということはないとしたらあの出陣は御読みするかまたはそれは確定し得ない
fact11 & fact16 -> int1: その材料移転契約は御読みする; int1 & fact10 -> int2: 「あの演習地は御読みするがそれは冷たくない」ということは成り立たない; int2 & fact12 -> int3: あの出陣は壊れ易い; fact7 -> int4: もしも「あの出陣は経営イノベーションだけどびくつくということはない」ということは誤りであるとすると凄い; fact4 & int4 -> int5: あの出陣は凄い; fact1 -> int6: あの出陣が凄いならそれは羽ばたけない; int5 & int6 -> int7: あの出陣は羽ばたけない; int3 & int7 -> int8: あの出陣は壊れ易いけど羽ばたけない; fact13 -> int9: もしあの出陣が壊れ易いけど羽ばたけるということはないとするとそれは確定し得る; int8 & int9 -> hypothesis;
「あの出陣は確定し得ない」ということは成り立つ
fact19 -> int10: もしもあの出陣が御読みするかまたはそれは確定し得ないとすれば確定し得ない;
$facts$ = fact1: 「もしなんらかの物が凄いならそれは羽ばたけない」ということは本当だ fact2: 「あの演習地は御読みするし冷たい」ということは事実と異なる fact3: もしあの演習地は羽ばたけないならば「それは壊れ易いし冷たい」ということは確かだ fact4: 「あの出陣は経営イノベーションであるがびくつかない」ということは本当でない fact5: もしもとある物がびくつくならそれは凄い fact6: 加工し易いものは気付き易くない fact7: もしも「何らかの物は経営イノベーションであるけれどびくつくということはない」ということは嘘ならばそれは凄い fact8: 仮にあの演習地が冷たいとすればあの出陣は壊れ易い fact9: 仮に「なんらかのものはθＥであるが当選出来ない」ということは成り立たないとしたら「それは冷たい」ということは成り立つ fact10: 仮にその材料移転契約は御読みするとすれば「あの演習地は御読みするが冷たくない」ということは間違っている fact11: 「「親し」ということは確かである」ものはある fact12: 「あの演習地は御読みするけどそれは冷たくない」ということは成り立たないとしたらあの出陣は壊れ易い fact13: 仮にあるものが壊れ易いけれどそれが羽ばたけないならそれは確定し得る fact14: あの演習地は昔であるけれど確定し得ない fact15: 「あの出陣は経営イノベーションであるしびくつく」ということは誤っている fact16: もし仮に「親し」物があるならその材料移転契約は御読みする fact17: なんらかのものは御読みするか確定し得るということはないか両方ともなら確定し得るということはない fact18: もしもその材料移転契約が親しということはないとしたらあの出陣は御読みするかまたはそれは確定し得ない ; $hypothesis$ = あの出陣は確定し得ない ; $proof$ = 
fact11 & fact16 -> int1: その材料移転契約は御読みする; int1 & fact10 -> int2: 「あの演習地は御読みするがそれは冷たくない」ということは成り立たない; int2 & fact12 -> int3: あの出陣は壊れ易い; fact7 -> int4: もしも「あの出陣は経営イノベーションだけどびくつくということはない」ということは誤りであるとすると凄い; fact4 & int4 -> int5: あの出陣は凄い; fact1 -> int6: あの出陣が凄いならそれは羽ばたけない; int5 & int6 -> int7: あの出陣は羽ばたけない; int3 & int7 -> int8: あの出陣は壊れ易いけど羽ばたけない; fact13 -> int9: もしあの出陣が壊れ易いけど羽ばたけるということはないとするとそれは確定し得る; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 「もしなんらかの物が凄いならそれは羽ばたけない」ということは本当だ
事実2: 「あの演習地は御読みするし冷たい」ということは事実と異なる
事実3: もしあの演習地は羽ばたけないならば「それは壊れ易いし冷たい」ということは確かだ
事実4: 「あの出陣は経営イノベーションであるがびくつかない」ということは本当でない
事実5: もしもとある物がびくつくならそれは凄い
事実6: 加工し易いものは気付き易くない
事実7: もしも「何らかの物は経営イノベーションであるけれどびくつくということはない」ということは嘘ならばそれは凄い
事実8: 仮にあの演習地が冷たいとすればあの出陣は壊れ易い
事実9: 仮に「なんらかのものはθＥであるが当選出来ない」ということは成り立たないとしたら「それは冷たい」ということは成り立つ
事実10: 仮にその材料移転契約は御読みするとすれば「あの演習地は御読みするが冷たくない」ということは間違っている
事実11: 「「親し」ということは確かである」ものはある
事実12: 「あの演習地は御読みするけどそれは冷たくない」ということは成り立たないとしたらあの出陣は壊れ易い
事実13: 仮にあるものが壊れ易いけれどそれが羽ばたけないならそれは確定し得る
事実14: あの演習地は昔であるけれど確定し得ない
事実15: 「あの出陣は経営イノベーションであるしびくつく」ということは誤っている
事実16: もし仮に「親し」物があるならその材料移転契約は御読みする
事実17: なんらかのものは御読みするか確定し得るということはないか両方ともなら確定し得るということはない
事実18: もしもその材料移転契約が親しということはないとしたらあの出陣は御読みするかまたはそれは確定し得ない

仮説: あの出陣は確定し得ない
1. 事実11と事実16から、推論1: "その材料移転契約は御読みする"が導かれる
2. 推論1と事実10から、推論2: "「あの演習地は御読みするがそれは冷たくない」ということは成り立たない"が導かれる
3. 推論2と事実12から、推論3: "あの出陣は壊れ易い"が導かれる
4. 事実7から、推論4: "もしも「あの出陣は経営イノベーションだけどびくつくということはない」ということは誤りであるとすると凄い"が導かれる
5. 事実4と推論4から、推論5: "あの出陣は凄い"が導かれる
6. 事実1から、推論6: "あの出陣が凄いならそれは羽ばたけない"が導かれる
7. 推論5と推論6から、推論7: "あの出陣は羽ばたけない"が導かれる
8. 推論3と推論7から、推論8: "あの出陣は壊れ易いけど羽ばたけない"が導かれる
9. 事実13から、推論9: "もしあの出陣が壊れ易いけど羽ばたけるということはないとするとそれは確定し得る"が導かれる
10. 推論8と推論9から、仮説が否定される

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