そのＢ六判はドラマ化するけれど言い辛くない
fact1: 「あのギリシャ語は生むけれど攻め込まない」ということは誤りならばあの友誼的和合調整人は運動靴だということはない fact2: もし仮になにがしかのものが運動靴だということはないならばそれはしつこいということはない fact3: もしも「ある物はドラマ化するか発たない」ということは成り立つならばあのレスキュー実験はドラマ化する fact4: もしもこのレスキュー実験が練習するとすればあのキューバ人は犯し易くないがしかしたどたどしい fact5: もし仮にこのレスキュー実験がドラマ化しないかまたは犯し易いということはないかあるいは両方であるとすると犯し易くない fact6: 仮に「この血圧測定は犯し易いし加えてたどたどしい」ということは誤りなら「そのＢ六判は言い辛くない」ということは確かだ fact7: あのキューバ人は自動取得であるかたどたどしくないかもしくは両方ともである fact8: もしもあの不完全世代が訝しむけど白々しいということはないとすれば「それは進級しない」ということは本当である fact9: あのキューバ人は当て付けがましい fact10: もし仮になにかは当て付けがましいとしたら「それはドラマ化するし言い辛くない」ということは嘘である fact11: 何もかもは練習しない fact12: もし仮になにかは犯し易くないとすればそれは当て付けがましいし小気味良い fact13: あの不完全世代は訝しむけれどそれは白々しかない fact14: もしもあのキューバ人は当て付けがましいならば「このレスキュー実験は発つ一方でそれは参陣しない」ということは本当でない fact15: もし「あの不完全世代は進級しない」ということは事実であるならあのギリシャ語は慌ただしくないがそれは緩効性肥料だ fact16: 仮になにがしかの物は有り難しないなら「それは生むししかもそれは攻め込まない」ということは嘘である fact17: もしこの血圧測定がに対して見ないとすればこのレスキュー実験は練習するし現われ易い fact18: 仮にあのキューバ人が犯し易くないけれどそれがたどたどしいとすればあのＢ六判は犯し易いということはない fact19: 「なにがしかの物はドラマ化するかまたはそれは練習しないかどちらもだ」ということは本当であるとするとそのＢ六判はドラマ化する fact20: このレスキュー実験はドラマ化しないかあるいはそれは犯し易くないかあるいは両方である fact21: 仮に「このレスキュー実験は発つけれどそれは参陣しない」ということは成り立たないとしたらこの血圧測定は小気味良くない fact22: あのギリシャ語は慌ただしくないけど緩効性肥料ならば有り難しということはない fact23: 何かは小気味良くないとしたら「犯し易いしさらにそれはたどたどしい」ということは間違っている
fact14 & fact9 -> int1: 「このレスキュー実験は発つ一方で参陣するということはない」ということは事実と異なる; int1 & fact21 -> int2: 「この血圧測定は小気味良くない」ということは成り立つ; fact23 -> int3: この血圧測定は小気味良いということはないならば「犯し易いし加えてたどたどしい」ということは成り立たない; int2 & int3 -> int4: 「この血圧測定は犯し易くてさらにたどたどしい」ということは成り立たない; int4 & fact6 -> int5: そのＢ六判は言い辛いということはない; fact11 -> int6: あの友誼的和合調整人は練習しない; int6 -> int7: あの友誼的和合調整人はドラマ化するかまたはそれは練習しない; int7 -> int8: なんらかのものはドラマ化するか練習しない; int8 & fact19 -> int9: そのＢ六判はドラマ化する; int5 & int9 -> hypothesis;
「この血圧測定は当て付けがましいし攻め込む」ということは間違っている
fact24 & fact25 -> 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: 何かは小気味良くないとしたら「犯し易いしさらにそれはたどたどしい」ということは間違っている ; $hypothesis$ = そのＢ六判はドラマ化するけれど言い辛くない ; $proof$ = 
fact14 & fact9 -> int1: 「このレスキュー実験は発つ一方で参陣するということはない」ということは事実と異なる; int1 & fact21 -> int2: 「この血圧測定は小気味良くない」ということは成り立つ; fact23 -> int3: この血圧測定は小気味良いということはないならば「犯し易いし加えてたどたどしい」ということは成り立たない; int2 & int3 -> int4: 「この血圧測定は犯し易くてさらにたどたどしい」ということは成り立たない; int4 & fact6 -> int5: そのＢ六判は言い辛いということはない; fact11 -> int6: あの友誼的和合調整人は練習しない; int6 -> int7: あの友誼的和合調整人はドラマ化するかまたはそれは練習しない; int7 -> int8: なんらかのものはドラマ化するか練習しない; int8 & fact19 -> int9: そのＢ六判はドラマ化する; int5 & int9 -> hypothesis; __PROVED__
事実1: 「あのギリシャ語は生むけれど攻め込まない」ということは誤りならばあの友誼的和合調整人は運動靴だということはない
事実2: もし仮になにがしかのものが運動靴だということはないならばそれはしつこいということはない
事実3: もしも「ある物はドラマ化するか発たない」ということは成り立つならばあのレスキュー実験はドラマ化する
事実4: もしもこのレスキュー実験が練習するとすればあのキューバ人は犯し易くないがしかしたどたどしい
事実5: もし仮にこのレスキュー実験がドラマ化しないかまたは犯し易いということはないかあるいは両方であるとすると犯し易くない
事実6: 仮に「この血圧測定は犯し易いし加えてたどたどしい」ということは誤りなら「そのＢ六判は言い辛くない」ということは確かだ
事実7: あのキューバ人は自動取得であるかたどたどしくないかもしくは両方ともである
事実8: もしもあの不完全世代が訝しむけど白々しいということはないとすれば「それは進級しない」ということは本当である
事実9: あのキューバ人は当て付けがましい
事実10: もし仮になにかは当て付けがましいとしたら「それはドラマ化するし言い辛くない」ということは嘘である
事実11: 何もかもは練習しない
事実12: もし仮になにかは犯し易くないとすればそれは当て付けがましいし小気味良い
事実13: あの不完全世代は訝しむけれどそれは白々しかない
事実14: もしもあのキューバ人は当て付けがましいならば「このレスキュー実験は発つ一方でそれは参陣しない」ということは本当でない
事実15: もし「あの不完全世代は進級しない」ということは事実であるならあのギリシャ語は慌ただしくないがそれは緩効性肥料だ
事実16: 仮になにがしかの物は有り難しないなら「それは生むししかもそれは攻め込まない」ということは嘘である
事実17: もしこの血圧測定がに対して見ないとすればこのレスキュー実験は練習するし現われ易い
事実18: 仮にあのキューバ人が犯し易くないけれどそれがたどたどしいとすればあのＢ六判は犯し易いということはない
事実19: 「なにがしかの物はドラマ化するかまたはそれは練習しないかどちらもだ」ということは本当であるとするとそのＢ六判はドラマ化する
事実20: このレスキュー実験はドラマ化しないかあるいはそれは犯し易くないかあるいは両方である
事実21: 仮に「このレスキュー実験は発つけれどそれは参陣しない」ということは成り立たないとしたらこの血圧測定は小気味良くない
事実22: あのギリシャ語は慌ただしくないけど緩効性肥料ならば有り難しということはない
事実23: 何かは小気味良くないとしたら「犯し易いしさらにそれはたどたどしい」ということは間違っている

仮説: そのＢ六判はドラマ化するけれど言い辛くない
1. 事実14と事実9から、推論1: "「このレスキュー実験は発つ一方で参陣するということはない」ということは事実と異なる"が導かれる
2. 推論1と事実21から、推論2: "「この血圧測定は小気味良くない」ということは成り立つ"が導かれる
3. 事実23から、推論3: "この血圧測定は小気味良いということはないならば「犯し易いし加えてたどたどしい」ということは成り立たない"が導かれる
4. 推論2と推論3から、推論4: "「この血圧測定は犯し易くてさらにたどたどしい」ということは成り立たない"が導かれる
5. 推論4と事実6から、推論5: "そのＢ六判は言い辛いということはない"が導かれる
6. 事実11から、推論6: "あの友誼的和合調整人は練習しない"が導かれる
7. 推論6から、推論7: "あの友誼的和合調整人はドラマ化するかまたはそれは練習しない"が導かれる
8. 推論7から、推論8: "なんらかのものはドラマ化するか練習しない"が導かれる
9. 推論8と事実19から、推論9: "そのＢ六判はドラマ化する"が導かれる
10. 推論5と推論9から、仮説が導かれる

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