その消防施設は気高しないか凄いということはないかあるいはどちらもだ
fact1: この難病者は確約する fact2: もしもこの一名以上が確約するしさらにそれが被るとしたらこのキャンプ用品は把握し難くない fact3: もしも「市場価格はある」ということは正しいとするとその消防施設は気高しということはないか凄くないかまたは両方ともである fact4: もし仮にこのキャンプ用品が野垂れ死ぬけど目配りしないとしたらこの防衛責任は市場価格である fact5: この一名以上は被る fact6: 把握し難くないものは野垂れ死ぬけど目配りしない fact7: この一名以上は確約する fact8: その棚卸し資産原価配分は被る
fact7 & fact5 -> int1: この一名以上は確約するし被る; int1 & fact2 -> int2: このキャンプ用品は把握し難くない; fact6 -> int3: 仮にこのキャンプ用品は把握し難くないならば野垂れ死ぬけれど目配りしない; int2 & int3 -> int4: このキャンプ用品は野垂れ死ぬ一方で目配りしない; int4 & fact4 -> int5: この防衛責任は市場価格だ; int5 -> int6: 「市場価格な」ものはある; int6 & fact3 -> hypothesis;
$facts$ = fact1: この難病者は確約する fact2: もしもこの一名以上が確約するしさらにそれが被るとしたらこのキャンプ用品は把握し難くない fact3: もしも「市場価格はある」ということは正しいとするとその消防施設は気高しということはないか凄くないかまたは両方ともである fact4: もし仮にこのキャンプ用品が野垂れ死ぬけど目配りしないとしたらこの防衛責任は市場価格である fact5: この一名以上は被る fact6: 把握し難くないものは野垂れ死ぬけど目配りしない fact7: この一名以上は確約する fact8: その棚卸し資産原価配分は被る ; $hypothesis$ = その消防施設は気高しないか凄いということはないかあるいはどちらもだ ; $proof$ = 
fact7 & fact5 -> int1: この一名以上は確約するし被る; int1 & fact2 -> int2: このキャンプ用品は把握し難くない; fact6 -> int3: 仮にこのキャンプ用品は把握し難くないならば野垂れ死ぬけれど目配りしない; int2 & int3 -> int4: このキャンプ用品は野垂れ死ぬ一方で目配りしない; int4 & fact4 -> int5: この防衛責任は市場価格だ; int5 -> int6: 「市場価格な」ものはある; int6 & fact3 -> hypothesis; __PROVED__
事実1: この難病者は確約する
事実2: もしもこの一名以上が確約するしさらにそれが被るとしたらこのキャンプ用品は把握し難くない
事実3: もしも「市場価格はある」ということは正しいとするとその消防施設は気高しということはないか凄くないかまたは両方ともである
事実4: もし仮にこのキャンプ用品が野垂れ死ぬけど目配りしないとしたらこの防衛責任は市場価格である
事実5: この一名以上は被る
事実6: 把握し難くないものは野垂れ死ぬけど目配りしない
事実7: この一名以上は確約する
事実8: その棚卸し資産原価配分は被る

仮説: その消防施設は気高しないか凄いということはないかあるいはどちらもだ
1. 事実7と事実5から、推論1: "この一名以上は確約するし被る"が導かれる
2. 推論1と事実2から、推論2: "このキャンプ用品は把握し難くない"が導かれる
3. 事実6から、推論3: "仮にこのキャンプ用品は把握し難くないならば野垂れ死ぬけれど目配りしない"が導かれる
4. 推論2と推論3から、推論4: "このキャンプ用品は野垂れ死ぬ一方で目配りしない"が導かれる
5. 推論4と事実4から、推論5: "この防衛責任は市場価格だ"が導かれる
6. 推論5から、推論6: "「市場価格な」ものはある"が導かれる
7. 推論6と事実3から、仮説が導かれる

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