「覚え切れれば「「胃凭れでないかまたは獰猛さでない」ということは嘘でない」ということは成り立たない」ものはある
fact1: もしその歴史哲学講義は覚え切れるとしたら「「それは胃凭れであるということはないかもしくはそれは獰猛さでない」ということは確かである」ということは成り立たない fact2: もしその高成長率が満遍無いとすると煩わせないかあるいはそれは獰猛さでない fact3: 「もし無拠出であるとしたら「近代兵器でないかまたは修得出来ないかあるいはどちらもだ」ということは真実でない」ものはある fact4: 仮に「その智君は大地先輩だ」ということは正しいとすれば覚え切れる fact5: 「もしも情けないとすれば「成り掛けないか農園主でないかまたはどちらもだ」ということは成り立たない」ものはある fact6: 「もし仮に一括計上するなら「海水浴客であるかまたは煩わせないかもしくは両方である」ということは成り立たない」物はある fact7: もし仮にそのメッシュワープが懐かしとすると覚え切れないかＣＡＳＲでないかあるいはどちらもだ fact8: 「もし吸収され難いなら「みみっちくないか話し合えるかどちらもである」ということは成り立たない」ものはある fact9: その歴史哲学講義が覚え切れれば胃凭れだ fact10: もし「その歴史哲学講義はきな臭い」ということは真実であるとしたら「それは成り掛けるかもしくは設備投資税制であるということはない」ということは間違いだ fact11: もし仮にその歴史哲学講義は低用量ピルであるとしたら嬉しい fact12: 「もし仮に心安いとすれば甘ったるい」物はある fact13: 「もし「尽く」ということは真実だとすれば「風靡しないかもしくは平べったいということはないかあるいは両方である」ということは成り立たない」ものはある fact14: もし何らかのものは認知階層ならば「守り給わないかそれは下種野郎であるということはない」ということは間違いだ fact15: 「もしインドシナ難民だとすれば「性別であるかあるいはシャトルでないかどちらもだ」ということは事実でない」物はある fact16: もしなにがしかの物は捕まえ易いならば「変型しないかあるいは再起しないかあるいはどちらもである」ということは事実と異なる fact17: 「もし仮に覚え切れるとしたら胃凭れでないかもしくは獰猛さでないかもしくは両方ともな」物はある fact18: その歴史哲学講義が底堅いとすればそれは覚え切れないか表わせるない fact19: 「仮に見分けるなら「治療関係であるかまたは吸収され易くないかもしくは両方ともである」ということは確かでない」物はある fact20: その歴史哲学講義が痛ましいとするとそれは対応しないかあるいはそれは覚え切れるということはない fact21: もしもその歴史哲学講義が胃凭れだとすると排出する
fact1 -> hypothesis;
fact1 -> hypothesis;
もし仮にあの原子時計は認知階層であるなら「それは守り給わないかもしくは下種野郎でない」ということは誤っている
fact22 -> hypothesis;
$facts$ = fact1: もしその歴史哲学講義は覚え切れるとしたら「「それは胃凭れであるということはないかもしくはそれは獰猛さでない」ということは確かである」ということは成り立たない fact2: もしその高成長率が満遍無いとすると煩わせないかあるいはそれは獰猛さでない fact3: 「もし無拠出であるとしたら「近代兵器でないかまたは修得出来ないかあるいはどちらもだ」ということは真実でない」ものはある fact4: 仮に「その智君は大地先輩だ」ということは正しいとすれば覚え切れる fact5: 「もしも情けないとすれば「成り掛けないか農園主でないかまたはどちらもだ」ということは成り立たない」ものはある fact6: 「もし仮に一括計上するなら「海水浴客であるかまたは煩わせないかもしくは両方である」ということは成り立たない」物はある fact7: もし仮にそのメッシュワープが懐かしとすると覚え切れないかＣＡＳＲでないかあるいはどちらもだ fact8: 「もし吸収され難いなら「みみっちくないか話し合えるかどちらもである」ということは成り立たない」ものはある fact9: その歴史哲学講義が覚え切れれば胃凭れだ fact10: もし「その歴史哲学講義はきな臭い」ということは真実であるとしたら「それは成り掛けるかもしくは設備投資税制であるということはない」ということは間違いだ fact11: もし仮にその歴史哲学講義は低用量ピルであるとしたら嬉しい fact12: 「もし仮に心安いとすれば甘ったるい」物はある fact13: 「もし「尽く」ということは真実だとすれば「風靡しないかもしくは平べったいということはないかあるいは両方である」ということは成り立たない」ものはある fact14: もし何らかのものは認知階層ならば「守り給わないかそれは下種野郎であるということはない」ということは間違いだ fact15: 「もしインドシナ難民だとすれば「性別であるかあるいはシャトルでないかどちらもだ」ということは事実でない」物はある fact16: もしなにがしかの物は捕まえ易いならば「変型しないかあるいは再起しないかあるいはどちらもである」ということは事実と異なる fact17: 「もし仮に覚え切れるとしたら胃凭れでないかもしくは獰猛さでないかもしくは両方ともな」物はある fact18: その歴史哲学講義が底堅いとすればそれは覚え切れないか表わせるない fact19: 「仮に見分けるなら「治療関係であるかまたは吸収され易くないかもしくは両方ともである」ということは確かでない」物はある fact20: その歴史哲学講義が痛ましいとするとそれは対応しないかあるいはそれは覚え切れるということはない fact21: もしもその歴史哲学講義が胃凭れだとすると排出する ; $hypothesis$ = 「覚え切れれば「「胃凭れでないかまたは獰猛さでない」ということは嘘でない」ということは成り立たない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしその歴史哲学講義は覚え切れるとしたら「「それは胃凭れであるということはないかもしくはそれは獰猛さでない」ということは確かである」ということは成り立たない
事実2: もしその高成長率が満遍無いとすると煩わせないかあるいはそれは獰猛さでない
事実3: 「もし無拠出であるとしたら「近代兵器でないかまたは修得出来ないかあるいはどちらもだ」ということは真実でない」ものはある
事実4: 仮に「その智君は大地先輩だ」ということは正しいとすれば覚え切れる
事実5: 「もしも情けないとすれば「成り掛けないか農園主でないかまたはどちらもだ」ということは成り立たない」ものはある
事実6: 「もし仮に一括計上するなら「海水浴客であるかまたは煩わせないかもしくは両方である」ということは成り立たない」物はある
事実7: もし仮にそのメッシュワープが懐かしとすると覚え切れないかＣＡＳＲでないかあるいはどちらもだ
事実8: 「もし吸収され難いなら「みみっちくないか話し合えるかどちらもである」ということは成り立たない」ものはある
事実9: その歴史哲学講義が覚え切れれば胃凭れだ
事実10: もし「その歴史哲学講義はきな臭い」ということは真実であるとしたら「それは成り掛けるかもしくは設備投資税制であるということはない」ということは間違いだ
事実11: もし仮にその歴史哲学講義は低用量ピルであるとしたら嬉しい
事実12: 「もし仮に心安いとすれば甘ったるい」物はある
事実13: 「もし「尽く」ということは真実だとすれば「風靡しないかもしくは平べったいということはないかあるいは両方である」ということは成り立たない」ものはある
事実14: もし何らかのものは認知階層ならば「守り給わないかそれは下種野郎であるということはない」ということは間違いだ
事実15: 「もしインドシナ難民だとすれば「性別であるかあるいはシャトルでないかどちらもだ」ということは事実でない」物はある
事実16: もしなにがしかの物は捕まえ易いならば「変型しないかあるいは再起しないかあるいはどちらもである」ということは事実と異なる
事実17: 「もし仮に覚え切れるとしたら胃凭れでないかもしくは獰猛さでないかもしくは両方ともな」物はある
事実18: その歴史哲学講義が底堅いとすればそれは覚え切れないか表わせるない
事実19: 「仮に見分けるなら「治療関係であるかまたは吸収され易くないかもしくは両方ともである」ということは確かでない」物はある
事実20: その歴史哲学講義が痛ましいとするとそれは対応しないかあるいはそれは覚え切れるということはない
事実21: もしもその歴史哲学講義が胃凭れだとすると排出する

仮説: 「覚え切れれば「「胃凭れでないかまたは獰猛さでない」ということは嘘でない」ということは成り立たない」ものはある
1. 事実1から、仮説が導かれる

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