この仕立て装はきりたんぽである
fact1: もしも「あの鍔は薄青くてさらにそれはＳＭＳだ」ということは真実ならあの胸腔内圧は近付き難いということはない fact2: 仮に「あの鍔は近付き難い」ということは成り立つとすればこの戯作者は薄青い fact3: この戯作者は高次である fact4: もしあの胸腔内圧が御優しいしまたそれは姉妹都市ならば「この収集日はＳＭＳだ」ということは真実である fact5: この戯作者は紛る fact6: 仮にあの胸腔内圧はＳＭＳだけれど姉妹都市だということはないとしたらそれは薄青くない fact7: もしあるものが馬子達でないとすればそれはＳＭＳで薄青い fact8: あの胸腔内圧は怪しい fact9: 「この仕立て装はＳＭＳである」ということは事実だ fact10: 「あの胸腔内圧は姉妹都市でない」ということは本当だ fact11: この収集日は高次でない fact12: この収集日は紛る一方で高次だということはない fact13: もしもあの胸腔内圧が高次であるしその上馬子達であるとすればあの鍔は馬子達でない fact14: 仮にあの胸腔内圧が御優しいがしかし姉妹都市でないとすればあの収集日はＳＭＳである fact15: 近付き難いということはない物は紛るけれど重たくない fact16: 仮に「ある物はきりたんぽであるし近付き難い」ということは成り立つということはないとするときりたんぽでない fact17: もしこの収集日がきりたんぽだ一方でＳＭＳでないならこの仕立て装は薄青い fact18: もし仮にこの戯作者が薄青いならこの仕立て装は馬子達である fact19: もし仮にこの仕立て装は馬子達であるならばそれはきりたんぽだ fact20: もしあの鍔が近付き難くないとするとあの胸腔内圧は御優しいがしかし姉妹都市であるということはない fact21: 仮にこの収集日は紛る一方で高次でないならＳＭＳでない fact22: もし仮にこの仕立て装は馬子達であるとすればそれは御優しい fact23: この仕立て装は姉妹都市である fact24: 「仮にあの鍔が近付き難くないとしたらあの胸腔内圧は姉妹都市でない」ということは成り立つ
void -> assump1: 以下のように仮定する。「あの鍔は近付き難くない」ということは成り立つ; fact20 & assump1 -> int1: あの胸腔内圧は御優しいけれど姉妹都市であるということはない; int1 & fact14 -> int2: この収集日はＳＭＳだ; fact21 & fact12 -> int3: 「この収集日はＳＭＳでない」ということは本当だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの鍔は近付き難い; int5 & fact2 -> int6: この戯作者は薄青い; int6 & fact18 -> int7: この仕立て装は馬子達だ; int7 & fact19 -> hypothesis;
あの胸腔内圧は紛るがそれは重たくない
fact26 -> int8: もしあの胸腔内圧が近付き難くないならそれは紛るけど重たくない;
$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: 「仮にあの鍔が近付き難くないとしたらあの胸腔内圧は姉妹都市でない」ということは成り立つ ; $hypothesis$ = この仕立て装はきりたんぽである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの鍔は近付き難くない」ということは成り立つ; fact20 & assump1 -> int1: あの胸腔内圧は御優しいけれど姉妹都市であるということはない; int1 & fact14 -> int2: この収集日はＳＭＳだ; fact21 & fact12 -> int3: 「この収集日はＳＭＳでない」ということは本当だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの鍔は近付き難い; int5 & fact2 -> int6: この戯作者は薄青い; int6 & fact18 -> int7: この仕立て装は馬子達だ; int7 & fact19 -> 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: 「仮にあの鍔が近付き難くないとしたらあの胸腔内圧は姉妹都市でない」ということは成り立つ

仮説: この仕立て装はきりたんぽである
1. 仮定1: 以下のように仮定する。「あの鍔は近付き難くない」ということは成り立つ
2. 事実20と仮定1から、推論1: "あの胸腔内圧は御優しいけれど姉妹都市であるということはない"が導かれる
3. 推論1と事実14から、推論2: "この収集日はＳＭＳだ"が導かれる
4. 事実21と事実12から、推論3: "「この収集日はＳＭＳでない」ということは本当だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの鍔は近付き難い"が導かれる
7. 推論5と事実2から、推論6: "この戯作者は薄青い"が導かれる
8. 推論6と事実18から、推論7: "この仕立て装は馬子達だ"が導かれる
9. 推論7と事実19から、仮説が導かれる

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