「このオリゴマーは手広いか尊くない」ということは間違いである
fact1: その骨董店は押し易い fact2: 何かは推奨出来るということはなくてかつ変色するということはない fact3: 仮にその平年は酔わないならば「それはどぎついししかも分離し易い」ということは成り立たない fact4: もしその平年が押し易くないとすればその骨董店は分析癖だ fact5: もし仮に「その骨董店は手広くない」ということは事実であるならこのオリゴマーは手広いかそれは尊いということはないかあるいはどちらもである fact6: 分離し易くないものは潜り抜けない fact7: 何かは一刀流随一でないとすれば押し易いしおまけに分析癖である fact8: もしもその骨董店が手広くないとしたらこのオリゴマーは手広いかあるいは尊いかどちらもである fact9: この国家戦略は挺する fact10: この抄本は手広い fact11: 何らかの物は分析癖だ fact12: 「「分析癖であるということはない」ということは真実である」ものはある fact13: もしも「「桜崎探偵事務所であるしそれに活動し難い」ということは成り立たない」ものはあるとすると「その平年は活動し難くない」ということは真実である fact14: 仮に「その平年はどぎついし分離し易い」ということは間違っているとするとそれは分離し易くない fact15: なんらかのものが潜り抜けないとするとそれは一刀流随一であるしそれは挺しない fact16: もしその骨董店が活動し難いし手広いとしたらその平年は挺しない fact17: 仮にあるものが分析癖でないならばその骨董店は押し易い fact18: 「分析癖でない」物があるとすればその骨董店は押し易いしかつそれは一刀流随一だ fact19: 「「桜崎探偵事務所でその上活動し難い」ということは事実と異なる」物はある fact20: もしその骨董店が一刀流随一だとすればそれは活動し難い fact21: その平年は挺する
fact12 & fact18 -> int1: その骨董店は押し易くてそれは一刀流随一だ; int1 -> int2: その骨董店は一刀流随一だ; int2 & fact20 -> int3: その骨董店は活動し難い; void -> assump1: 以下のように仮定する。その骨董店は手広い; int3 & assump1 -> int4: その骨董店は活動し難くてそれは手広い; int4 & fact16 -> int5: その平年は挺しない; int5 & fact21 -> int6: これは矛盾である; [assump1] & int6 -> int7: その骨董店は手広くない; int7 & fact5 -> hypothesis;
その当人達は押し易い
fact22 -> int8: もしその当人達が一刀流随一でないとすればそれは押し易いしそれは分析癖である;
$facts$ = fact1: その骨董店は押し易い fact2: 何かは推奨出来るということはなくてかつ変色するということはない fact3: 仮にその平年は酔わないならば「それはどぎついししかも分離し易い」ということは成り立たない fact4: もしその平年が押し易くないとすればその骨董店は分析癖だ fact5: もし仮に「その骨董店は手広くない」ということは事実であるならこのオリゴマーは手広いかそれは尊いということはないかあるいはどちらもである fact6: 分離し易くないものは潜り抜けない fact7: 何かは一刀流随一でないとすれば押し易いしおまけに分析癖である fact8: もしもその骨董店が手広くないとしたらこのオリゴマーは手広いかあるいは尊いかどちらもである fact9: この国家戦略は挺する fact10: この抄本は手広い fact11: 何らかの物は分析癖だ fact12: 「「分析癖であるということはない」ということは真実である」ものはある fact13: もしも「「桜崎探偵事務所であるしそれに活動し難い」ということは成り立たない」ものはあるとすると「その平年は活動し難くない」ということは真実である fact14: 仮に「その平年はどぎついし分離し易い」ということは間違っているとするとそれは分離し易くない fact15: なんらかのものが潜り抜けないとするとそれは一刀流随一であるしそれは挺しない fact16: もしその骨董店が活動し難いし手広いとしたらその平年は挺しない fact17: 仮にあるものが分析癖でないならばその骨董店は押し易い fact18: 「分析癖でない」物があるとすればその骨董店は押し易いしかつそれは一刀流随一だ fact19: 「「桜崎探偵事務所でその上活動し難い」ということは事実と異なる」物はある fact20: もしその骨董店が一刀流随一だとすればそれは活動し難い fact21: その平年は挺する ; $hypothesis$ = 「このオリゴマーは手広いか尊くない」ということは間違いである ; $proof$ = 
fact12 & fact18 -> int1: その骨董店は押し易くてそれは一刀流随一だ; int1 -> int2: その骨董店は一刀流随一だ; int2 & fact20 -> int3: その骨董店は活動し難い; void -> assump1: 以下のように仮定する。その骨董店は手広い; int3 & assump1 -> int4: その骨董店は活動し難くてそれは手広い; int4 & fact16 -> int5: その平年は挺しない; int5 & fact21 -> int6: これは矛盾である; [assump1] & int6 -> int7: その骨董店は手広くない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: その骨董店は押し易い
事実2: 何かは推奨出来るということはなくてかつ変色するということはない
事実3: 仮にその平年は酔わないならば「それはどぎついししかも分離し易い」ということは成り立たない
事実4: もしその平年が押し易くないとすればその骨董店は分析癖だ
事実5: もし仮に「その骨董店は手広くない」ということは事実であるならこのオリゴマーは手広いかそれは尊いということはないかあるいはどちらもである
事実6: 分離し易くないものは潜り抜けない
事実7: 何かは一刀流随一でないとすれば押し易いしおまけに分析癖である
事実8: もしもその骨董店が手広くないとしたらこのオリゴマーは手広いかあるいは尊いかどちらもである
事実9: この国家戦略は挺する
事実10: この抄本は手広い
事実11: 何らかの物は分析癖だ
事実12: 「「分析癖であるということはない」ということは真実である」ものはある
事実13: もしも「「桜崎探偵事務所であるしそれに活動し難い」ということは成り立たない」ものはあるとすると「その平年は活動し難くない」ということは真実である
事実14: 仮に「その平年はどぎついし分離し易い」ということは間違っているとするとそれは分離し易くない
事実15: なんらかのものが潜り抜けないとするとそれは一刀流随一であるしそれは挺しない
事実16: もしその骨董店が活動し難いし手広いとしたらその平年は挺しない
事実17: 仮にあるものが分析癖でないならばその骨董店は押し易い
事実18: 「分析癖でない」物があるとすればその骨董店は押し易いしかつそれは一刀流随一だ
事実19: 「「桜崎探偵事務所でその上活動し難い」ということは事実と異なる」物はある
事実20: もしその骨董店が一刀流随一だとすればそれは活動し難い
事実21: その平年は挺する

仮説: 「このオリゴマーは手広いか尊くない」ということは間違いである
1. 事実12と事実18から、推論1: "その骨董店は押し易くてそれは一刀流随一だ"が導かれる
2. 推論1から、推論2: "その骨董店は一刀流随一だ"が導かれる
3. 推論2と事実20から、推論3: "その骨董店は活動し難い"が導かれる
4. 仮定1: 以下のように仮定する。その骨董店は手広い
5. 推論3と仮定1から、推論4: "その骨董店は活動し難くてそれは手広い"が導かれる
6. 推論4と事実16から、推論5: "その平年は挺しない"が導かれる
7. 推論5と事実21から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その骨董店は手広くない"が導かれる
9. 推論7と事実5から、仮説が否定される

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