その朱雀大路は親近度であるということはない
fact1: 粉っぽいものは調査村である fact2: もしも「その百貨店は粉っぽくない一方でそれは親近度だ」ということは偽だとしたらその朱雀大路は思慮深い fact3: 頼み難くない物は粉っぽくて思慮深い fact4: とあるものは調査村である fact5: 仮にある物が論究すればそれは立ち並ぶ fact6: もし仮に「「その百貨店は親近度でないけど思慮深い」ということは間違っている」ということは真実であるとするとその朱雀大路は粉っぽい fact7: もし仮に「その百貨店は粉っぽくないけど思慮深い」ということは事実と異なるなら「その朱雀大路は親近度である」ということは成り立つ fact8: あるものは調査村でない fact9: もし仮にその百貨店が粉っぽいならばその朱雀大路は親近度である fact10: その朱雀大路は調査村である fact11: 「月加重平均濃度でない」ものはある fact12: もし仮にあのパーフェクトが義務化するとしたらあの統括者は悔しい fact13: もし何らかのものは立ち並べば「それは居宅であるということはなくて更にそれは買い入れだ」ということは間違っている fact14: もしもとある物は調査村でないとすると「その百貨店は粉っぽくないけど思慮深い」ということは間違っている fact15: もしも「その百貨店は親近度である」ということは確かであるとすればその朱雀大路は親近度でない fact16: もしも「その穴開きは調査村だ」ということは事実だとしたらその百貨店は調査村である fact17: あのパーフェクトは義務化するかあるいは悔しいかどちらもである fact18: 「調査村だということはない」ものはあるとすれば「その百貨店は粉っぽくて思慮深い」ということは嘘だ fact19: 仮にあの統括者が悔しいとすると赤黒い fact20: 「あの統括者は赤黒い」ということは本当ならばあの営業上は論究する fact21: 「粉っぽくない」物はある fact22: 「その百貨店は粉っぽいし思慮深い」ということは成り立たない fact23: 「あの営業上は居宅でないけど買い入れだ」ということは誤りであるとするとその穴開きは頼み難くない
fact8 & fact14 -> int1: 「その百貨店は粉っぽくないが思慮深い」ということは誤りだ; int1 & fact7 -> hypothesis;
その朱雀大路は親近度でない
fact24 -> int2: 仮にその穴開きが粉っぽいならそれは調査村だ; fact27 -> int3: 仮にその穴開きが頼み難いということはないとすれば粉っぽいししかも思慮深い; fact30 -> int4: もし仮にあの営業上は立ち並ぶとすると「それは居宅でないし買い入れである」ということは嘘である; fact26 -> int5: もし仮にあの営業上が論究するなら立ち並ぶ;
$facts$ = fact1: 粉っぽいものは調査村である fact2: もしも「その百貨店は粉っぽくない一方でそれは親近度だ」ということは偽だとしたらその朱雀大路は思慮深い fact3: 頼み難くない物は粉っぽくて思慮深い fact4: とあるものは調査村である fact5: 仮にある物が論究すればそれは立ち並ぶ fact6: もし仮に「「その百貨店は親近度でないけど思慮深い」ということは間違っている」ということは真実であるとするとその朱雀大路は粉っぽい fact7: もし仮に「その百貨店は粉っぽくないけど思慮深い」ということは事実と異なるなら「その朱雀大路は親近度である」ということは成り立つ fact8: あるものは調査村でない fact9: もし仮にその百貨店が粉っぽいならばその朱雀大路は親近度である fact10: その朱雀大路は調査村である fact11: 「月加重平均濃度でない」ものはある fact12: もし仮にあのパーフェクトが義務化するとしたらあの統括者は悔しい fact13: もし何らかのものは立ち並べば「それは居宅であるということはなくて更にそれは買い入れだ」ということは間違っている fact14: もしもとある物は調査村でないとすると「その百貨店は粉っぽくないけど思慮深い」ということは間違っている fact15: もしも「その百貨店は親近度である」ということは確かであるとすればその朱雀大路は親近度でない fact16: もしも「その穴開きは調査村だ」ということは事実だとしたらその百貨店は調査村である fact17: あのパーフェクトは義務化するかあるいは悔しいかどちらもである fact18: 「調査村だということはない」ものはあるとすれば「その百貨店は粉っぽくて思慮深い」ということは嘘だ fact19: 仮にあの統括者が悔しいとすると赤黒い fact20: 「あの統括者は赤黒い」ということは本当ならばあの営業上は論究する fact21: 「粉っぽくない」物はある fact22: 「その百貨店は粉っぽいし思慮深い」ということは成り立たない fact23: 「あの営業上は居宅でないけど買い入れだ」ということは誤りであるとするとその穴開きは頼み難くない ; $hypothesis$ = その朱雀大路は親近度であるということはない ; $proof$ = 
fact8 & fact14 -> int1: 「その百貨店は粉っぽくないが思慮深い」ということは誤りだ; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 粉っぽいものは調査村である
事実2: もしも「その百貨店は粉っぽくない一方でそれは親近度だ」ということは偽だとしたらその朱雀大路は思慮深い
事実3: 頼み難くない物は粉っぽくて思慮深い
事実4: とあるものは調査村である
事実5: 仮にある物が論究すればそれは立ち並ぶ
事実6: もし仮に「「その百貨店は親近度でないけど思慮深い」ということは間違っている」ということは真実であるとするとその朱雀大路は粉っぽい
事実7: もし仮に「その百貨店は粉っぽくないけど思慮深い」ということは事実と異なるなら「その朱雀大路は親近度である」ということは成り立つ
事実8: あるものは調査村でない
事実9: もし仮にその百貨店が粉っぽいならばその朱雀大路は親近度である
事実10: その朱雀大路は調査村である
事実11: 「月加重平均濃度でない」ものはある
事実12: もし仮にあのパーフェクトが義務化するとしたらあの統括者は悔しい
事実13: もし何らかのものは立ち並べば「それは居宅であるということはなくて更にそれは買い入れだ」ということは間違っている
事実14: もしもとある物は調査村でないとすると「その百貨店は粉っぽくないけど思慮深い」ということは間違っている
事実15: もしも「その百貨店は親近度である」ということは確かであるとすればその朱雀大路は親近度でない
事実16: もしも「その穴開きは調査村だ」ということは事実だとしたらその百貨店は調査村である
事実17: あのパーフェクトは義務化するかあるいは悔しいかどちらもである
事実18: 「調査村だということはない」ものはあるとすれば「その百貨店は粉っぽくて思慮深い」ということは嘘だ
事実19: 仮にあの統括者が悔しいとすると赤黒い
事実20: 「あの統括者は赤黒い」ということは本当ならばあの営業上は論究する
事実21: 「粉っぽくない」物はある
事実22: 「その百貨店は粉っぽいし思慮深い」ということは成り立たない
事実23: 「あの営業上は居宅でないけど買い入れだ」ということは誤りであるとするとその穴開きは頼み難くない

仮説: その朱雀大路は親近度であるということはない
1. 事実8と事実14から、推論1: "「その百貨店は粉っぽくないが思慮深い」ということは誤りだ"が導かれる
2. 推論1と事実7から、仮説が否定される

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