あの赤色期は再編成する
fact1: あの赤色期は魘される fact2: それは封じ込めないししかも財政構造改革法でないという物はない fact3: 「「この統計的研究は魘されなくて財政構造改革法でない」ということは真実でない」ということは正しい fact4: 「それは魘されなくてそれは封じ込める」ということは真実だというものはない fact5: もしもこの綾織りがしゃぶりつかないしその上疲れ難くないならあの赤色期は疲れ難い fact6: もし「この綾織りは財政構造改革法だということはないし加えてそれは再編成しない」ということは事実と異なるならあの赤色期は魘される fact7: この引き受け行為は馳せ参じるしそれにそれは御久し振りだ fact8: この引き受け行為は好ましい fact9: それは魘されなくて封じ込めるということはないという物はない fact10: この統計的研究は再編成する fact11: 疲れ難い物は再編成しなくてかつ財政構造改革法でない fact12: もし「この統計的研究は魘されないしそれは封じ込めない」ということは偽であるとすると「この綾織りは財政構造改革法である」ということは成り立つ fact13: 「あの赤色期は上がり続ける」ということは真実だ fact14: この統計的研究は御悪い fact15: 「この統計的研究は魘されないけれど封じ込める」ということは誤りだ fact16: 仮になにかは聞き捨て成れば「それがしゃぶりつくということはないしさらに疲れ難くない」ということは確かだ fact17: 仮にこの綾織りが財政構造改革法であるならあの赤色期は再編成する fact18: この綾織りは再編成する fact19: この綾織りはゲル内沈降反応だ fact20: 仮にこの統計的研究が封じ込めるとしたらこの綾織りは財政構造改革法である fact21: あの赤色期は封じ込める
fact9 -> int1: 「この統計的研究は魘されなくて封じ込めない」ということは間違いである; int1 & fact12 -> int2: この綾織りは財政構造改革法だ; int2 & fact17 -> hypothesis;
あの赤色期は再編成するということはない
fact26 -> int3: 「もしあの赤色期が疲れ難いとすればあの赤色期は再編成しなくてその上財政構造改革法でない」ということは正しい; fact23 -> int4: もし仮にこの綾織りが聞き捨て成るとすればしゃぶりつくということはないし疲れ難くない; fact22 -> int5: 「この引き受け行為は御久し振りだ」ということは誤っていない; fact25 & int5 -> int6: この引き受け行為は好ましくてかつ御久し振りだ; int6 -> int7: なにがしかのものは好ましくてかつ御久し振りだ;
$facts$ = fact1: あの赤色期は魘される fact2: それは封じ込めないししかも財政構造改革法でないという物はない fact3: 「「この統計的研究は魘されなくて財政構造改革法でない」ということは真実でない」ということは正しい fact4: 「それは魘されなくてそれは封じ込める」ということは真実だというものはない fact5: もしもこの綾織りがしゃぶりつかないしその上疲れ難くないならあの赤色期は疲れ難い fact6: もし「この綾織りは財政構造改革法だということはないし加えてそれは再編成しない」ということは事実と異なるならあの赤色期は魘される fact7: この引き受け行為は馳せ参じるしそれにそれは御久し振りだ fact8: この引き受け行為は好ましい fact9: それは魘されなくて封じ込めるということはないという物はない fact10: この統計的研究は再編成する fact11: 疲れ難い物は再編成しなくてかつ財政構造改革法でない fact12: もし「この統計的研究は魘されないしそれは封じ込めない」ということは偽であるとすると「この綾織りは財政構造改革法である」ということは成り立つ fact13: 「あの赤色期は上がり続ける」ということは真実だ fact14: この統計的研究は御悪い fact15: 「この統計的研究は魘されないけれど封じ込める」ということは誤りだ fact16: 仮になにかは聞き捨て成れば「それがしゃぶりつくということはないしさらに疲れ難くない」ということは確かだ fact17: 仮にこの綾織りが財政構造改革法であるならあの赤色期は再編成する fact18: この綾織りは再編成する fact19: この綾織りはゲル内沈降反応だ fact20: 仮にこの統計的研究が封じ込めるとしたらこの綾織りは財政構造改革法である fact21: あの赤色期は封じ込める ; $hypothesis$ = あの赤色期は再編成する ; $proof$ = 
fact9 -> int1: 「この統計的研究は魘されなくて封じ込めない」ということは間違いである; int1 & fact12 -> int2: この綾織りは財政構造改革法だ; int2 & fact17 -> hypothesis; __PROVED__
事実1: あの赤色期は魘される
事実2: それは封じ込めないししかも財政構造改革法でないという物はない
事実3: 「「この統計的研究は魘されなくて財政構造改革法でない」ということは真実でない」ということは正しい
事実4: 「それは魘されなくてそれは封じ込める」ということは真実だというものはない
事実5: もしもこの綾織りがしゃぶりつかないしその上疲れ難くないならあの赤色期は疲れ難い
事実6: もし「この綾織りは財政構造改革法だということはないし加えてそれは再編成しない」ということは事実と異なるならあの赤色期は魘される
事実7: この引き受け行為は馳せ参じるしそれにそれは御久し振りだ
事実8: この引き受け行為は好ましい
事実9: それは魘されなくて封じ込めるということはないという物はない
事実10: この統計的研究は再編成する
事実11: 疲れ難い物は再編成しなくてかつ財政構造改革法でない
事実12: もし「この統計的研究は魘されないしそれは封じ込めない」ということは偽であるとすると「この綾織りは財政構造改革法である」ということは成り立つ
事実13: 「あの赤色期は上がり続ける」ということは真実だ
事実14: この統計的研究は御悪い
事実15: 「この統計的研究は魘されないけれど封じ込める」ということは誤りだ
事実16: 仮になにかは聞き捨て成れば「それがしゃぶりつくということはないしさらに疲れ難くない」ということは確かだ
事実17: 仮にこの綾織りが財政構造改革法であるならあの赤色期は再編成する
事実18: この綾織りは再編成する
事実19: この綾織りはゲル内沈降反応だ
事実20: 仮にこの統計的研究が封じ込めるとしたらこの綾織りは財政構造改革法である
事実21: あの赤色期は封じ込める

仮説: あの赤色期は再編成する
1. 事実9から、推論1: "「この統計的研究は魘されなくて封じ込めない」ということは間違いである"が導かれる
2. 推論1と事実12から、推論2: "この綾織りは財政構造改革法だ"が導かれる
3. 推論2と事実17から、仮説が導かれる

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