「その週刊ダイヤモンドは諸利益だしまた報告する」ということは嘘である
fact1: もし仮に「あの音楽界は黴臭いかばら売りしないかまたはどちらもである」ということは嘘ならその抽象概念は修理しない fact2: その週刊ダイヤモンドはばら売りしない fact3: なんらかのものは少なしとすると「メジャーでないけれど雑味だ」ということは嘘だ fact4: なにがしかの物がメジャーならばそれは諸利益だ fact5: あの音楽界が報告するということはないならばあの週刊ダイヤモンドは黴臭い fact6: 仮になんらかのものは雑味であるとすると「報告しないけどばら売りする」ということは間違っている fact7: あの音楽界は黴臭くて修理する fact8: 「あの音楽界は黴臭くないかもしくはばら売りしないかどちらもである」ということは成り立たない fact9: あの音楽界は黴臭い fact10: 仮に「その週刊ダイヤモンドは少なし」ということは正しいならば「メジャーで雑味だ」ということは成り立たない fact11: この悪行は諸利益である fact12: あのアンデルセン童話は報告する fact13: 「この情緒不安定は疑わしということはないかもしくは修理するということはないか両方である」ということは成り立たない fact14: もしもその週刊ダイヤモンドがメジャーだとしたら諸利益だ fact15: 「あの音楽界はばら売りするし諸利益である」ということは間違っている fact16: その週刊ダイヤモンドは報告する fact17: もしその抽象概念が修理しないならその週刊ダイヤモンドは少なし fact18: 「その週刊ダイヤモンドはメジャーであるし雑味だ」ということは成り立たない fact19: 「なにがしかのものはメジャーであるということはないが雑味だ」ということは嘘ならそれは諸利益だ fact20: あの音楽界は修理しないかまたは少なしか両方であるなら諸利益でない fact21: その御御籤はメジャーだ fact22: もし「「あの音楽界は黴臭くないかまたはばら売りしないかもしくは両方ともである」ということは偽である」ということは正しいならばその抽象概念は修理しない fact23: 仮に何かは少なしならば「それはメジャーでおまけに雑味である」ということは成り立たない fact24: もし仮に「その抽象概念は修理するということはないかもしくはそれは黴臭くないか両方ともだ」ということは誤りならあの音楽界はメジャーでない fact25: もしも何かはばら売りするならそれは修理する
fact22 & fact8 -> int1: その抽象概念は修理しない; int1 & fact17 -> int2: その週刊ダイヤモンドは少なし; fact3 -> int3: もしその週刊ダイヤモンドは少なしならば「それはメジャーでないけど雑味である」ということは正しくない; int2 & int3 -> int4: 「その週刊ダイヤモンドはメジャーでない一方で雑味だ」ということは誤りである; fact19 -> int5: 「その週刊ダイヤモンドはメジャーだということはない一方で雑味だ」ということは誤りであるならば諸利益だ; int4 & int5 -> int6: その週刊ダイヤモンドは諸利益である; int6 & fact16 -> hypothesis;
「その週刊ダイヤモンドは諸利益だし加えて報告する」ということは成り立たない
$facts$ = fact1: もし仮に「あの音楽界は黴臭いかばら売りしないかまたはどちらもである」ということは嘘ならその抽象概念は修理しない fact2: その週刊ダイヤモンドはばら売りしない fact3: なんらかのものは少なしとすると「メジャーでないけれど雑味だ」ということは嘘だ fact4: なにがしかの物がメジャーならばそれは諸利益だ fact5: あの音楽界が報告するということはないならばあの週刊ダイヤモンドは黴臭い fact6: 仮になんらかのものは雑味であるとすると「報告しないけどばら売りする」ということは間違っている fact7: あの音楽界は黴臭くて修理する fact8: 「あの音楽界は黴臭くないかもしくはばら売りしないかどちらもである」ということは成り立たない fact9: あの音楽界は黴臭い fact10: 仮に「その週刊ダイヤモンドは少なし」ということは正しいならば「メジャーで雑味だ」ということは成り立たない fact11: この悪行は諸利益である fact12: あのアンデルセン童話は報告する fact13: 「この情緒不安定は疑わしということはないかもしくは修理するということはないか両方である」ということは成り立たない fact14: もしもその週刊ダイヤモンドがメジャーだとしたら諸利益だ fact15: 「あの音楽界はばら売りするし諸利益である」ということは間違っている fact16: その週刊ダイヤモンドは報告する fact17: もしその抽象概念が修理しないならその週刊ダイヤモンドは少なし fact18: 「その週刊ダイヤモンドはメジャーであるし雑味だ」ということは成り立たない fact19: 「なにがしかのものはメジャーであるということはないが雑味だ」ということは嘘ならそれは諸利益だ fact20: あの音楽界は修理しないかまたは少なしか両方であるなら諸利益でない fact21: その御御籤はメジャーだ fact22: もし「「あの音楽界は黴臭くないかまたはばら売りしないかもしくは両方ともである」ということは偽である」ということは正しいならばその抽象概念は修理しない fact23: 仮に何かは少なしならば「それはメジャーでおまけに雑味である」ということは成り立たない fact24: もし仮に「その抽象概念は修理するということはないかもしくはそれは黴臭くないか両方ともだ」ということは誤りならあの音楽界はメジャーでない fact25: もしも何かはばら売りするならそれは修理する ; $hypothesis$ = 「その週刊ダイヤモンドは諸利益だしまた報告する」ということは嘘である ; $proof$ = 
fact22 & fact8 -> int1: その抽象概念は修理しない; int1 & fact17 -> int2: その週刊ダイヤモンドは少なし; fact3 -> int3: もしその週刊ダイヤモンドは少なしならば「それはメジャーでないけど雑味である」ということは正しくない; int2 & int3 -> int4: 「その週刊ダイヤモンドはメジャーでない一方で雑味だ」ということは誤りである; fact19 -> int5: 「その週刊ダイヤモンドはメジャーだということはない一方で雑味だ」ということは誤りであるならば諸利益だ; int4 & int5 -> int6: その週刊ダイヤモンドは諸利益である; int6 & fact16 -> 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: 仮に何かは少なしならば「それはメジャーでおまけに雑味である」ということは成り立たない
事実24: もし仮に「その抽象概念は修理するということはないかもしくはそれは黴臭くないか両方ともだ」ということは誤りならあの音楽界はメジャーでない
事実25: もしも何かはばら売りするならそれは修理する

仮説: 「その週刊ダイヤモンドは諸利益だしまた報告する」ということは嘘である
1. 事実22と事実8から、推論1: "その抽象概念は修理しない"が導かれる
2. 推論1と事実17から、推論2: "その週刊ダイヤモンドは少なし"が導かれる
3. 事実3から、推論3: "もしその週刊ダイヤモンドは少なしならば「それはメジャーでないけど雑味である」ということは正しくない"が導かれる
4. 推論2と推論3から、推論4: "「その週刊ダイヤモンドはメジャーでない一方で雑味だ」ということは誤りである"が導かれる
5. 事実19から、推論5: "「その週刊ダイヤモンドはメジャーだということはない一方で雑味だ」ということは誤りであるならば諸利益だ"が導かれる
6. 推論4と推論5から、推論6: "その週刊ダイヤモンドは諸利益である"が導かれる
7. 推論6と事実16から、仮説が否定される

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