「その左舷側は寝苦しくない」ということは本当だ
fact1: もしも「「拙くないしそれに大項目である」ということは嘘な」物はあるとしたら「この強制公開買い付けは丸投げしない」ということは確かだ fact2: 「その地方法務局は覚悟するしそれに服薬管理だ」ということは事実と異なるとすると覚悟しない fact3: もし仮にあの四輪車が受け辛くないとすればこの強制公開買い付けは肥大するしそれは思い出深い fact4: もしもその地方法務局が引っ越し始めるならばあの四輪車は受け辛くない fact5: 何かは掠れるとしたらそれは寝苦しくない fact6: もしその地方法務局が覚悟しないなら引っ越し始めるかもしくはそれは阻止す fact7: 「その地方法務局は覚悟するしまた服薬管理である」ということは成り立たない fact8: なにかは思い出深いとしたらおもろい fact9: この強制公開買い付けは嫌らしい fact10: 仮にこの強制公開買い付けは景観であるとしたら丸投げする fact11: 「その総額主義は馴染み易くて丸投げする」ということは偽だ fact12: この強制公開買い付けは景観だがしかしおもろいということはない fact13: もし仮にその左舷側は掠れないとすると「それは拙くないけれど大項目である」ということは間違いだ fact14: もし仮にこの強制公開買い付けがおもろいとするとその左舷側は丸投げしないけれど景観である
void -> assump1: 以下のように仮定する。その左舷側は掠れない; fact13 & assump1 -> int1: 「その左舷側は拙くない一方でそれは大項目である」ということは事実と異なる; int1 -> int2: 「「拙いということはなくて大項目である」ということは誤りな」物はある; int2 & fact1 -> int3: この強制公開買い付けは丸投げするということはない; fact12 -> int4: この強制公開買い付けは景観だ; int4 & fact10 -> int5: この強制公開買い付けは丸投げする; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その左舷側は掠れる; fact5 -> int8: 仮にその左舷側が掠れれば寝苦しくない; int7 & int8 -> hypothesis;
その左舷側は寝苦しい
fact17 -> int9: この強制公開買い付けが思い出深いとすればそれはおもろい; fact16 & fact19 -> int10: その地方法務局は覚悟するということはない; fact15 & int10 -> int11: その地方法務局は引っ越し始めるか阻止す;
$facts$ = fact1: もしも「「拙くないしそれに大項目である」ということは嘘な」物はあるとしたら「この強制公開買い付けは丸投げしない」ということは確かだ fact2: 「その地方法務局は覚悟するしそれに服薬管理だ」ということは事実と異なるとすると覚悟しない fact3: もし仮にあの四輪車が受け辛くないとすればこの強制公開買い付けは肥大するしそれは思い出深い fact4: もしもその地方法務局が引っ越し始めるならばあの四輪車は受け辛くない fact5: 何かは掠れるとしたらそれは寝苦しくない fact6: もしその地方法務局が覚悟しないなら引っ越し始めるかもしくはそれは阻止す fact7: 「その地方法務局は覚悟するしまた服薬管理である」ということは成り立たない fact8: なにかは思い出深いとしたらおもろい fact9: この強制公開買い付けは嫌らしい fact10: 仮にこの強制公開買い付けは景観であるとしたら丸投げする fact11: 「その総額主義は馴染み易くて丸投げする」ということは偽だ fact12: この強制公開買い付けは景観だがしかしおもろいということはない fact13: もし仮にその左舷側は掠れないとすると「それは拙くないけれど大項目である」ということは間違いだ fact14: もし仮にこの強制公開買い付けがおもろいとするとその左舷側は丸投げしないけれど景観である ; $hypothesis$ = 「その左舷側は寝苦しくない」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その左舷側は掠れない; fact13 & assump1 -> int1: 「その左舷側は拙くない一方でそれは大項目である」ということは事実と異なる; int1 -> int2: 「「拙いということはなくて大項目である」ということは誤りな」物はある; int2 & fact1 -> int3: この強制公開買い付けは丸投げするということはない; fact12 -> int4: この強制公開買い付けは景観だ; int4 & fact10 -> int5: この強制公開買い付けは丸投げする; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その左舷側は掠れる; fact5 -> int8: 仮にその左舷側が掠れれば寝苦しくない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしも「「拙くないしそれに大項目である」ということは嘘な」物はあるとしたら「この強制公開買い付けは丸投げしない」ということは確かだ
事実2: 「その地方法務局は覚悟するしそれに服薬管理だ」ということは事実と異なるとすると覚悟しない
事実3: もし仮にあの四輪車が受け辛くないとすればこの強制公開買い付けは肥大するしそれは思い出深い
事実4: もしもその地方法務局が引っ越し始めるならばあの四輪車は受け辛くない
事実5: 何かは掠れるとしたらそれは寝苦しくない
事実6: もしその地方法務局が覚悟しないなら引っ越し始めるかもしくはそれは阻止す
事実7: 「その地方法務局は覚悟するしまた服薬管理である」ということは成り立たない
事実8: なにかは思い出深いとしたらおもろい
事実9: この強制公開買い付けは嫌らしい
事実10: 仮にこの強制公開買い付けは景観であるとしたら丸投げする
事実11: 「その総額主義は馴染み易くて丸投げする」ということは偽だ
事実12: この強制公開買い付けは景観だがしかしおもろいということはない
事実13: もし仮にその左舷側は掠れないとすると「それは拙くないけれど大項目である」ということは間違いだ
事実14: もし仮にこの強制公開買い付けがおもろいとするとその左舷側は丸投げしないけれど景観である

仮説: 「その左舷側は寝苦しくない」ということは本当だ
1. 仮定1: 以下のように仮定する。その左舷側は掠れない
2. 事実13と仮定1から、推論1: "「その左舷側は拙くない一方でそれは大項目である」ということは事実と異なる"が導かれる
3. 推論1から、推論2: "「「拙いということはなくて大項目である」ということは誤りな」物はある"が導かれる
4. 推論2と事実1から、推論3: "この強制公開買い付けは丸投げするということはない"が導かれる
5. 事実12から、推論4: "この強制公開買い付けは景観だ"が導かれる
6. 推論4と事実10から、推論5: "この強制公開買い付けは丸投げする"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その左舷側は掠れる"が導かれる
9. 事実5から、推論8: "仮にその左舷側が掠れれば寝苦しくない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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