あの値上げ問題はしんどくてリポソームである
fact1: もしもなにがしかのものは癒すとしたら「それは争乱である」ということは確かだ fact2: もし仮にこのＳＥＴボタンは御労しくないなら「この持て余し気味はすこい」ということは確かだ fact3: もしこのアイドルが微調整出来ればこのＳＥＴボタンは売り払う fact4: あの値上げ問題はリポソームである fact5: このＳＥＴボタンが御労しいとしたらこのアイドルは切り詰める fact6: 仮にあの一文字は再吟味するということはないとすれば「この持て余し気味は癒すしさらに居辛い」ということは確かだ fact7: このロゴマークは図太くない fact8: もしこのＳＥＴボタンが御労しくないとするとこの持て余し気味は御労しくないがしかしすこい fact9: もしも「なんらかの物はすこいけれどそれは争乱でない」ということは偽であるならばすこくない fact10: この持て余し気味はすこい fact11: 仮になんらかの物は御労しくないなら「しんどいしリポソームである」ということは成り立たない fact12: もしあの明瞭さが行財政運営だとするとあの一文字は再吟味するということはない fact13: もしこの持て余し気味が御労しくないがしかしすこいなら「あの値上げ問題は売り払うということはない」ということは真実だ fact14: 仮にこのアイドルが切り詰めるならばあのロゴマークは図太い fact15: もし「あの値上げ問題は売り払わない」ということは本当だとしたらしんどいしリポソームである fact16: もしもこのＳＥＴボタンは売り払うとすると「あの値上げ問題は図太いが切り詰めない」ということは間違いである fact17: 仮に「何らかの物は図太いが切り詰めない」ということは確かでないならばそれは御労しくない fact18: あの明瞭さは行財政運営であるか狭い fact19: もし仮にあの値上げ問題が売り払うということはないならそれはリポソームである fact20: もし仮に「争乱である」ものはあれば「このロゴマークはすこいけれど争乱でない」ということは成り立つということはない fact21: 仮にこのロゴマークがすこくないならこのアイドルは微調整出来るかもしくはそれは売り払うかもしくはどちらもだ
void -> assump1: 以下のように仮定する。このＳＥＴボタンは御労しい; fact5 & assump1 -> int1: このアイドルは切り詰める; int1 & fact14 -> int2: このロゴマークは図太い; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＳＥＴボタンは御労しくない; int4 & fact8 -> int5: この持て余し気味は御労しくないけどそれはすこい; int5 & fact13 -> int6: あの値上げ問題は売り払わない; int6 & fact15 -> hypothesis;
「あの値上げ問題はしんどいししかもリポソームだ」ということは成り立たない
fact26 -> int7: もしもあの値上げ問題は御労しくないとしたら「それはしんどくてそれにリポソームだ」ということは偽である; fact24 -> int8: 「あの値上げ問題は図太いがしかしそれは切り詰めない」ということは成り立たないとすればそれは御労しくない; fact22 -> int9: もし「このロゴマークはすこい一方で争乱でない」ということは事実と異なるとすればそれはすこくない; fact25 -> int10: この持て余し気味は癒すとしたら「争乱だということはない」ということは事実と異なる;
$facts$ = fact1: もしもなにがしかのものは癒すとしたら「それは争乱である」ということは確かだ fact2: もし仮にこのＳＥＴボタンは御労しくないなら「この持て余し気味はすこい」ということは確かだ fact3: もしこのアイドルが微調整出来ればこのＳＥＴボタンは売り払う fact4: あの値上げ問題はリポソームである fact5: このＳＥＴボタンが御労しいとしたらこのアイドルは切り詰める fact6: 仮にあの一文字は再吟味するということはないとすれば「この持て余し気味は癒すしさらに居辛い」ということは確かだ fact7: このロゴマークは図太くない fact8: もしこのＳＥＴボタンが御労しくないとするとこの持て余し気味は御労しくないがしかしすこい fact9: もしも「なんらかの物はすこいけれどそれは争乱でない」ということは偽であるならばすこくない fact10: この持て余し気味はすこい fact11: 仮になんらかの物は御労しくないなら「しんどいしリポソームである」ということは成り立たない fact12: もしあの明瞭さが行財政運営だとするとあの一文字は再吟味するということはない fact13: もしこの持て余し気味が御労しくないがしかしすこいなら「あの値上げ問題は売り払うということはない」ということは真実だ fact14: 仮にこのアイドルが切り詰めるならばあのロゴマークは図太い fact15: もし「あの値上げ問題は売り払わない」ということは本当だとしたらしんどいしリポソームである fact16: もしもこのＳＥＴボタンは売り払うとすると「あの値上げ問題は図太いが切り詰めない」ということは間違いである fact17: 仮に「何らかの物は図太いが切り詰めない」ということは確かでないならばそれは御労しくない fact18: あの明瞭さは行財政運営であるか狭い fact19: もし仮にあの値上げ問題が売り払うということはないならそれはリポソームである fact20: もし仮に「争乱である」ものはあれば「このロゴマークはすこいけれど争乱でない」ということは成り立つということはない fact21: 仮にこのロゴマークがすこくないならこのアイドルは微調整出来るかもしくはそれは売り払うかもしくはどちらもだ ; $hypothesis$ = あの値上げ問題はしんどくてリポソームである ; $proof$ = 
void -> assump1: 以下のように仮定する。このＳＥＴボタンは御労しい; fact5 & assump1 -> int1: このアイドルは切り詰める; int1 & fact14 -> int2: このロゴマークは図太い; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＳＥＴボタンは御労しくない; int4 & fact8 -> int5: この持て余し気味は御労しくないけどそれはすこい; int5 & fact13 -> int6: あの値上げ問題は売り払わない; int6 & fact15 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものは癒すとしたら「それは争乱である」ということは確かだ
事実2: もし仮にこのＳＥＴボタンは御労しくないなら「この持て余し気味はすこい」ということは確かだ
事実3: もしこのアイドルが微調整出来ればこのＳＥＴボタンは売り払う
事実4: あの値上げ問題はリポソームである
事実5: このＳＥＴボタンが御労しいとしたらこのアイドルは切り詰める
事実6: 仮にあの一文字は再吟味するということはないとすれば「この持て余し気味は癒すしさらに居辛い」ということは確かだ
事実7: このロゴマークは図太くない
事実8: もしこのＳＥＴボタンが御労しくないとするとこの持て余し気味は御労しくないがしかしすこい
事実9: もしも「なんらかの物はすこいけれどそれは争乱でない」ということは偽であるならばすこくない
事実10: この持て余し気味はすこい
事実11: 仮になんらかの物は御労しくないなら「しんどいしリポソームである」ということは成り立たない
事実12: もしあの明瞭さが行財政運営だとするとあの一文字は再吟味するということはない
事実13: もしこの持て余し気味が御労しくないがしかしすこいなら「あの値上げ問題は売り払うということはない」ということは真実だ
事実14: 仮にこのアイドルが切り詰めるならばあのロゴマークは図太い
事実15: もし「あの値上げ問題は売り払わない」ということは本当だとしたらしんどいしリポソームである
事実16: もしもこのＳＥＴボタンは売り払うとすると「あの値上げ問題は図太いが切り詰めない」ということは間違いである
事実17: 仮に「何らかの物は図太いが切り詰めない」ということは確かでないならばそれは御労しくない
事実18: あの明瞭さは行財政運営であるか狭い
事実19: もし仮にあの値上げ問題が売り払うということはないならそれはリポソームである
事実20: もし仮に「争乱である」ものはあれば「このロゴマークはすこいけれど争乱でない」ということは成り立つということはない
事実21: 仮にこのロゴマークがすこくないならこのアイドルは微調整出来るかもしくはそれは売り払うかもしくはどちらもだ

仮説: あの値上げ問題はしんどくてリポソームである
1. 仮定1: 以下のように仮定する。このＳＥＴボタンは御労しい
2. 事実5と仮定1から、推論1: "このアイドルは切り詰める"が導かれる
3. 推論1と事実14から、推論2: "このロゴマークは図太い"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このＳＥＴボタンは御労しくない"が導かれる
6. 推論4と事実8から、推論5: "この持て余し気味は御労しくないけどそれはすこい"が導かれる
7. 推論5と事実13から、推論6: "あの値上げ問題は売り払わない"が導かれる
8. 推論6と事実15から、仮説が導かれる

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