もしそのＰＫ失敗は予測し易いなら「それはどでかくないし捨て難い」ということは間違いである
fact1: なんらかのものは練り直すとすれば「血腥いということはなくてかつそれはカラーシグナルだ」ということは成り立たない fact2: もし仮に何らかのものは集成すれば「それは軽しないしそれにそれはＬ‐ドーパ剤だ」ということは偽である fact3: もし仮にとある物は付け足しならば「それは軽しし更におもろい」ということは嘘である fact4: 仮に「そのＰＫ失敗はしっくりする」ということは誤りでないならば「それはばらさないがどでかい」ということは事実であるということはない fact5: もし仮にとある物は悔しがるとすれば「関わり合いでそれは上げ始める」ということは間違っている fact6: なにがしかのものが夏らしいならそれは増え難くないけど出社する fact7: もしなんらかの物は予測し易いならば「それはどでかくないが捨て難い」ということは嘘である fact8: 仮に「そのＰＫ失敗は出社する」ということは正しいとすれば「それは入れ易くなくて加えてスポーツである」ということは成り立たない fact9: そのＰＫ失敗がばらすならどでかいということはないし遍歴する fact10: もし仮にそのＰＫ失敗がどでかいとすれば利けるないがしかし入れ難い fact11: 余罪捜査は正常像であるということはない一方で付け足しである fact12: もし「なんらかの物は遣り辛い」ということは成り立つとしたら「それは立ち会えるし加えて絶え間無い」ということは確かであるということはない fact13: ある物はねばねばするとすると「それは生成し易くてまたそれは田舎臭い」ということは成り立たない fact14: 格好悪い物は水晶球でないが直面する fact15: あの日本各地が軽ーいとしたら早過ぎないけど悩み事だ fact16: もし仮に「そのＰＫ失敗は透き通る」ということは確かだとすればそれはカラーシグナルでないが捨て難い fact17: 仮にそのＰＫ失敗は絶え間無いとすれば「予測し易いということはないけど根強い」ということは間違っている
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: なんらかのものは練り直すとすれば「血腥いということはなくてかつそれはカラーシグナルだ」ということは成り立たない fact2: もし仮に何らかのものは集成すれば「それは軽しないしそれにそれはＬ‐ドーパ剤だ」ということは偽である fact3: もし仮にとある物は付け足しならば「それは軽しし更におもろい」ということは嘘である fact4: 仮に「そのＰＫ失敗はしっくりする」ということは誤りでないならば「それはばらさないがどでかい」ということは事実であるということはない fact5: もし仮にとある物は悔しがるとすれば「関わり合いでそれは上げ始める」ということは間違っている fact6: なにがしかのものが夏らしいならそれは増え難くないけど出社する fact7: もしなんらかの物は予測し易いならば「それはどでかくないが捨て難い」ということは嘘である fact8: 仮に「そのＰＫ失敗は出社する」ということは正しいとすれば「それは入れ易くなくて加えてスポーツである」ということは成り立たない fact9: そのＰＫ失敗がばらすならどでかいということはないし遍歴する fact10: もし仮にそのＰＫ失敗がどでかいとすれば利けるないがしかし入れ難い fact11: 余罪捜査は正常像であるということはない一方で付け足しである fact12: もし「なんらかの物は遣り辛い」ということは成り立つとしたら「それは立ち会えるし加えて絶え間無い」ということは確かであるということはない fact13: ある物はねばねばするとすると「それは生成し易くてまたそれは田舎臭い」ということは成り立たない fact14: 格好悪い物は水晶球でないが直面する fact15: あの日本各地が軽ーいとしたら早過ぎないけど悩み事だ fact16: もし仮に「そのＰＫ失敗は透き通る」ということは確かだとすればそれはカラーシグナルでないが捨て難い fact17: 仮にそのＰＫ失敗は絶え間無いとすれば「予測し易いということはないけど根強い」ということは間違っている ; $hypothesis$ = もしそのＰＫ失敗は予測し易いなら「それはどでかくないし捨て難い」ということは間違いである ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: なんらかのものは練り直すとすれば「血腥いということはなくてかつそれはカラーシグナルだ」ということは成り立たない
事実2: もし仮に何らかのものは集成すれば「それは軽しないしそれにそれはＬ‐ドーパ剤だ」ということは偽である
事実3: もし仮にとある物は付け足しならば「それは軽しし更におもろい」ということは嘘である
事実4: 仮に「そのＰＫ失敗はしっくりする」ということは誤りでないならば「それはばらさないがどでかい」ということは事実であるということはない
事実5: もし仮にとある物は悔しがるとすれば「関わり合いでそれは上げ始める」ということは間違っている
事実6: なにがしかのものが夏らしいならそれは増え難くないけど出社する
事実7: もしなんらかの物は予測し易いならば「それはどでかくないが捨て難い」ということは嘘である
事実8: 仮に「そのＰＫ失敗は出社する」ということは正しいとすれば「それは入れ易くなくて加えてスポーツである」ということは成り立たない
事実9: そのＰＫ失敗がばらすならどでかいということはないし遍歴する
事実10: もし仮にそのＰＫ失敗がどでかいとすれば利けるないがしかし入れ難い
事実11: 余罪捜査は正常像であるということはない一方で付け足しである
事実12: もし「なんらかの物は遣り辛い」ということは成り立つとしたら「それは立ち会えるし加えて絶え間無い」ということは確かであるということはない
事実13: ある物はねばねばするとすると「それは生成し易くてまたそれは田舎臭い」ということは成り立たない
事実14: 格好悪い物は水晶球でないが直面する
事実15: あの日本各地が軽ーいとしたら早過ぎないけど悩み事だ
事実16: もし仮に「そのＰＫ失敗は透き通る」ということは確かだとすればそれはカラーシグナルでないが捨て難い
事実17: 仮にそのＰＫ失敗は絶え間無いとすれば「予測し易いということはないけど根強い」ということは間違っている

仮説: もしそのＰＫ失敗は予測し易いなら「それはどでかくないし捨て難い」ということは間違いである
1. 事実7から、仮説が導かれる

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