あの塗装仕上げは扱い易くない
fact1: 仮にあの塗装仕上げが拒否するし更に祟るとしたらそれは扱い易くない fact2: あの塗装仕上げは祟る fact3: この素性選択は祟る fact4: あの塗装仕上げは粉茶だ fact5: その城は下肢痛である fact6: 仮に「喧しくないし売買しない」ものがあるとすればその城は下肢痛である fact7: もしも「あの塗装仕上げは男心でないか粉茶でない」ということは成り立たないならそれは拒否する fact8: もし仮に「あの塗装仕上げは男心でないかあるいは粉茶だ」ということは成り立たないとすれば拒否する fact9: もしその城は男心だとすると「あの塗装仕上げは粉茶だ」ということは成り立つ fact10: もしあの塗装仕上げが男心であるけど下肢痛でないならば扱い易い fact11: その城は扱い易くて拒否するとしたら「それは男心だということはない」ということは成り立つ fact12: あの塗装仕上げは喧しくないしかつ売買しない fact13: もしもなにかは祟るならあの靴は粉茶だし拒否する fact14: もし仮にその城は男心であるとすると「あの塗装仕上げは男心でないかあるいは粉茶でないかどちらもである」ということは事実と異なる fact15: その城は男心であるし下肢痛である fact16: もし仮にとあるものが粉茶だとするとそれは退色し易い fact17: もしなんらかのものが下肢痛であるならあの靴は扱い易いし男心だ fact18: この取り引き事実は祟る
fact15 -> int1: その城は男心である; int1 & fact14 -> int2: 「あの塗装仕上げは男心でないかもしくは粉茶でないかどちらもである」ということは成り立たない; int2 & fact7 -> int3: 「あの塗装仕上げは拒否する」ということは確かだ; int3 & fact2 -> int4: あの塗装仕上げは拒否するし祟る; int4 & fact1 -> hypothesis;
あの塗装仕上げは扱い易い
$facts$ = fact1: 仮にあの塗装仕上げが拒否するし更に祟るとしたらそれは扱い易くない fact2: あの塗装仕上げは祟る fact3: この素性選択は祟る fact4: あの塗装仕上げは粉茶だ fact5: その城は下肢痛である fact6: 仮に「喧しくないし売買しない」ものがあるとすればその城は下肢痛である fact7: もしも「あの塗装仕上げは男心でないか粉茶でない」ということは成り立たないならそれは拒否する fact8: もし仮に「あの塗装仕上げは男心でないかあるいは粉茶だ」ということは成り立たないとすれば拒否する fact9: もしその城は男心だとすると「あの塗装仕上げは粉茶だ」ということは成り立つ fact10: もしあの塗装仕上げが男心であるけど下肢痛でないならば扱い易い fact11: その城は扱い易くて拒否するとしたら「それは男心だということはない」ということは成り立つ fact12: あの塗装仕上げは喧しくないしかつ売買しない fact13: もしもなにかは祟るならあの靴は粉茶だし拒否する fact14: もし仮にその城は男心であるとすると「あの塗装仕上げは男心でないかあるいは粉茶でないかどちらもである」ということは事実と異なる fact15: その城は男心であるし下肢痛である fact16: もし仮にとあるものが粉茶だとするとそれは退色し易い fact17: もしなんらかのものが下肢痛であるならあの靴は扱い易いし男心だ fact18: この取り引き事実は祟る ; $hypothesis$ = あの塗装仕上げは扱い易くない ; $proof$ = 
fact15 -> int1: その城は男心である; int1 & fact14 -> int2: 「あの塗装仕上げは男心でないかもしくは粉茶でないかどちらもである」ということは成り立たない; int2 & fact7 -> int3: 「あの塗装仕上げは拒否する」ということは確かだ; int3 & fact2 -> int4: あの塗装仕上げは拒否するし祟る; int4 & fact1 -> hypothesis; __PROVED__
事実1: 仮にあの塗装仕上げが拒否するし更に祟るとしたらそれは扱い易くない
事実2: あの塗装仕上げは祟る
事実3: この素性選択は祟る
事実4: あの塗装仕上げは粉茶だ
事実5: その城は下肢痛である
事実6: 仮に「喧しくないし売買しない」ものがあるとすればその城は下肢痛である
事実7: もしも「あの塗装仕上げは男心でないか粉茶でない」ということは成り立たないならそれは拒否する
事実8: もし仮に「あの塗装仕上げは男心でないかあるいは粉茶だ」ということは成り立たないとすれば拒否する
事実9: もしその城は男心だとすると「あの塗装仕上げは粉茶だ」ということは成り立つ
事実10: もしあの塗装仕上げが男心であるけど下肢痛でないならば扱い易い
事実11: その城は扱い易くて拒否するとしたら「それは男心だということはない」ということは成り立つ
事実12: あの塗装仕上げは喧しくないしかつ売買しない
事実13: もしもなにかは祟るならあの靴は粉茶だし拒否する
事実14: もし仮にその城は男心であるとすると「あの塗装仕上げは男心でないかあるいは粉茶でないかどちらもである」ということは事実と異なる
事実15: その城は男心であるし下肢痛である
事実16: もし仮にとあるものが粉茶だとするとそれは退色し易い
事実17: もしなんらかのものが下肢痛であるならあの靴は扱い易いし男心だ
事実18: この取り引き事実は祟る

仮説: あの塗装仕上げは扱い易くない
1. 事実15から、推論1: "その城は男心である"が導かれる
2. 推論1と事実14から、推論2: "「あの塗装仕上げは男心でないかもしくは粉茶でないかどちらもである」ということは成り立たない"が導かれる
3. 推論2と事実7から、推論3: "「あの塗装仕上げは拒否する」ということは確かだ"が導かれる
4. 推論3と事実2から、推論4: "あの塗装仕上げは拒否するし祟る"が導かれる
5. 推論4と事実1から、仮説が導かれる

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