このカラーコレクタは高い
fact1: もし仮に「揺らぐしおまけに自由市場な」物があるとすればこのカラーコレクタは高くない fact2: あの一流派は揺らぐしさらに自由市場だ fact3: 仮にとあるものは揺らぐしその上高いとすると「このカラーコレクタは自由市場であるということはない」ということは事実である fact4: 「完全体であるし重い」ものはある fact5: 「何かは高いしその上それは揺らぐ」ということは成り立つ fact6: 「此処等辺な」ものはある fact7: 「高いし更に揺らぐ」ものがあるとすればこのカラーコレクタは自由市場だということはない
fact2 -> int1: 「揺らぐし加えて自由市場な」物はある; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「揺らぐしおまけに自由市場な」物があるとすればこのカラーコレクタは高くない fact2: あの一流派は揺らぐしさらに自由市場だ fact3: 仮にとあるものは揺らぐしその上高いとすると「このカラーコレクタは自由市場であるということはない」ということは事実である fact4: 「完全体であるし重い」ものはある fact5: 「何かは高いしその上それは揺らぐ」ということは成り立つ fact6: 「此処等辺な」ものはある fact7: 「高いし更に揺らぐ」ものがあるとすればこのカラーコレクタは自由市場だということはない ; $hypothesis$ = このカラーコレクタは高い ; $proof$ = 
fact2 -> int1: 「揺らぐし加えて自由市場な」物はある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「揺らぐしおまけに自由市場な」物があるとすればこのカラーコレクタは高くない
事実2: あの一流派は揺らぐしさらに自由市場だ
事実3: 仮にとあるものは揺らぐしその上高いとすると「このカラーコレクタは自由市場であるということはない」ということは事実である
事実4: 「完全体であるし重い」ものはある
事実5: 「何かは高いしその上それは揺らぐ」ということは成り立つ
事実6: 「此処等辺な」ものはある
事実7: 「高いし更に揺らぐ」ものがあるとすればこのカラーコレクタは自由市場だということはない

仮説: このカラーコレクタは高い
1. 事実2から、推論1: "「揺らぐし加えて自由市場な」物はある"が導かれる
2. 推論1と事実1から、仮説が否定される

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