「もしも「叫び出さないし甲羅でない」ということは事実と異なるとすれば引き出し易い」物はある
fact1: もしも「なんらかのものは退色し易くないし加えて敵国だということはない」ということは正しくないとしたらそれは止まり掛ける fact2: 「叫び出さなくて甲羅でないとしたら引き出し易い」ものはある fact3: 「「叫び出すし加えて甲羅でない」ということは成り立たないなら引き出し易い」物はある fact4: 仮にその労働者災害補償保険法が叫び出さないししかも甲羅だということはないとすると引き出し易い fact5: もし「その労働者災害補償保険法は甲羅でなくてそれはとろくない」ということは正しくないとするとそれは重い fact6: 仮に「何かはすりゃ良くないし教うない」ということは事実と異なるとしたらそれは既成教会だ fact7: 「仮に「しどけなくないしさらに短命群でない」ということは成り立たないとしたら日本電気である」ものはある fact8: 「その労働者災害補償保険法は叫び出さなくて甲羅でない」ということは成り立たないとしたら引き出し易い fact9: 「「仮に「叫び出さないしまた甲羅である」ということは成り立たないならば引き出し易い」ものはある」ということは本当である fact10: 「もしも「重くないししかも合併し易くない」ということは真実でないとすると近し」物はある fact11: 「もし仮に「繻子でないがしかし言い訳出来る」ということは成り立たないなら痛み始める」ものはある fact12: 「もし「青臭くないしその上屹立しない」ということは確かであるということはないならすりゃ良い」物はある fact13: もし「その労働者災害補償保険法は叫び出す一方で甲羅でない」ということは成り立たないならば引き出し易い fact14: 「もし仮に甲羅ならば引き出し易い」ものはある fact15: 「なにがしかのものは硫酸塩だということはなくて更に生じ難くない」ということは確かだということはないとしたら忘れ難い fact16: もし仮にその労働者災害補償保険法が甲羅だとしたらそれは引き出し易い fact17: もしも「その労働者災害補償保険法は募集委託者でないし引き算しない」ということは本当でないとすると疚しい fact18: 「もし仮に「逃げ散らなくてかつ駆け入らない」ということは本当だということはないとすればＡ・Ｂ・Ｃ・Ｄ・Ｅな」ものはある fact19: 「「ソングでないしさらに幼しない」ということは成り立たないとすれば駆り出す」物はある fact20: 「もし仮に叫び出すとすると引き出し易い」物はある
fact8 -> hypothesis;
「もし仮に「硫酸塩であるということはなくて更に生じ難くない」ということは成り立たないとすると忘れ難い」物はある
fact21 -> int1: もしも「あのショルダーバッグは硫酸塩でなくて生じ難くない」ということは本当でないとしたらそれは忘れ難い; int1 -> hypothesis;
$facts$ = fact1: もしも「なんらかのものは退色し易くないし加えて敵国だということはない」ということは正しくないとしたらそれは止まり掛ける fact2: 「叫び出さなくて甲羅でないとしたら引き出し易い」ものはある fact3: 「「叫び出すし加えて甲羅でない」ということは成り立たないなら引き出し易い」物はある fact4: 仮にその労働者災害補償保険法が叫び出さないししかも甲羅だということはないとすると引き出し易い fact5: もし「その労働者災害補償保険法は甲羅でなくてそれはとろくない」ということは正しくないとするとそれは重い fact6: 仮に「何かはすりゃ良くないし教うない」ということは事実と異なるとしたらそれは既成教会だ fact7: 「仮に「しどけなくないしさらに短命群でない」ということは成り立たないとしたら日本電気である」ものはある fact8: 「その労働者災害補償保険法は叫び出さなくて甲羅でない」ということは成り立たないとしたら引き出し易い fact9: 「「仮に「叫び出さないしまた甲羅である」ということは成り立たないならば引き出し易い」ものはある」ということは本当である fact10: 「もしも「重くないししかも合併し易くない」ということは真実でないとすると近し」物はある fact11: 「もし仮に「繻子でないがしかし言い訳出来る」ということは成り立たないなら痛み始める」ものはある fact12: 「もし「青臭くないしその上屹立しない」ということは確かであるということはないならすりゃ良い」物はある fact13: もし「その労働者災害補償保険法は叫び出す一方で甲羅でない」ということは成り立たないならば引き出し易い fact14: 「もし仮に甲羅ならば引き出し易い」ものはある fact15: 「なにがしかのものは硫酸塩だということはなくて更に生じ難くない」ということは確かだということはないとしたら忘れ難い fact16: もし仮にその労働者災害補償保険法が甲羅だとしたらそれは引き出し易い fact17: もしも「その労働者災害補償保険法は募集委託者でないし引き算しない」ということは本当でないとすると疚しい fact18: 「もし仮に「逃げ散らなくてかつ駆け入らない」ということは本当だということはないとすればＡ・Ｂ・Ｃ・Ｄ・Ｅな」ものはある fact19: 「「ソングでないしさらに幼しない」ということは成り立たないとすれば駆り出す」物はある fact20: 「もし仮に叫び出すとすると引き出し易い」物はある ; $hypothesis$ = 「もしも「叫び出さないし甲羅でない」ということは事実と異なるとすれば引き出し易い」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは退色し易くないし加えて敵国だということはない」ということは正しくないとしたらそれは止まり掛ける
事実2: 「叫び出さなくて甲羅でないとしたら引き出し易い」ものはある
事実3: 「「叫び出すし加えて甲羅でない」ということは成り立たないなら引き出し易い」物はある
事実4: 仮にその労働者災害補償保険法が叫び出さないししかも甲羅だということはないとすると引き出し易い
事実5: もし「その労働者災害補償保険法は甲羅でなくてそれはとろくない」ということは正しくないとするとそれは重い
事実6: 仮に「何かはすりゃ良くないし教うない」ということは事実と異なるとしたらそれは既成教会だ
事実7: 「仮に「しどけなくないしさらに短命群でない」ということは成り立たないとしたら日本電気である」ものはある
事実8: 「その労働者災害補償保険法は叫び出さなくて甲羅でない」ということは成り立たないとしたら引き出し易い
事実9: 「「仮に「叫び出さないしまた甲羅である」ということは成り立たないならば引き出し易い」ものはある」ということは本当である
事実10: 「もしも「重くないししかも合併し易くない」ということは真実でないとすると近し」物はある
事実11: 「もし仮に「繻子でないがしかし言い訳出来る」ということは成り立たないなら痛み始める」ものはある
事実12: 「もし「青臭くないしその上屹立しない」ということは確かであるということはないならすりゃ良い」物はある
事実13: もし「その労働者災害補償保険法は叫び出す一方で甲羅でない」ということは成り立たないならば引き出し易い
事実14: 「もし仮に甲羅ならば引き出し易い」ものはある
事実15: 「なにがしかのものは硫酸塩だということはなくて更に生じ難くない」ということは確かだということはないとしたら忘れ難い
事実16: もし仮にその労働者災害補償保険法が甲羅だとしたらそれは引き出し易い
事実17: もしも「その労働者災害補償保険法は募集委託者でないし引き算しない」ということは本当でないとすると疚しい
事実18: 「もし仮に「逃げ散らなくてかつ駆け入らない」ということは本当だということはないとすればＡ・Ｂ・Ｃ・Ｄ・Ｅな」ものはある
事実19: 「「ソングでないしさらに幼しない」ということは成り立たないとすれば駆り出す」物はある
事実20: 「もし仮に叫び出すとすると引き出し易い」物はある

仮説: 「もしも「叫び出さないし甲羅でない」ということは事実と異なるとすれば引き出し易い」物はある
1. 事実8から、仮説が導かれる

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