このハザードはキャンプ用品でない
fact1: もし仮になんらかの物が案じないとすればキャンプ用品だし引き難い fact2: このハザードは絶える fact3: 仮にその世事が地産地消なら壊滅状態であるしそれは平ったくない fact4: あの要支援認定は案じる fact5: もしあの要支援認定が絶えるとするとこのハザードはキャンプ用品でない fact6: このハザードは引き難いかもしくはキャンプ用品である fact7: あの要支援認定は引き難くて案じる fact8: あの要支援認定はキャンプ用品であるということはない fact9: あの要支援認定が壊滅状態でないとしたらこのハザードは絶えるがしかし案じない fact10: もしもあの要支援認定が引き難いかもしくは絶えるならこのハザードはキャンプ用品だということはない fact11: その世事が壊滅状態だが平ったくないとすればあの要支援認定は壊滅状態でない
fact7 -> int1: あの要支援認定は引き難い; int1 -> int2: 「あの要支援認定は引き難いかまたはそれは絶える」ということは本当だ; int2 & fact10 -> hypothesis;
このハザードはキャンプ用品である
fact13 -> int3: もしもこのハザードが案じないならばキャンプ用品であるし加えて引き難い;
$facts$ = fact1: もし仮になんらかの物が案じないとすればキャンプ用品だし引き難い fact2: このハザードは絶える fact3: 仮にその世事が地産地消なら壊滅状態であるしそれは平ったくない fact4: あの要支援認定は案じる fact5: もしあの要支援認定が絶えるとするとこのハザードはキャンプ用品でない fact6: このハザードは引き難いかもしくはキャンプ用品である fact7: あの要支援認定は引き難くて案じる fact8: あの要支援認定はキャンプ用品であるということはない fact9: あの要支援認定が壊滅状態でないとしたらこのハザードは絶えるがしかし案じない fact10: もしもあの要支援認定が引き難いかもしくは絶えるならこのハザードはキャンプ用品だということはない fact11: その世事が壊滅状態だが平ったくないとすればあの要支援認定は壊滅状態でない ; $hypothesis$ = このハザードはキャンプ用品でない ; $proof$ = 
fact7 -> int1: あの要支援認定は引き難い; int1 -> int2: 「あの要支援認定は引き難いかまたはそれは絶える」ということは本当だ; int2 & fact10 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が案じないとすればキャンプ用品だし引き難い
事実2: このハザードは絶える
事実3: 仮にその世事が地産地消なら壊滅状態であるしそれは平ったくない
事実4: あの要支援認定は案じる
事実5: もしあの要支援認定が絶えるとするとこのハザードはキャンプ用品でない
事実6: このハザードは引き難いかもしくはキャンプ用品である
事実7: あの要支援認定は引き難くて案じる
事実8: あの要支援認定はキャンプ用品であるということはない
事実9: あの要支援認定が壊滅状態でないとしたらこのハザードは絶えるがしかし案じない
事実10: もしもあの要支援認定が引き難いかもしくは絶えるならこのハザードはキャンプ用品だということはない
事実11: その世事が壊滅状態だが平ったくないとすればあの要支援認定は壊滅状態でない

仮説: このハザードはキャンプ用品でない
1. 事実7から、推論1: "あの要支援認定は引き難い"が導かれる
2. 推論1から、推論2: "「あの要支援認定は引き難いかまたはそれは絶える」ということは本当だ"が導かれる
3. 推論2と事実10から、仮説が導かれる

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