「その肉蓯蓉は突き当たるし加えてオフィシャルサイトである」ということは誤っている
fact1: そのホンバンは夏らしい fact2: 仮にある物は舞い始めるということはないとすると「「それは突き当たるしそれにそれはオフィシャルサイトだ」ということは本当である」ということは誤っている fact3: そのホンバンは生まれ易くない fact4: そのホンバンはひもじい fact5: 仮にそのホンバンは吸収合併するということはないがしかし舞い始めるとすると夏らしい fact6: もし仮にそのホンバンが失しないならあの御迎え玄関はＣＨＳであるかもしくは薄い fact7: そのホンバンは生まれ易くないけど吸収合併するとすればそれは舞い始める fact8: もしもこの業務関与は連絡しないしひもじくないとするとそれはＣＨＳである fact9: そのホンバンは共振でない fact10: この業務関与は連絡しないし加えてひもじくない fact11: そのホンバンが舞い始めるけれど薄くないならその肉蓯蓉は失する fact12: その肉蓯蓉は夏らしい fact13: 「「突き当たるし共振である」ということは成り立たない」ものはある fact14: もし仮に「そのホンバンは生まれ易くないがしかしそれは吸収合併する」ということは誤りだとすればあの業務関与はＣＨＳでない fact15: 「ＣＨＳは夏らしい」ということは成り立つ fact16: もしこの業務関与が突き当たらないとしたらあの御迎え玄関は溶け易いが舞い始めない fact17: もし何らかのものが失しないかそれが共振だとすればあの業務関与は薄くない fact18: この業務関与は共振である fact19: 夏らしいものはオフィシャルサイトだ fact20: もし「「突き当たるし更に共振である」ということは成り立たない」物があるとするとこの業務関与は突き当たらない fact21: もし仮にそのホンバンは共振でないなら「薄くない」ということは事実だ fact22: 仮にその肉蓯蓉が失するならそれは突き当たる fact23: この両団子は失するということはないかまたは共振であるかまたは両方ともだ
void -> assump1: 以下のように仮定する。「「そのホンバンは生まれ易くない一方で吸収合併する」ということは確かであるということはない」ということは本当である; fact14 & assump1 -> int1: この業務関与はＣＨＳでない; fact10 & fact8 -> int2: この業務関与はＣＨＳだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのホンバンは生まれ易くないけどそれは吸収合併する; int4 & fact7 -> int5: そのホンバンは舞い始める; fact21 & fact9 -> int6: そのホンバンは薄くない; int5 & int6 -> int7: 「そのホンバンは舞い始めるけれど薄いということはない」ということは誤っていない; int7 & fact11 -> int8: その肉蓯蓉は失する; int8 & fact22 -> int9: その肉蓯蓉は突き当たる; fact19 -> int10: 「仮にその肉蓯蓉が夏らしいならばその肉蓯蓉はオフィシャルサイトである」ということは成り立つ; fact12 & int10 -> int11: その肉蓯蓉はオフィシャルサイトである; int9 & int11 -> hypothesis;
あの御迎え玄関は溶け易いし加えて入れ易い
fact24 & fact25 -> int12: この業務関与は突き当たらない; fact26 & int12 -> int13: あの御迎え玄関は溶け易いが舞い始めない; int13 -> int14: あの御迎え玄関は溶け易い;
$facts$ = fact1: そのホンバンは夏らしい fact2: 仮にある物は舞い始めるということはないとすると「「それは突き当たるしそれにそれはオフィシャルサイトだ」ということは本当である」ということは誤っている fact3: そのホンバンは生まれ易くない fact4: そのホンバンはひもじい fact5: 仮にそのホンバンは吸収合併するということはないがしかし舞い始めるとすると夏らしい fact6: もし仮にそのホンバンが失しないならあの御迎え玄関はＣＨＳであるかもしくは薄い fact7: そのホンバンは生まれ易くないけど吸収合併するとすればそれは舞い始める fact8: もしもこの業務関与は連絡しないしひもじくないとするとそれはＣＨＳである fact9: そのホンバンは共振でない fact10: この業務関与は連絡しないし加えてひもじくない fact11: そのホンバンが舞い始めるけれど薄くないならその肉蓯蓉は失する fact12: その肉蓯蓉は夏らしい fact13: 「「突き当たるし共振である」ということは成り立たない」ものはある fact14: もし仮に「そのホンバンは生まれ易くないがしかしそれは吸収合併する」ということは誤りだとすればあの業務関与はＣＨＳでない fact15: 「ＣＨＳは夏らしい」ということは成り立つ fact16: もしこの業務関与が突き当たらないとしたらあの御迎え玄関は溶け易いが舞い始めない fact17: もし何らかのものが失しないかそれが共振だとすればあの業務関与は薄くない fact18: この業務関与は共振である fact19: 夏らしいものはオフィシャルサイトだ fact20: もし「「突き当たるし更に共振である」ということは成り立たない」物があるとするとこの業務関与は突き当たらない fact21: もし仮にそのホンバンは共振でないなら「薄くない」ということは事実だ fact22: 仮にその肉蓯蓉が失するならそれは突き当たる fact23: この両団子は失するということはないかまたは共振であるかまたは両方ともだ ; $hypothesis$ = 「その肉蓯蓉は突き当たるし加えてオフィシャルサイトである」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「「そのホンバンは生まれ易くない一方で吸収合併する」ということは確かであるということはない」ということは本当である; fact14 & assump1 -> int1: この業務関与はＣＨＳでない; fact10 & fact8 -> int2: この業務関与はＣＨＳだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのホンバンは生まれ易くないけどそれは吸収合併する; int4 & fact7 -> int5: そのホンバンは舞い始める; fact21 & fact9 -> int6: そのホンバンは薄くない; int5 & int6 -> int7: 「そのホンバンは舞い始めるけれど薄いということはない」ということは誤っていない; int7 & fact11 -> int8: その肉蓯蓉は失する; int8 & fact22 -> int9: その肉蓯蓉は突き当たる; fact19 -> int10: 「仮にその肉蓯蓉が夏らしいならばその肉蓯蓉はオフィシャルサイトである」ということは成り立つ; fact12 & int10 -> int11: その肉蓯蓉はオフィシャルサイトである; int9 & int11 -> hypothesis; __DISPROVED__
事実1: そのホンバンは夏らしい
事実2: 仮にある物は舞い始めるということはないとすると「「それは突き当たるしそれにそれはオフィシャルサイトだ」ということは本当である」ということは誤っている
事実3: そのホンバンは生まれ易くない
事実4: そのホンバンはひもじい
事実5: 仮にそのホンバンは吸収合併するということはないがしかし舞い始めるとすると夏らしい
事実6: もし仮にそのホンバンが失しないならあの御迎え玄関はＣＨＳであるかもしくは薄い
事実7: そのホンバンは生まれ易くないけど吸収合併するとすればそれは舞い始める
事実8: もしもこの業務関与は連絡しないしひもじくないとするとそれはＣＨＳである
事実9: そのホンバンは共振でない
事実10: この業務関与は連絡しないし加えてひもじくない
事実11: そのホンバンが舞い始めるけれど薄くないならその肉蓯蓉は失する
事実12: その肉蓯蓉は夏らしい
事実13: 「「突き当たるし共振である」ということは成り立たない」ものはある
事実14: もし仮に「そのホンバンは生まれ易くないがしかしそれは吸収合併する」ということは誤りだとすればあの業務関与はＣＨＳでない
事実15: 「ＣＨＳは夏らしい」ということは成り立つ
事実16: もしこの業務関与が突き当たらないとしたらあの御迎え玄関は溶け易いが舞い始めない
事実17: もし何らかのものが失しないかそれが共振だとすればあの業務関与は薄くない
事実18: この業務関与は共振である
事実19: 夏らしいものはオフィシャルサイトだ
事実20: もし「「突き当たるし更に共振である」ということは成り立たない」物があるとするとこの業務関与は突き当たらない
事実21: もし仮にそのホンバンは共振でないなら「薄くない」ということは事実だ
事実22: 仮にその肉蓯蓉が失するならそれは突き当たる
事実23: この両団子は失するということはないかまたは共振であるかまたは両方ともだ

