このＧ興産はルポルタージュでない
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: もしなにがしかの物が危ういとすると親族法だ fact26: 仮にその練習後は乗り難くないならば「あの強化ガラスは乗り難くないしかつ日本らしくない」ということは成り立つということはない fact27: 「その練習後は取り易いしそれは乗り難い」ということは間違いである fact28: 日本らしいものが想定出来るとするとこのＧ興産はルポルタージュでない fact29: あの強化ガラスは日本らしい
fact15 -> int1: もし仮に「その練習後は取り易くないけど乗り難い」ということは間違っているとしたら危うくない; fact2 & fact19 -> int2: 「その練習後は取り易くないけれど乗り難い」ということは正しくない; int1 & int2 -> int3: その練習後は危うくない; int3 & fact12 -> int4: 「あの戦い方は危うくなくてそれは小汚くない」ということは誤りである; int4 & fact16 -> int5: あの虚血状態は親族法だ; int5 & fact7 -> int6: 「あの強化ガラスは想定出来る」ということは本当だ; int6 & fact29 -> int7: あの強化ガラスは日本らしいし更に想定出来る; int7 -> int8: なにがしかのものは日本らしいしまた想定出来る; int8 & fact28 -> hypothesis;
「このＧ興産はルポルタージュである」ということは成り立つ
fact30 -> int9: あの強化ガラスは危ういならば「親族法だ」ということは誤りでない;
$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: もしなにがしかの物が危ういとすると親族法だ fact26: 仮にその練習後は乗り難くないならば「あの強化ガラスは乗り難くないしかつ日本らしくない」ということは成り立つということはない fact27: 「その練習後は取り易いしそれは乗り難い」ということは間違いである fact28: 日本らしいものが想定出来るとするとこのＧ興産はルポルタージュでない fact29: あの強化ガラスは日本らしい ; $hypothesis$ = このＧ興産はルポルタージュでない ; $proof$ = 
fact15 -> int1: もし仮に「その練習後は取り易くないけど乗り難い」ということは間違っているとしたら危うくない; fact2 & fact19 -> int2: 「その練習後は取り易くないけれど乗り難い」ということは正しくない; int1 & int2 -> int3: その練習後は危うくない; int3 & fact12 -> int4: 「あの戦い方は危うくなくてそれは小汚くない」ということは誤りである; int4 & fact16 -> int5: あの虚血状態は親族法だ; int5 & fact7 -> int6: 「あの強化ガラスは想定出来る」ということは本当だ; int6 & fact29 -> int7: あの強化ガラスは日本らしいし更に想定出来る; int7 -> int8: なにがしかのものは日本らしいしまた想定出来る; int8 & fact28 -> 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: もしあの戦い方がルポルタージュであるとしたらこのＧ興産はルポルタージュだ
事実24: 取り易い物は危ういということはない
事実25: もしなにがしかの物が危ういとすると親族法だ
事実26: 仮にその練習後は乗り難くないならば「あの強化ガラスは乗り難くないしかつ日本らしくない」ということは成り立つということはない
事実27: 「その練習後は取り易いしそれは乗り難い」ということは間違いである
事実28: 日本らしいものが想定出来るとするとこのＧ興産はルポルタージュでない
事実29: あの強化ガラスは日本らしい

仮説: このＧ興産はルポルタージュでない
1. 事実15から、推論1: "もし仮に「その練習後は取り易くないけど乗り難い」ということは間違っているとしたら危うくない"が導かれる
2. 事実2と事実19から、推論2: "「その練習後は取り易くないけれど乗り難い」ということは正しくない"が導かれる
3. 推論1と推論2から、推論3: "その練習後は危うくない"が導かれる
4. 推論3と事実12から、推論4: "「あの戦い方は危うくなくてそれは小汚くない」ということは誤りである"が導かれる
5. 推論4と事実16から、推論5: "あの虚血状態は親族法だ"が導かれる
6. 推論5と事実7から、推論6: "「あの強化ガラスは想定出来る」ということは本当だ"が導かれる
7. 推論6と事実29から、推論7: "あの強化ガラスは日本らしいし更に想定出来る"が導かれる
8. 推論7から、推論8: "なにがしかのものは日本らしいしまた想定出来る"が導かれる
9. 推論8と事実28から、仮説が導かれる

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