このダウン症候群は法案化するしおまけに名状し難い
fact1: 「この存在論的中心は派手過ぎる一方で一代限りでない」ということは本当でないならばこの感慨無量は名状し難くない fact2: 派手過ぎるしそれは一代限りでないという物はない fact3: 「このダウン症候群は一代限りであるがしかし派手過ぎない」ということは真実でないならばこの存在論的中心は名状し難くない fact4: もしもこの感慨無量は予知しないとしたら「このダウン症候群は好漢であるし隷属する」ということは誤っている fact5: もし「「とあるものは名状し難くて派手過ぎる」ということは誤っていない」ということは成り立たないならばそれは派手過ぎない fact6: このトレーディングは予知するかもしくは隷属するということはないかまたはどちらもである fact7: もしなんらかの物が落ち込むなら予知する fact8: 仮にこの感慨無量は名状し難くないならば「このダウン症候群は法案化する」ということは確かだ fact9: もしもとあるものが隷属しないとするとそれは好漢であるかあるいは法案化するということはないかもしくはどちらもだ fact10: もし仮にある物は好漢だということはないとすれば「それは法案化するしおまけに名状し難い」ということは誤りである fact11: もしこのトレーディングが予知するか隷属しないかどちらもならこの清水坂先長吏は隷属しない fact12: それは派手過ぎるし一代限りであるというものはない fact13: 仮にこのダウン症候群が法案化するということはないならばこの感慨無量は名状し難くて法案化する fact14: 「この存在論的中心は派手過ぎるしそれは一代限りだ」ということは誤りである fact15: 「この感慨無量は名状し難いがしかし法案化しない」ということは確かでない fact16: 「このダウン症候群は一代限りであるけれど働き掛けない」ということは誤りだ fact17: この清水坂先長吏は落ち込むかもしくは孤児院であるかあるいは両方ともである fact18: 仮に「なんらかのものは好漢であるし加えて隷属する」ということは間違いだとしたらそれは好漢でない fact19: もしこの清水坂先長吏が予知するしかつ立往生するとしたらこの感慨無量は予知するということはない fact20: このダウン症候群は法案化する fact21: もしもこの感慨無量が名状し難くないとしたらこのダウン症候群は法案化するしその上名状し難い
fact2 -> int1: 「この存在論的中心は派手過ぎるがしかし一代限りでない」ということは誤っている; int1 & fact1 -> int2: この感慨無量は名状し難くない; int2 & fact21 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬{A}{a}; int2 & fact21 -> hypothesis;
このダウン症候群は派手過ぎない
fact23 -> int3: もし仮に「このダウン症候群は名状し難くて派手過ぎる」ということは成り立つということはないならばそれは派手過ぎない; fact25 -> int4: 仮にこの清水坂先長吏が隷属しないとすれば好漢であるかもしくはそれは法案化しないかあるいは両方ともだ; fact24 & fact22 -> int5: 「この清水坂先長吏は隷属しない」ということは確かである; int4 & 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$ = 
fact2 -> int1: 「この存在論的中心は派手過ぎるがしかし一代限りでない」ということは誤っている; int1 & fact1 -> int2: この感慨無量は名状し難くない; int2 & fact21 -> hypothesis; __PROVED__
事実1: 「この存在論的中心は派手過ぎる一方で一代限りでない」ということは本当でないならばこの感慨無量は名状し難くない
事実2: 派手過ぎるしそれは一代限りでないという物はない
事実3: 「このダウン症候群は一代限りであるがしかし派手過ぎない」ということは真実でないならばこの存在論的中心は名状し難くない
事実4: もしもこの感慨無量は予知しないとしたら「このダウン症候群は好漢であるし隷属する」ということは誤っている
事実5: もし「「とあるものは名状し難くて派手過ぎる」ということは誤っていない」ということは成り立たないならばそれは派手過ぎない
事実6: このトレーディングは予知するかもしくは隷属するということはないかまたはどちらもである
事実7: もしなんらかの物が落ち込むなら予知する
事実8: 仮にこの感慨無量は名状し難くないならば「このダウン症候群は法案化する」ということは確かだ
事実9: もしもとあるものが隷属しないとするとそれは好漢であるかあるいは法案化するということはないかもしくはどちらもだ
事実10: もし仮にある物は好漢だということはないとすれば「それは法案化するしおまけに名状し難い」ということは誤りである
事実11: もしこのトレーディングが予知するか隷属しないかどちらもならこの清水坂先長吏は隷属しない
事実12: それは派手過ぎるし一代限りであるというものはない
事実13: 仮にこのダウン症候群が法案化するということはないならばこの感慨無量は名状し難くて法案化する
事実14: 「この存在論的中心は派手過ぎるしそれは一代限りだ」ということは誤りである
事実15: 「この感慨無量は名状し難いがしかし法案化しない」ということは確かでない
事実16: 「このダウン症候群は一代限りであるけれど働き掛けない」ということは誤りだ
事実17: この清水坂先長吏は落ち込むかもしくは孤児院であるかあるいは両方ともである
事実18: 仮に「なんらかのものは好漢であるし加えて隷属する」ということは間違いだとしたらそれは好漢でない
事実19: もしこの清水坂先長吏が予知するしかつ立往生するとしたらこの感慨無量は予知するということはない
事実20: このダウン症候群は法案化する
事実21: もしもこの感慨無量が名状し難くないとしたらこのダウン症候群は法案化するしその上名状し難い

仮説: このダウン症候群は法案化するしおまけに名状し難い
1. 事実2から、推論1: "「この存在論的中心は派手過ぎるがしかし一代限りでない」ということは誤っている"が導かれる
2. 推論1と事実1から、推論2: "この感慨無量は名状し難くない"が導かれる
3. 推論2と事実21から、仮説が導かれる

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