仮説: 「その肉蓯蓉は突き当たるし加えてオフィシャルサイトである」ということは誤っている
1. 仮定1: 以下のように仮定する。「「そのホンバンは生まれ易くない一方で吸収合併する」ということは確かであるということはない」ということは本当である
2. 事実14と仮定1から、推論1: "この業務関与はＣＨＳでない"が導かれる
3. 事実10と事実8から、推論2: "この業務関与はＣＨＳだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのホンバンは生まれ易くないけどそれは吸収合併する"が導かれる
6. 推論4と事実7から、推論5: "そのホンバンは舞い始める"が導かれる
7. 事実21と事実9から、推論6: "そのホンバンは薄くない"が導かれる
8. 推論5と推論6から、推論7: "「そのホンバンは舞い始めるけれど薄いということはない」ということは誤っていない"が導かれる
9. 推論7と事実11から、推論8: "その肉蓯蓉は失する"が導かれる
10. 推論8と事実22から、推論9: "その肉蓯蓉は突き当たる"が導かれる
11. 事実19から、推論10: "「仮にその肉蓯蓉が夏らしいならばその肉蓯蓉はオフィシャルサイトである」ということは成り立つ"が導かれる
12. 事実12と推論10から、推論11: "その肉蓯蓉はオフィシャルサイトである"が導かれる
13. 推論9と推論11から、仮説が否定される

よって、仮説が否定されました。