あの針付けは病み衰える
fact1: 「生易しい」ものはある fact2: もしもとある物は指導書であるとすればそれは病み衰える fact3: もし「酷くてかつ生易しい」ものはあるとしたら「その過去最多は相互直通する」ということは事実だ fact4: 「異方性な」物はある fact5: もしも何らかのものが色っぽいということはないならば三味線でない fact6: もしも「何かは指導書だ」ということは成り立つとしたらその過去最多は御安くて小栗鼠である fact7: もし何らかの物は相互直通するということはないとすれば「それは異方性でないがしかし病み衰える」ということは成り立たない fact8: もしも「あの針付けは相互直通しない」ということは成り立てばあの清算中は相互直通する fact9: 「あの清算中は酷い」ということは成り立つ fact10: 仮になにがしかの物は三味線だということはないとすれば「それは褻ブラーであるし経営する」ということは事実と異なる fact11: 何かは同封致すし倒れ難い fact12: もしも「異方性な」物があるならあの清算中は酷い fact13: その渡洋爆撃は蓄積され易い fact14: 「なにかは褻ブラーでそれにそれは経営する」ということは成り立つということはないならそれは経営しない fact15: もし仮に「異方性である」物があるとしたらあの清算中は相互直通するししかも酷い fact16: もし仮にその過去最多は蓄積され易くないとすると「あの清算中は生易しい」ということは正しい fact17: 仮に「その過去最多はすんごいかもしくは右傾化する」ということは間違っているなら色っぽくない fact18: もしもその過去最多が指導書であるならあの清算中は生易しくない fact19: あの清算中は意地悪する fact20: もし仮にその過去最多が生易しくないならあの清算中は生易しい fact21: その過去最多は蓄積され易いということはないかそれは生易しくない fact22: 「相互直通する」物はある fact23: 仮になにがしかの物が経営しないなら指導書であるか蓄積され易い fact24: もし仮に「あの清算中は相互直通しない」ということは確かであるならばあの針付けは相互直通する fact25: もしも「相互直通するし生易しい」ものがあるならあの針付けは指導書だ fact26: 「その過去最多はすんごいかあるいはそれは右傾化するかどちらもである」ということは成り立たない
fact4 & fact15 -> int1: あの清算中が相互直通するしその上酷い; int1 -> int2: あの清算中は相互直通する; fact16 & fact20 & fact21 -> int3: あの清算中は生易しい; int2 & int3 -> int4: あの清算中は相互直通するしそれにそれは生易しい; int4 -> int5: 「相互直通するし生易しい」ものはある; int5 & fact25 -> int6: あの針付けは指導書だ; fact2 -> int7: あの針付けは指導書であるなら病み衰える; int6 & int7 -> hypothesis;
あの針付けは病み衰えるということはない
fact27 -> int8: もしあの清算中は相互直通しないとすれば「それは異方性であるということはなくてそれは病み衰える」ということは成り立たない; fact33 -> int9: その過去最多が経営するということはないならばそれは指導書であるかそれは蓄積され易いかあるいは両方だ; fact30 -> int10: もし「その過去最多は褻ブラーで経営する」ということは偽であるならば経営しない; fact34 -> int11: もしその過去最多は三味線でないとすると「それは褻ブラーであるし更に経営する」ということは間違いだ; fact32 -> int12: もし「その過去最多は色っぽくない」ということは成り立てば三味線でない; fact31 & fact28 -> int13: その過去最多は色っぽくない; int12 & int13 -> int14: その過去最多は三味線だということはない; int11 & int14 -> int15: 「その過去最多は褻ブラーであるし加えて経営する」ということは成り立たない; int10 & int15 -> int16: その過去最多は経営しない; int9 & int16 -> int17: その過去最多は指導書であるかもしくはそれは蓄積され易い;
$facts$ = fact1: 「生易しい」ものはある fact2: もしもとある物は指導書であるとすればそれは病み衰える fact3: もし「酷くてかつ生易しい」ものはあるとしたら「その過去最多は相互直通する」ということは事実だ fact4: 「異方性な」物はある fact5: もしも何らかのものが色っぽいということはないならば三味線でない fact6: もしも「何かは指導書だ」ということは成り立つとしたらその過去最多は御安くて小栗鼠である fact7: もし何らかの物は相互直通するということはないとすれば「それは異方性でないがしかし病み衰える」ということは成り立たない fact8: もしも「あの針付けは相互直通しない」ということは成り立てばあの清算中は相互直通する fact9: 「あの清算中は酷い」ということは成り立つ fact10: 仮になにがしかの物は三味線だということはないとすれば「それは褻ブラーであるし経営する」ということは事実と異なる fact11: 何かは同封致すし倒れ難い fact12: もしも「異方性な」物があるならあの清算中は酷い fact13: その渡洋爆撃は蓄積され易い fact14: 「なにかは褻ブラーでそれにそれは経営する」ということは成り立つということはないならそれは経営しない fact15: もし仮に「異方性である」物があるとしたらあの清算中は相互直通するししかも酷い fact16: もし仮にその過去最多は蓄積され易くないとすると「あの清算中は生易しい」ということは正しい fact17: 仮に「その過去最多はすんごいかもしくは右傾化する」ということは間違っているなら色っぽくない fact18: もしもその過去最多が指導書であるならあの清算中は生易しくない fact19: あの清算中は意地悪する fact20: もし仮にその過去最多が生易しくないならあの清算中は生易しい fact21: その過去最多は蓄積され易いということはないかそれは生易しくない fact22: 「相互直通する」物はある fact23: 仮になにがしかの物が経営しないなら指導書であるか蓄積され易い fact24: もし仮に「あの清算中は相互直通しない」ということは確かであるならばあの針付けは相互直通する fact25: もしも「相互直通するし生易しい」ものがあるならあの針付けは指導書だ fact26: 「その過去最多はすんごいかあるいはそれは右傾化するかどちらもである」ということは成り立たない ; $hypothesis$ = あの針付けは病み衰える ; $proof$ = 
fact4 & fact15 -> int1: あの清算中が相互直通するしその上酷い; int1 -> int2: あの清算中は相互直通する; fact16 & fact20 & fact21 -> int3: あの清算中は生易しい; int2 & int3 -> int4: あの清算中は相互直通するしそれにそれは生易しい; int4 -> int5: 「相互直通するし生易しい」ものはある; int5 & fact25 -> int6: あの針付けは指導書だ; fact2 -> int7: あの針付けは指導書であるなら病み衰える; int6 & int7 -> hypothesis; __PROVED__
事実1: 「生易しい」ものはある
事実2: もしもとある物は指導書であるとすればそれは病み衰える
事実3: もし「酷くてかつ生易しい」ものはあるとしたら「その過去最多は相互直通する」ということは事実だ
事実4: 「異方性な」物はある
事実5: もしも何らかのものが色っぽいということはないならば三味線でない
事実6: もしも「何かは指導書だ」ということは成り立つとしたらその過去最多は御安くて小栗鼠である
事実7: もし何らかの物は相互直通するということはないとすれば「それは異方性でないがしかし病み衰える」ということは成り立たない
事実8: もしも「あの針付けは相互直通しない」ということは成り立てばあの清算中は相互直通する
事実9: 「あの清算中は酷い」ということは成り立つ
事実10: 仮になにがしかの物は三味線だということはないとすれば「それは褻ブラーであるし経営する」ということは事実と異なる
事実11: 何かは同封致すし倒れ難い
事実12: もしも「異方性な」物があるならあの清算中は酷い
事実13: その渡洋爆撃は蓄積され易い
事実14: 「なにかは褻ブラーでそれにそれは経営する」ということは成り立つということはないならそれは経営しない
事実15: もし仮に「異方性である」物があるとしたらあの清算中は相互直通するししかも酷い
事実16: もし仮にその過去最多は蓄積され易くないとすると「あの清算中は生易しい」ということは正しい
事実17: 仮に「その過去最多はすんごいかもしくは右傾化する」ということは間違っているなら色っぽくない
事実18: もしもその過去最多が指導書であるならあの清算中は生易しくない
事実19: あの清算中は意地悪する
事実20: もし仮にその過去最多が生易しくないならあの清算中は生易しい
事実21: その過去最多は蓄積され易いということはないかそれは生易しくない
事実22: 「相互直通する」物はある
事実23: 仮になにがしかの物が経営しないなら指導書であるか蓄積され易い
事実24: もし仮に「あの清算中は相互直通しない」ということは確かであるならばあの針付けは相互直通する
事実25: もしも「相互直通するし生易しい」ものがあるならあの針付けは指導書だ
事実26: 「その過去最多はすんごいかあるいはそれは右傾化するかどちらもである」ということは成り立たない

仮説: あの針付けは病み衰える
1. 事実4と事実15から、推論1: "あの清算中が相互直通するしその上酷い"が導かれる
2. 推論1から、推論2: "あの清算中は相互直通する"が導かれる
3. 事実16と事実20と事実21から、推論3: "あの清算中は生易しい"が導かれる
4. 推論2と推論3から、推論4: "あの清算中は相互直通するしそれにそれは生易しい"が導かれる
5. 推論4から、推論5: "「相互直通するし生易しい」ものはある"が導かれる
6. 推論5と事実25から、推論6: "あの針付けは指導書だ"が導かれる
7. 事実2から、推論7: "あの針付けは指導書であるなら病み衰える"が導かれる
8. 推論6と推論7から、仮説が導かれる

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