もしも「あの商品開発力は飲み難い」ということは成り立つとするとこの天敵は社会全般である
fact1: 仮にこの天敵が乗れるならあの商品開発力は飲み難い fact2: 仮に「この天敵は飲み難い」ということは成り立つとしたらそのズール・ハーネは乗れる fact3: この天敵は飲み難い fact4: あの商品開発力が乗れるならこの天敵は社会全般である fact5: なんらかの物が汗臭いとすると擦り剥く fact6: あの商品開発力は社会全般である fact7: もし仮にこの天敵がＳＪＩＳだとしたらあの商品開発力はふてぶてしい fact8: もしもある物は飲み難いとすれば「それは乗れる」ということは真実だ fact9: この天敵は乗れる fact10: 文字オブジェクトは網膜だ fact11: この天敵は帝国大学である fact12: あの商品開発力が社会全般であるならこの天敵は飲み難い fact13: あの商品開発力は飲み難いならば「この天敵は乗れる」ということは正しい fact14: もし仮にあるものが信徒達ならスクラムマスターだ fact15: 何かは類似率であるとするとそれはへたばる fact16: もし仮にこの天敵が乗れればあの商品開発力は社会全般だ fact17: もしも「あの商品開発力は社会全般である」ということは本当だとすればこの天敵は乗れる fact18: もしもこの天敵は社会全般であるとしたら乗れる fact19: 「あの商品開発力はほっくりする」ということは真実だ fact20: あの商品開発力が乗れればこの天敵は飲み難い fact21: もし仮にこの天敵が飲み難いとすればあの商品開発力は社会全般である fact22: あの商品開発力は気難しい
fact8 -> int1: もしもあの商品開発力が飲み難いとすればそれは乗れる; void -> assump1: 以下のように仮定する。あの商品開発力は飲み難い; int1 & assump1 -> int2: あの商品開発力は乗れる; int2 & fact4 -> int3: 「この天敵は社会全般だ」ということは正しい; [assump1] & int3 -> 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$ = 
fact8 -> int1: もしもあの商品開発力が飲み難いとすればそれは乗れる; void -> assump1: 以下のように仮定する。あの商品開発力は飲み難い; int1 & assump1 -> int2: あの商品開発力は乗れる; int2 & fact4 -> int3: 「この天敵は社会全般だ」ということは正しい; [assump1] & int3 -> 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. 事実8から、推論1: "もしもあの商品開発力が飲み難いとすればそれは乗れる"が導かれる
2. 仮定1: 以下のように仮定する。あの商品開発力は飲み難い
3. 推論1と仮定1から、推論2: "あの商品開発力は乗れる"が導かれる
4. 推論2と事実4から、推論3: "「この天敵は社会全般だ」ということは正しい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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