このアンダーソン等は六年度でない
fact1: もし仮に何らかのものがＤＮＳ．Ａ．ｃｏｍでないとすれば独走だけど三十七億人でない fact2: もしこのアンダーソン等が千一夜物語だとすればそれはむっつりする fact3: 仮にこのアンダーソン等がむっつりするとすれば六年度だ fact4: 仮にその成虫は選び為さらないならば「このアンダーソン等が概念化するしその上むっつりする」ということは間違いである fact5: このアンダーソン等は席捲する fact6: 「この細面はＤＮＳ．Ａ．ｃｏｍだが面倒臭くない」ということは確かであるということはない fact7: 「なにかは概念化するしむっつりする」ということは成り立たないならそれは六年度でない fact8: もしこのテーゼが独走であるが三十七億人でないとしたらあの五百年後は独走でない fact9: このアンダーソン等はむっつりする fact10: 「「ＤＮＳ．Ａ．ｃｏｍでしかも面倒臭くない」ということは間違いである」ものがあるならこのテーゼはＤＮＳ．Ａ．ｃｏｍでない fact11: この政治的判断はむっつりする fact12: もし仮にこのアンダーソン等が持ち合うとするとそれは経由だ
fact3 & fact9 -> hypothesis;
fact3 & fact9 -> hypothesis;
このアンダーソン等は六年度でない
fact17 -> int1: 仮に「このアンダーソン等は概念化するし加えてそれはむっつりする」ということは成り立たないとしたらそれは六年度でない; fact13 -> int2: もしもこのテーゼがＤＮＳ．Ａ．ｃｏｍでないとするとそれは独走であるしまた三十七億人でない; fact14 -> int3: 「「ＤＮＳ．Ａ．ｃｏｍだが面倒臭いということはない」ということは誤りな」物はある; int3 & fact18 -> int4: このテーゼはＤＮＳ．Ａ．ｃｏｍでない; int2 & int4 -> int5: このテーゼが独走だけど三十七億人でない; fact16 & int5 -> int6: あの五百年後は独走でない; int6 -> int7: 「独走でない」物はある;
$facts$ = fact1: もし仮に何らかのものがＤＮＳ．Ａ．ｃｏｍでないとすれば独走だけど三十七億人でない fact2: もしこのアンダーソン等が千一夜物語だとすればそれはむっつりする fact3: 仮にこのアンダーソン等がむっつりするとすれば六年度だ fact4: 仮にその成虫は選び為さらないならば「このアンダーソン等が概念化するしその上むっつりする」ということは間違いである fact5: このアンダーソン等は席捲する fact6: 「この細面はＤＮＳ．Ａ．ｃｏｍだが面倒臭くない」ということは確かであるということはない fact7: 「なにかは概念化するしむっつりする」ということは成り立たないならそれは六年度でない fact8: もしこのテーゼが独走であるが三十七億人でないとしたらあの五百年後は独走でない fact9: このアンダーソン等はむっつりする fact10: 「「ＤＮＳ．Ａ．ｃｏｍでしかも面倒臭くない」ということは間違いである」ものがあるならこのテーゼはＤＮＳ．Ａ．ｃｏｍでない fact11: この政治的判断はむっつりする fact12: もし仮にこのアンダーソン等が持ち合うとするとそれは経由だ ; $hypothesis$ = このアンダーソン等は六年度でない ; $proof$ = 
fact3 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものがＤＮＳ．Ａ．ｃｏｍでないとすれば独走だけど三十七億人でない
事実2: もしこのアンダーソン等が千一夜物語だとすればそれはむっつりする
事実3: 仮にこのアンダーソン等がむっつりするとすれば六年度だ
事実4: 仮にその成虫は選び為さらないならば「このアンダーソン等が概念化するしその上むっつりする」ということは間違いである
事実5: このアンダーソン等は席捲する
事実6: 「この細面はＤＮＳ．Ａ．ｃｏｍだが面倒臭くない」ということは確かであるということはない
事実7: 「なにかは概念化するしむっつりする」ということは成り立たないならそれは六年度でない
事実8: もしこのテーゼが独走であるが三十七億人でないとしたらあの五百年後は独走でない
事実9: このアンダーソン等はむっつりする
事実10: 「「ＤＮＳ．Ａ．ｃｏｍでしかも面倒臭くない」ということは間違いである」ものがあるならこのテーゼはＤＮＳ．Ａ．ｃｏｍでない
事実11: この政治的判断はむっつりする
事実12: もし仮にこのアンダーソン等が持ち合うとするとそれは経由だ

仮説: このアンダーソン等は六年度でない
1. 事実3と事実9から、仮説が否定される

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