あのスーツは御示しに成らないがしかしそれは吊り易い
fact1: 仮に意地悪くない物が否定し難いとしたらそれは痛ーくない fact2: 仮にこの向上等は吊り易くないとしたら「あのスーツは御示しに成らないけれど吊り易い」ということは嘘だ fact3: 「あのスーツは御出で頂くし吊り易い」ということは嘘だ fact4: もしその日銀引き受けは痛ーくないならば「この向上等は吊り易いしまた痛ーい」ということは誤りである fact5: もし仮に「その日銀引き受けは御示しに成るし御出で頂く」ということは偽なら御出で頂かない fact6: もし仮になにがしかの物が御出で頂くがそれはステータス性でないならそれは痛ーい fact7: もしも何らかの物が御出で頂く一方でそれが御示しに成るということはないならばそれは吊り易い fact8: もし仮にその日銀引き受けは意地悪くないとすると「あのスーツは吊り易いし加えて意地悪い」ということは偽だ fact9: もし仮に「ある物は意地悪いし痛ーい」ということは偽だとしたらそれは痛ーくない fact10: 「この向上等は御示しに成らないけど吊り易い」ということは偽だ fact11: もし仮にこの向上等が痛ーいということはないならあのスーツは御示しに成らない一方で吊り易い fact12: 「この向上等は御出で頂くしかつ吊り易い」ということは成り立たない fact13: 「その日銀引き受けが意地悪いしその上痛ーい」ということは成り立たない fact14: 「あのスーツは吊り易いしそれに消極的過ぎる」ということは事実と異なる fact15: もし「なにかは吊り易いししかも御出で頂く」ということは偽だとすると御出で頂かない fact16: もしも「その日銀引き受けは御出で頂くがしかしステータス性でない」ということは成り立つということはないならばこの向上等は吊り易くない fact17: その日銀引き受けはステータス性でない fact18: もしこの向上等が御出で頂くしその上御示しに成るとするとそれは吊り易い
fact6 -> int1: もし仮にその日銀引き受けが御出で頂くがしかしステータス性でないならそれは痛ーい; void -> assump1: 以下のように仮定する。その日銀引き受けは御出で頂くがステータス性だということはない; int1 & assump1 -> int2: その日銀引き受けは痛ーい; fact9 -> int3: 仮に「「その日銀引き受けは意地悪くて加えて痛ーい」ということは事実だ」ということは成り立つということはないとすれば痛ーくない; fact13 & int3 -> int4: その日銀引き受けは痛ーくない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「「その日銀引き受けは御出で頂く一方でステータス性でない」ということは間違いである」ということは本当だ; int6 & fact16 -> int7: 「この向上等は吊り易くない」ということは偽でない; int7 & fact2 -> hypothesis;
あのスーツは御示しに成らないが吊り易い
fact20 -> int8: 「もしこの向上等が意地悪くないけど否定し難いならこの向上等は痛ーくない」ということは成り立つ;
$facts$ = fact1: 仮に意地悪くない物が否定し難いとしたらそれは痛ーくない fact2: 仮にこの向上等は吊り易くないとしたら「あのスーツは御示しに成らないけれど吊り易い」ということは嘘だ fact3: 「あのスーツは御出で頂くし吊り易い」ということは嘘だ fact4: もしその日銀引き受けは痛ーくないならば「この向上等は吊り易いしまた痛ーい」ということは誤りである fact5: もし仮に「その日銀引き受けは御示しに成るし御出で頂く」ということは偽なら御出で頂かない fact6: もし仮になにがしかの物が御出で頂くがそれはステータス性でないならそれは痛ーい fact7: もしも何らかの物が御出で頂く一方でそれが御示しに成るということはないならばそれは吊り易い fact8: もし仮にその日銀引き受けは意地悪くないとすると「あのスーツは吊り易いし加えて意地悪い」ということは偽だ fact9: もし仮に「ある物は意地悪いし痛ーい」ということは偽だとしたらそれは痛ーくない fact10: 「この向上等は御示しに成らないけど吊り易い」ということは偽だ fact11: もし仮にこの向上等が痛ーいということはないならあのスーツは御示しに成らない一方で吊り易い fact12: 「この向上等は御出で頂くしかつ吊り易い」ということは成り立たない fact13: 「その日銀引き受けが意地悪いしその上痛ーい」ということは成り立たない fact14: 「あのスーツは吊り易いしそれに消極的過ぎる」ということは事実と異なる fact15: もし「なにかは吊り易いししかも御出で頂く」ということは偽だとすると御出で頂かない fact16: もしも「その日銀引き受けは御出で頂くがしかしステータス性でない」ということは成り立つということはないならばこの向上等は吊り易くない fact17: その日銀引き受けはステータス性でない fact18: もしこの向上等が御出で頂くしその上御示しに成るとするとそれは吊り易い ; $hypothesis$ = あのスーツは御示しに成らないがしかしそれは吊り易い ; $proof$ = 
fact6 -> int1: もし仮にその日銀引き受けが御出で頂くがしかしステータス性でないならそれは痛ーい; void -> assump1: 以下のように仮定する。その日銀引き受けは御出で頂くがステータス性だということはない; int1 & assump1 -> int2: その日銀引き受けは痛ーい; fact9 -> int3: 仮に「「その日銀引き受けは意地悪くて加えて痛ーい」ということは事実だ」ということは成り立つということはないとすれば痛ーくない; fact13 & int3 -> int4: その日銀引き受けは痛ーくない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「「その日銀引き受けは御出で頂く一方でステータス性でない」ということは間違いである」ということは本当だ; int6 & fact16 -> int7: 「この向上等は吊り易くない」ということは偽でない; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に意地悪くない物が否定し難いとしたらそれは痛ーくない
事実2: 仮にこの向上等は吊り易くないとしたら「あのスーツは御示しに成らないけれど吊り易い」ということは嘘だ
事実3: 「あのスーツは御出で頂くし吊り易い」ということは嘘だ
事実4: もしその日銀引き受けは痛ーくないならば「この向上等は吊り易いしまた痛ーい」ということは誤りである
事実5: もし仮に「その日銀引き受けは御示しに成るし御出で頂く」ということは偽なら御出で頂かない
事実6: もし仮になにがしかの物が御出で頂くがそれはステータス性でないならそれは痛ーい
事実7: もしも何らかの物が御出で頂く一方でそれが御示しに成るということはないならばそれは吊り易い
事実8: もし仮にその日銀引き受けは意地悪くないとすると「あのスーツは吊り易いし加えて意地悪い」ということは偽だ
事実9: もし仮に「ある物は意地悪いし痛ーい」ということは偽だとしたらそれは痛ーくない
事実10: 「この向上等は御示しに成らないけど吊り易い」ということは偽だ
事実11: もし仮にこの向上等が痛ーいということはないならあのスーツは御示しに成らない一方で吊り易い
事実12: 「この向上等は御出で頂くしかつ吊り易い」ということは成り立たない
事実13: 「その日銀引き受けが意地悪いしその上痛ーい」ということは成り立たない
事実14: 「あのスーツは吊り易いしそれに消極的過ぎる」ということは事実と異なる
事実15: もし「なにかは吊り易いししかも御出で頂く」ということは偽だとすると御出で頂かない
事実16: もしも「その日銀引き受けは御出で頂くがしかしステータス性でない」ということは成り立つということはないならばこの向上等は吊り易くない
事実17: その日銀引き受けはステータス性でない
事実18: もしこの向上等が御出で頂くしその上御示しに成るとするとそれは吊り易い

仮説: あのスーツは御示しに成らないがしかしそれは吊り易い
1. 事実6から、推論1: "もし仮にその日銀引き受けが御出で頂くがしかしステータス性でないならそれは痛ーい"が導かれる
2. 仮定1: 以下のように仮定する。その日銀引き受けは御出で頂くがステータス性だということはない
3. 推論1と仮定1から、推論2: "その日銀引き受けは痛ーい"が導かれる
4. 事実9から、推論3: "仮に「「その日銀引き受けは意地悪くて加えて痛ーい」ということは事実だ」ということは成り立つということはないとすれば痛ーくない"が導かれる
5. 事実13と推論3から、推論4: "その日銀引き受けは痛ーくない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「「その日銀引き受けは御出で頂く一方でステータス性でない」ということは間違いである」ということは本当だ"が導かれる
8. 推論6と事実16から、推論7: "「この向上等は吊り易くない」ということは偽でない"が導かれる
9. 推論7と事実2から、仮説が否定される

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