「あのデイケア施設は生温いかまたは寒しない」ということは誤りである
fact1: あの設定登録は計算するかまたは生き難い fact2: 生き難くないものは展開表示する fact3: あの設定登録は敷く fact4: あの設定登録はＳＡＮだ fact5: あのマイナーは敷く fact6: もしあの設定登録は御高くないなら「人口規模である」ということは成り立つ fact7: もし仮にこの市場機会情報が生き難いということはないとするとあのデイケア施設は生温いかもしくは寒しない fact8: もし仮にあの設定登録が人口規模だしかつＳＡＮだとするとこの市場機会情報は生き難くない fact9: あの設定登録は狙い易い fact10: もしも「あの設定登録が敷くしその上狙い易い」ということは確かだとしたらそれは御高くない
fact3 & fact9 -> int1: あの設定登録は敷くし狙い易い; int1 & fact10 -> int2: あの設定登録は御高くない; int2 & fact6 -> int3: 「あの設定登録は人口規模である」ということは成り立つ; int3 & fact4 -> int4: あの設定登録が人口規模だし更にＳＡＮだ; int4 & fact8 -> int5: この市場機会情報は生き難くない; int5 & fact7 -> hypothesis;
もしあの防災的視点が生き難いということはないとすると展開表示する
fact11 -> hypothesis;
$facts$ = fact1: あの設定登録は計算するかまたは生き難い fact2: 生き難くないものは展開表示する fact3: あの設定登録は敷く fact4: あの設定登録はＳＡＮだ fact5: あのマイナーは敷く fact6: もしあの設定登録は御高くないなら「人口規模である」ということは成り立つ fact7: もし仮にこの市場機会情報が生き難いということはないとするとあのデイケア施設は生温いかもしくは寒しない fact8: もし仮にあの設定登録が人口規模だしかつＳＡＮだとするとこの市場機会情報は生き難くない fact9: あの設定登録は狙い易い fact10: もしも「あの設定登録が敷くしその上狙い易い」ということは確かだとしたらそれは御高くない ; $hypothesis$ = 「あのデイケア施設は生温いかまたは寒しない」ということは誤りである ; $proof$ = 
fact3 & fact9 -> int1: あの設定登録は敷くし狙い易い; int1 & fact10 -> int2: あの設定登録は御高くない; int2 & fact6 -> int3: 「あの設定登録は人口規模である」ということは成り立つ; int3 & fact4 -> int4: あの設定登録が人口規模だし更にＳＡＮだ; int4 & fact8 -> int5: この市場機会情報は生き難くない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: あの設定登録は計算するかまたは生き難い
事実2: 生き難くないものは展開表示する
事実3: あの設定登録は敷く
事実4: あの設定登録はＳＡＮだ
事実5: あのマイナーは敷く
事実6: もしあの設定登録は御高くないなら「人口規模である」ということは成り立つ
事実7: もし仮にこの市場機会情報が生き難いということはないとするとあのデイケア施設は生温いかもしくは寒しない
事実8: もし仮にあの設定登録が人口規模だしかつＳＡＮだとするとこの市場機会情報は生き難くない
事実9: あの設定登録は狙い易い
事実10: もしも「あの設定登録が敷くしその上狙い易い」ということは確かだとしたらそれは御高くない

仮説: 「あのデイケア施設は生温いかまたは寒しない」ということは誤りである
1. 事実3と事実9から、推論1: "あの設定登録は敷くし狙い易い"が導かれる
2. 推論1と事実10から、推論2: "あの設定登録は御高くない"が導かれる
3. 推論2と事実6から、推論3: "「あの設定登録は人口規模である」ということは成り立つ"が導かれる
4. 推論3と事実4から、推論4: "あの設定登録が人口規模だし更にＳＡＮだ"が導かれる
5. 推論4と事実8から、推論5: "この市場機会情報は生き難くない"が導かれる
6. 推論5と事実7から、仮説が否定される

よって、仮説が否定されました。