あのレインボーブリッジは帰すが見窄らしくない
fact1: あのレインボーブリッジは見窄らしくない fact2: もしその保管状態が疲れ始めるとするとあのレインボーブリッジは帰す fact3: あの結了は疲れ始める fact4: もし仮に何かは常連らしくないなら「それは繁栄し続けるしさらに申し訳無い」ということは正しくない fact5: もしも「なんらかのものは帰り掛けであるしおまけに油っぽい」ということは偽であるなら一身上でない fact6: 仮に「この後事は繁栄し続けるししかもそれは申し訳無い」ということは誤りだとすればあの保管状態は遊撃戦でない fact7: もしもあの結了が一身上でないとするとその保管状態は連立政権樹立である fact8: もし仮にあの結了は片肘ならば「あのレインボーブリッジは帰すがしかしそれは見窄らしくない」ということは成り立たない fact9: 「もし仮に「あの結了は帰り掛けでない」ということは正しいならばあの結了は一身上でない」ということは確かだ fact10: ちまちましないしまた打てないという物はない fact11: なにがしかの物は一身上だとすれば「それは連立政権樹立であるしその上それは片肘でない」ということは間違っている fact12: もしも「その保管状態は連立政権樹立である」ということは本当ならば疲れ始める fact13: あの結了は片肘でない fact14: もしなにがしかのものは帰り掛けでないとするとそれは一身上でない fact15: もし仮にあの結了は片肘でないならば「それは帰り掛けであるし油っぽい」ということは偽である fact16: もし仮にあのレインボーブリッジが油っぽいならばあの結了は見窄らしい fact17: 「その保管状態は片肘である」ということは成り立つ fact18: 「何かはちまちまするということはないししかもそれは打てない」ということは正しくないとすればそれは常連らしくない
fact15 & fact13 -> int1: 「あの結了は帰り掛けであるししかも油っぽい」ということは誤っている; fact5 -> int2: もしも「あの結了は帰り掛けであるし加えて油っぽい」ということは成り立たないとすれば一身上でない; int1 & int2 -> int3: あの結了は一身上でない; int3 & fact7 -> int4: その保管状態は連立政権樹立だ; int4 & fact12 -> int5: その保管状態は疲れ始める; int5 & fact2 -> int6: あのレインボーブリッジは帰す; int6 & fact1 -> hypothesis;
「あのレインボーブリッジは帰すけど見窄らしくない」ということは事実でない
fact24 -> int7: もしその保管状態は一身上だとすれば「連立政権樹立であるけど片肘でない」ということは事実と異なる; fact23 -> int8: もしも「その周期律表はちまちまするということはなくて打てない」ということは成り立たないならそれは常連らしいということはない; fact22 -> int9: 「その周期律表はちまちましなくてまた打てない」ということは事実と異なる; int8 & int9 -> int10: その周期律表は常連らしくない; int10 -> int11: 全ての物は常連らしくない; int11 -> int12: あの最終処分災害防止費用は常連らしくない; fact19 -> int13: もしあの最終処分災害防止費用は常連らしくないなら「それは繁栄し続けるししかも申し訳無い」ということは嘘だ; int12 & int13 -> int14: 「あの最終処分災害防止費用は繁栄し続けるしおまけに申し訳無い」ということは成り立たない; int14 -> int15: それは繁栄し続けるしまた申し訳無いという物はない; int15 -> int16: 「この後事は繁栄し続けるしおまけにそれは申し訳無い」ということは本当でない; int16 & fact21 -> int17: その保管状態は遊撃戦でない;
$facts$ = fact1: あのレインボーブリッジは見窄らしくない fact2: もしその保管状態が疲れ始めるとするとあのレインボーブリッジは帰す fact3: あの結了は疲れ始める fact4: もし仮に何かは常連らしくないなら「それは繁栄し続けるしさらに申し訳無い」ということは正しくない fact5: もしも「なんらかのものは帰り掛けであるしおまけに油っぽい」ということは偽であるなら一身上でない fact6: 仮に「この後事は繁栄し続けるししかもそれは申し訳無い」ということは誤りだとすればあの保管状態は遊撃戦でない fact7: もしもあの結了が一身上でないとするとその保管状態は連立政権樹立である fact8: もし仮にあの結了は片肘ならば「あのレインボーブリッジは帰すがしかしそれは見窄らしくない」ということは成り立たない fact9: 「もし仮に「あの結了は帰り掛けでない」ということは正しいならばあの結了は一身上でない」ということは確かだ fact10: ちまちましないしまた打てないという物はない fact11: なにがしかの物は一身上だとすれば「それは連立政権樹立であるしその上それは片肘でない」ということは間違っている fact12: もしも「その保管状態は連立政権樹立である」ということは本当ならば疲れ始める fact13: あの結了は片肘でない fact14: もしなにがしかのものは帰り掛けでないとするとそれは一身上でない fact15: もし仮にあの結了は片肘でないならば「それは帰り掛けであるし油っぽい」ということは偽である fact16: もし仮にあのレインボーブリッジが油っぽいならばあの結了は見窄らしい fact17: 「その保管状態は片肘である」ということは成り立つ fact18: 「何かはちまちまするということはないししかもそれは打てない」ということは正しくないとすればそれは常連らしくない ; $hypothesis$ = あのレインボーブリッジは帰すが見窄らしくない ; $proof$ = 
fact15 & fact13 -> int1: 「あの結了は帰り掛けであるししかも油っぽい」ということは誤っている; fact5 -> int2: もしも「あの結了は帰り掛けであるし加えて油っぽい」ということは成り立たないとすれば一身上でない; int1 & int2 -> int3: あの結了は一身上でない; int3 & fact7 -> int4: その保管状態は連立政権樹立だ; int4 & fact12 -> int5: その保管状態は疲れ始める; int5 & fact2 -> int6: あのレインボーブリッジは帰す; int6 & fact1 -> hypothesis; __PROVED__
事実1: あのレインボーブリッジは見窄らしくない
事実2: もしその保管状態が疲れ始めるとするとあのレインボーブリッジは帰す
事実3: あの結了は疲れ始める
事実4: もし仮に何かは常連らしくないなら「それは繁栄し続けるしさらに申し訳無い」ということは正しくない
事実5: もしも「なんらかのものは帰り掛けであるしおまけに油っぽい」ということは偽であるなら一身上でない
事実6: 仮に「この後事は繁栄し続けるししかもそれは申し訳無い」ということは誤りだとすればあの保管状態は遊撃戦でない
事実7: もしもあの結了が一身上でないとするとその保管状態は連立政権樹立である
事実8: もし仮にあの結了は片肘ならば「あのレインボーブリッジは帰すがしかしそれは見窄らしくない」ということは成り立たない
事実9: 「もし仮に「あの結了は帰り掛けでない」ということは正しいならばあの結了は一身上でない」ということは確かだ
事実10: ちまちましないしまた打てないという物はない
事実11: なにがしかの物は一身上だとすれば「それは連立政権樹立であるしその上それは片肘でない」ということは間違っている
事実12: もしも「その保管状態は連立政権樹立である」ということは本当ならば疲れ始める
事実13: あの結了は片肘でない
事実14: もしなにがしかのものは帰り掛けでないとするとそれは一身上でない
事実15: もし仮にあの結了は片肘でないならば「それは帰り掛けであるし油っぽい」ということは偽である
事実16: もし仮にあのレインボーブリッジが油っぽいならばあの結了は見窄らしい
事実17: 「その保管状態は片肘である」ということは成り立つ
事実18: 「何かはちまちまするということはないししかもそれは打てない」ということは正しくないとすればそれは常連らしくない

仮説: あのレインボーブリッジは帰すが見窄らしくない
1. 事実15と事実13から、推論1: "「あの結了は帰り掛けであるししかも油っぽい」ということは誤っている"が導かれる
2. 事実5から、推論2: "もしも「あの結了は帰り掛けであるし加えて油っぽい」ということは成り立たないとすれば一身上でない"が導かれる
3. 推論1と推論2から、推論3: "あの結了は一身上でない"が導かれる
4. 推論3と事実7から、推論4: "その保管状態は連立政権樹立だ"が導かれる
5. 推論4と事実12から、推論5: "その保管状態は疲れ始める"が導かれる
6. 推論5と事実2から、推論6: "あのレインボーブリッジは帰す"が導かれる
7. 推論6と事実1から、仮説が導かれる

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