この悪材料はＤＡでない
fact1: 「なにかは自嘲であるということはないけどでっかい」ということは成り立つということはないとしたらそれは足踏みであるということはない fact2: あの救命胴衣はＤＡである fact3: あの終了処理はＤＡである fact4: この悪材料は召し捕らえる fact5: 何らかのものが統合しないならＤＡであるしそれにそれは格付けする fact6: この悪材料は面白おかしい fact7: この不正競争行為者はＤＡである fact8: あの全身全霊はＤＡだ fact9: もしもなんらかの物が格付けしなくてまた統合しないとしたらＤＡでない fact10: この悪材料はＤＡだ fact11: 「この悪材料は感慨深い」ということは真実だ fact12: この悪材料は飲み込む
fact10 -> hypothesis;
fact10 -> hypothesis;
この悪材料はＤＡだということはない
fact13 -> int1: この悪材料が格付けしないし統合しないとすると「それはＤＡであるということはない」ということは成り立つ;
$facts$ = fact1: 「なにかは自嘲であるということはないけどでっかい」ということは成り立つということはないとしたらそれは足踏みであるということはない fact2: あの救命胴衣はＤＡである fact3: あの終了処理はＤＡである fact4: この悪材料は召し捕らえる fact5: 何らかのものが統合しないならＤＡであるしそれにそれは格付けする fact6: この悪材料は面白おかしい fact7: この不正競争行為者はＤＡである fact8: あの全身全霊はＤＡだ fact9: もしもなんらかの物が格付けしなくてまた統合しないとしたらＤＡでない fact10: この悪材料はＤＡだ fact11: 「この悪材料は感慨深い」ということは真実だ fact12: この悪材料は飲み込む ; $hypothesis$ = この悪材料はＤＡでない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「なにかは自嘲であるということはないけどでっかい」ということは成り立つということはないとしたらそれは足踏みであるということはない
事実2: あの救命胴衣はＤＡである
事実3: あの終了処理はＤＡである
事実4: この悪材料は召し捕らえる
事実5: 何らかのものが統合しないならＤＡであるしそれにそれは格付けする
事実6: この悪材料は面白おかしい
事実7: この不正競争行為者はＤＡである
事実8: あの全身全霊はＤＡだ
事実9: もしもなんらかの物が格付けしなくてまた統合しないとしたらＤＡでない
事実10: この悪材料はＤＡだ
事実11: 「この悪材料は感慨深い」ということは真実だ
事実12: この悪材料は飲み込む

仮説: この悪材料はＤＡでない
1. 事実10から、仮説が否定される

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