「その宮中は威迫するということはない」ということは間違いである
fact1: 何らかのものは一口酒でないけどそれは通り易い fact2: 「ジェンダーでなくて大騒ぎしない」ものはある fact3: 仮にその歴史上は一口酒でないならば「その宮中は通り易くないしかつ等しくない」ということは事実と異なる fact4: もし仮に何らかのものがペイントしないとしたらその歴史上は繰り戻さない fact5: 「「「笑わさないがしかし同期化する」ということは確かである」ということは偽な」物はある fact6: 仮にとある物が等しいならばそれは威迫するということはない fact7: 「「狂おしいしさらに天使らしい」ということは誤りな」物はある fact8: もしもこの発症リスクは契約手続きでないとしたら「クリスマスローズでないし更にそれは結び付き易いということはない」ということは成り立たない fact9: 「「その宮中は通り易くないけれど等しい」ということは事実と異なる」ということは真実である fact10: その宮中は一口酒でない fact11: 等しい物は一口酒でないが威迫する fact12: もしもその歴史上は転び易いとしたら「その宮中は通り易いがしかし小難しくない」ということは真実でない fact13: もし「「「威迫する」ということは真実である」ということは嘘である」物があるとしたらその宮中は一口酒であるということはない fact14: もし「「笑わさないが同期化する」ということは成り立つということはない」物があるならその歴史上は一口酒だということはない fact15: 「「一口酒であるしおまけに通り易い」ということは誤りな」物はある fact16: その歴史上は通り易くない fact17: 「その歴史上はされ易くないし威迫しない」ということは間違っている fact18: 仮に「何らかのものは通り易くなくてまた等しくない」ということは間違っているなら威迫しない fact19: もし「この発症リスクはクリスマスローズでなくて結び付き易いということはない」ということは間違いであるとしたらその競走馬データは結び付き易くない fact20: もしその競走馬データが結び付き易いということはないならばその歴史上は転び易くてまた模倣する fact21: 「「可笑ししおまけに三月分だ」ということは本当でない」ものはある fact22: もし仮に「一口酒でない」ものがあればその歴史上は通り易くない
fact5 & fact14 -> int1: その歴史上は一口酒でない; int1 & fact3 -> int2: 「その宮中は通り易くないし等しくない」ということは間違っている; fact18 -> int3: 仮に「その宮中は通り易くないし等しいということはない」ということは成り立たないとすれば威迫しない; int2 & int3 -> hypothesis;
その宮中は威迫する
fact23 -> int4: もし仮にその宮中が等しいならそれは一口酒でなくてまたそれは威迫する;
$facts$ = fact1: 何らかのものは一口酒でないけどそれは通り易い fact2: 「ジェンダーでなくて大騒ぎしない」ものはある fact3: 仮にその歴史上は一口酒でないならば「その宮中は通り易くないしかつ等しくない」ということは事実と異なる fact4: もし仮に何らかのものがペイントしないとしたらその歴史上は繰り戻さない fact5: 「「「笑わさないがしかし同期化する」ということは確かである」ということは偽な」物はある fact6: 仮にとある物が等しいならばそれは威迫するということはない fact7: 「「狂おしいしさらに天使らしい」ということは誤りな」物はある fact8: もしもこの発症リスクは契約手続きでないとしたら「クリスマスローズでないし更にそれは結び付き易いということはない」ということは成り立たない fact9: 「「その宮中は通り易くないけれど等しい」ということは事実と異なる」ということは真実である fact10: その宮中は一口酒でない fact11: 等しい物は一口酒でないが威迫する fact12: もしもその歴史上は転び易いとしたら「その宮中は通り易いがしかし小難しくない」ということは真実でない fact13: もし「「「威迫する」ということは真実である」ということは嘘である」物があるとしたらその宮中は一口酒であるということはない fact14: もし「「笑わさないが同期化する」ということは成り立つということはない」物があるならその歴史上は一口酒だということはない fact15: 「「一口酒であるしおまけに通り易い」ということは誤りな」物はある fact16: その歴史上は通り易くない fact17: 「その歴史上はされ易くないし威迫しない」ということは間違っている fact18: 仮に「何らかのものは通り易くなくてまた等しくない」ということは間違っているなら威迫しない fact19: もし「この発症リスクはクリスマスローズでなくて結び付き易いということはない」ということは間違いであるとしたらその競走馬データは結び付き易くない fact20: もしその競走馬データが結び付き易いということはないならばその歴史上は転び易くてまた模倣する fact21: 「「可笑ししおまけに三月分だ」ということは本当でない」ものはある fact22: もし仮に「一口酒でない」ものがあればその歴史上は通り易くない ; $hypothesis$ = 「その宮中は威迫するということはない」ということは間違いである ; $proof$ = 
fact5 & fact14 -> int1: その歴史上は一口酒でない; int1 & fact3 -> int2: 「その宮中は通り易くないし等しくない」ということは間違っている; fact18 -> int3: 仮に「その宮中は通り易くないし等しいということはない」ということは成り立たないとすれば威迫しない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 何らかのものは一口酒でないけどそれは通り易い
事実2: 「ジェンダーでなくて大騒ぎしない」ものはある
事実3: 仮にその歴史上は一口酒でないならば「その宮中は通り易くないしかつ等しくない」ということは事実と異なる
事実4: もし仮に何らかのものがペイントしないとしたらその歴史上は繰り戻さない
事実5: 「「「笑わさないがしかし同期化する」ということは確かである」ということは偽な」物はある
事実6: 仮にとある物が等しいならばそれは威迫するということはない
事実7: 「「狂おしいしさらに天使らしい」ということは誤りな」物はある
事実8: もしもこの発症リスクは契約手続きでないとしたら「クリスマスローズでないし更にそれは結び付き易いということはない」ということは成り立たない
事実9: 「「その宮中は通り易くないけれど等しい」ということは事実と異なる」ということは真実である
事実10: その宮中は一口酒でない
事実11: 等しい物は一口酒でないが威迫する
事実12: もしもその歴史上は転び易いとしたら「その宮中は通り易いがしかし小難しくない」ということは真実でない
事実13: もし「「「威迫する」ということは真実である」ということは嘘である」物があるとしたらその宮中は一口酒であるということはない
事実14: もし「「笑わさないが同期化する」ということは成り立つということはない」物があるならその歴史上は一口酒だということはない
事実15: 「「一口酒であるしおまけに通り易い」ということは誤りな」物はある
事実16: その歴史上は通り易くない
事実17: 「その歴史上はされ易くないし威迫しない」ということは間違っている
事実18: 仮に「何らかのものは通り易くなくてまた等しくない」ということは間違っているなら威迫しない
事実19: もし「この発症リスクはクリスマスローズでなくて結び付き易いということはない」ということは間違いであるとしたらその競走馬データは結び付き易くない
事実20: もしその競走馬データが結び付き易いということはないならばその歴史上は転び易くてまた模倣する
事実21: 「「可笑ししおまけに三月分だ」ということは本当でない」ものはある
事実22: もし仮に「一口酒でない」ものがあればその歴史上は通り易くない

仮説: 「その宮中は威迫するということはない」ということは間違いである
1. 事実5と事実14から、推論1: "その歴史上は一口酒でない"が導かれる
2. 推論1と事実3から、推論2: "「その宮中は通り易くないし等しくない」ということは間違っている"が導かれる
3. 事実18から、推論3: "仮に「その宮中は通り易くないし等しいということはない」ということは成り立たないとすれば威迫しない"が導かれる
4. 推論2と推論3から、仮説が否定される

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