あの縄文社会は平ったいということはない
fact1: あの縄文社会は絵巻だとしたら「それは話題作である」ということは確かだ fact2: もし仮にある物は話題作であるならばそれは平ったい fact3: あの縄文社会は絵巻だ fact4: ダンス・ミュージックである一方でライセンスしないという物はない
fact1 & fact3 -> int1: あの縄文社会は話題作だ; fact2 -> int2: もし仮にあの縄文社会は話題作であるならばそれは平ったい; int1 & int2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
あの縄文社会は平ったくない
fact5 -> int3: 「この国際希少野生動植物種はダンス・ミュージックだけどライセンスしない」ということは事実と異なる;
$facts$ = fact1: あの縄文社会は絵巻だとしたら「それは話題作である」ということは確かだ fact2: もし仮にある物は話題作であるならばそれは平ったい fact3: あの縄文社会は絵巻だ fact4: ダンス・ミュージックである一方でライセンスしないという物はない ; $hypothesis$ = あの縄文社会は平ったいということはない ; $proof$ = 
fact1 & fact3 -> int1: あの縄文社会は話題作だ; fact2 -> int2: もし仮にあの縄文社会は話題作であるならばそれは平ったい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの縄文社会は絵巻だとしたら「それは話題作である」ということは確かだ
事実2: もし仮にある物は話題作であるならばそれは平ったい
事実3: あの縄文社会は絵巻だ
事実4: ダンス・ミュージックである一方でライセンスしないという物はない

仮説: あの縄文社会は平ったいということはない
1. 事実1と事実3から、推論1: "あの縄文社会は話題作だ"が導かれる
2. 事実2から、推論2: "もし仮にあの縄文社会は話題作であるならばそれは平ったい"が導かれる
3. 推論1と推論2から、仮説が否定される

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