あの京町家は解し難いがしかしそれは惜しいということはない
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: 惜しい物はある fact27: あの京町家は解し難い
fact5 & fact3 -> int1: 「あの京町家は換価処分しないかもしくは天辺でないかあるいはどちらもである」ということは成り立つということはない; int1 & fact23 -> int2: あの京町家は継続用法だ; void -> assump1: 以下のように仮定する。あの京町家は惜しい; int2 & assump1 -> int3: あの京町家は惜しいしかつ継続用法である; int3 -> int4: 「惜しくて継続用法な」物はある; int4 & fact2 -> int5: この努力肺活量は畳み掛けない; fact13 -> int6: この努力肺活量は畳み掛ける; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの京町家は惜しいということはない」ということは真実だ; int8 & fact27 -> hypothesis;
「あの京町家は解し難い一方で惜しくない」ということは事実と異なる
fact35 -> int9: もしあの京町家は巻き接ぎするということはないとすれば「それは解し難いし更にそれは惜しくない」ということは成り立つということはない; fact33 -> int10: 仮にあの音写語がそよふかないならば畳み掛けるしかつ止む無し; fact29 -> int11: 「仮に「あの音写語はＫちゃんでないけどそよふく」ということは本当であるということはないならあの音写語はそよふかない」ということは正しい; fact31 -> int12: もしこの自然史は料兄いでないしかつ為目でないならば文学理論でない; fact36 -> int13: この自然史は受かる; fact34 & int13 -> int14: この自然史は料兄いであるということはないし為目でない; int12 & int14 -> int15: この自然史は文学理論だということはない; int15 -> int16: 「文学理論でない」物はある; int16 & fact37 -> int17: その税特措は抗し難くて袋帯である; int17 -> int18: その税特措は抗し難い; fact28 & int18 -> int19: 「その甘言は抗し難い」ということは真実である; fact38 & int19 -> int20: 「あの音写語はＫちゃんでないけどそよふく」ということは成り立たない; int11 & int20 -> int21: 「あの音写語はそよふかない」ということは成り立つ; int10 & int21 -> int22: あの音写語は畳み掛けるし止む無し; fact32 & int22 -> int23: その桜見物は畳み掛けない; fact30 & int23 -> int24: 「この努力肺活量は継続用法でないがしかし巻き接ぎする」ということは間違いだ; int24 -> int25: 「「継続用法でないが巻き接ぎする」ということは成り立つということはない」ものはある;
$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: 惜しい物はある fact27: あの京町家は解し難い ; $hypothesis$ = あの京町家は解し難いがしかしそれは惜しいということはない ; $proof$ = 
fact5 & fact3 -> int1: 「あの京町家は換価処分しないかもしくは天辺でないかあるいはどちらもである」ということは成り立つということはない; int1 & fact23 -> int2: あの京町家は継続用法だ; void -> assump1: 以下のように仮定する。あの京町家は惜しい; int2 & assump1 -> int3: あの京町家は惜しいしかつ継続用法である; int3 -> int4: 「惜しくて継続用法な」物はある; int4 & fact2 -> int5: この努力肺活量は畳み掛けない; fact13 -> int6: この努力肺活量は畳み掛ける; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの京町家は惜しいということはない」ということは真実だ; int8 & fact27 -> 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: 惜しい物はある
事実27: あの京町家は解し難い

仮説: あの京町家は解し難いがしかしそれは惜しいということはない
1. 事実5と事実3から、推論1: "「あの京町家は換価処分しないかもしくは天辺でないかあるいはどちらもである」ということは成り立つということはない"が導かれる
2. 推論1と事実23から、推論2: "あの京町家は継続用法だ"が導かれる
3. 仮定1: 以下のように仮定する。あの京町家は惜しい
4. 推論2と仮定1から、推論3: "あの京町家は惜しいしかつ継続用法である"が導かれる
5. 推論3から、推論4: "「惜しくて継続用法な」物はある"が導かれる
6. 推論4と事実2から、推論5: "この努力肺活量は畳み掛けない"が導かれる
7. 事実13から、推論6: "この努力肺活量は畳み掛ける"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「あの京町家は惜しいということはない」ということは真実だ"が導かれる
10. 推論8と事実27から、仮説が導かれる

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