その憲法発布は悪し
fact1: もしもなんらかの物は忘れ易いならば「その憲法発布は通勤出来るけれど心安くない」ということは確かだということはない fact2: けばけばしいものは悪し fact3: 仮に「尤もらしい」ものはあるとしたら「その憲法発布は忘れ易いけどそれは投げ付けない」ということは偽である fact4: もし仮に「何かはクローズするがしかしエスカレートしない」ということは成り立たないならばそれは欲しい fact5: 仮にその憲法発布が通勤出来るということはないとしたらそれはけばけばしい fact6: 何かは通勤出来るということはないとすればそれは忘れ易くないしさらに悪しない fact7: もしも「けばけばしい」物はあるなら「その憲法発布は永小作権でしかも出易い」ということは間違いである fact8: 仮にあの大枠が訓読みしない一方で馬鹿でかいならばあのグッドＳは空城であるということはない fact9: あの分泌系はけばけばしい fact10: もし「とあるものは痩せ難い一方で欲でない」ということは間違いなら床しい fact11: もしもこの無制限が混同するということはないならその憲法発布はけばけばしいが心安くない fact12: けばけばしい物が心安くないとすれば通勤出来ない fact13: 「忘れ易い」ものはある fact14: もしもなにかは通勤出来るということはないとしたらそれはけばけばしい fact15: もしも「とあるものは通勤出来るがしかし心安くない」ということは間違いなら「それはけばけばしい」ということは本当だ fact16: もし仮にあのグッドＳは空城であるということはないとしたら「このアマリリスは混同するけど有性生殖するということはない」ということは成り立たない
fact13 & fact1 -> int1: 「その憲法発布は通勤出来るが心安くない」ということは成り立たない; fact15 -> int2: もし「その憲法発布は通勤出来るけど心安くない」ということは確かでないとすると「それはけばけばしい」ということは成り立つ; int1 & int2 -> int3: その憲法発布はけばけばしい; fact2 -> int4: もし仮にその憲法発布はけばけばしいとしたら「悪し」ということは成り立つ; int3 & int4 -> hypothesis;
その憲法発布は悪しない
fact20 -> int5: もしその憲法発布が通勤出来るということはないとすればそれは忘れ易くないし加えて悪しということはない; fact21 -> int6: もしその憲法発布がけばけばしいけれどそれが心安くないならば通勤出来ない;
$facts$ = fact1: もしもなんらかの物は忘れ易いならば「その憲法発布は通勤出来るけれど心安くない」ということは確かだということはない fact2: けばけばしいものは悪し fact3: 仮に「尤もらしい」ものはあるとしたら「その憲法発布は忘れ易いけどそれは投げ付けない」ということは偽である fact4: もし仮に「何かはクローズするがしかしエスカレートしない」ということは成り立たないならばそれは欲しい fact5: 仮にその憲法発布が通勤出来るということはないとしたらそれはけばけばしい fact6: 何かは通勤出来るということはないとすればそれは忘れ易くないしさらに悪しない fact7: もしも「けばけばしい」物はあるなら「その憲法発布は永小作権でしかも出易い」ということは間違いである fact8: 仮にあの大枠が訓読みしない一方で馬鹿でかいならばあのグッドＳは空城であるということはない fact9: あの分泌系はけばけばしい fact10: もし「とあるものは痩せ難い一方で欲でない」ということは間違いなら床しい fact11: もしもこの無制限が混同するということはないならその憲法発布はけばけばしいが心安くない fact12: けばけばしい物が心安くないとすれば通勤出来ない fact13: 「忘れ易い」ものはある fact14: もしもなにかは通勤出来るということはないとしたらそれはけばけばしい fact15: もしも「とあるものは通勤出来るがしかし心安くない」ということは間違いなら「それはけばけばしい」ということは本当だ fact16: もし仮にあのグッドＳは空城であるということはないとしたら「このアマリリスは混同するけど有性生殖するということはない」ということは成り立たない ; $hypothesis$ = その憲法発布は悪し ; $proof$ = 
fact13 & fact1 -> int1: 「その憲法発布は通勤出来るが心安くない」ということは成り立たない; fact15 -> int2: もし「その憲法発布は通勤出来るけど心安くない」ということは確かでないとすると「それはけばけばしい」ということは成り立つ; int1 & int2 -> int3: その憲法発布はけばけばしい; fact2 -> int4: もし仮にその憲法発布はけばけばしいとしたら「悪し」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は忘れ易いならば「その憲法発布は通勤出来るけれど心安くない」ということは確かだということはない
事実2: けばけばしいものは悪し
事実3: 仮に「尤もらしい」ものはあるとしたら「その憲法発布は忘れ易いけどそれは投げ付けない」ということは偽である
事実4: もし仮に「何かはクローズするがしかしエスカレートしない」ということは成り立たないならばそれは欲しい
事実5: 仮にその憲法発布が通勤出来るということはないとしたらそれはけばけばしい
事実6: 何かは通勤出来るということはないとすればそれは忘れ易くないしさらに悪しない
事実7: もしも「けばけばしい」物はあるなら「その憲法発布は永小作権でしかも出易い」ということは間違いである
事実8: 仮にあの大枠が訓読みしない一方で馬鹿でかいならばあのグッドＳは空城であるということはない
事実9: あの分泌系はけばけばしい
事実10: もし「とあるものは痩せ難い一方で欲でない」ということは間違いなら床しい
事実11: もしもこの無制限が混同するということはないならその憲法発布はけばけばしいが心安くない
事実12: けばけばしい物が心安くないとすれば通勤出来ない
事実13: 「忘れ易い」ものはある
事実14: もしもなにかは通勤出来るということはないとしたらそれはけばけばしい
事実15: もしも「とあるものは通勤出来るがしかし心安くない」ということは間違いなら「それはけばけばしい」ということは本当だ
事実16: もし仮にあのグッドＳは空城であるということはないとしたら「このアマリリスは混同するけど有性生殖するということはない」ということは成り立たない

仮説: その憲法発布は悪し
1. 事実13と事実1から、推論1: "「その憲法発布は通勤出来るが心安くない」ということは成り立たない"が導かれる
2. 事実15から、推論2: "もし「その憲法発布は通勤出来るけど心安くない」ということは確かでないとすると「それはけばけばしい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その憲法発布はけばけばしい"が導かれる
4. 事実2から、推論4: "もし仮にその憲法発布はけばけばしいとしたら「悪し」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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