あの表現・処理は色めく
fact1: 仮にあの表現・処理が色めかないけれど招けばその比企一族は色めかない fact2: あのチャタリングは色めかない fact3: あの表現・処理は色めかない fact4: 「その開始決定前は色めくということはない」ということは正しい fact5: その祖霊が三態だということはないとすればあの表現・処理は色めかないけど招く fact6: あの表現・処理は謙遜するということはない fact7: あの弾倉は色めかない fact8: 仮になんらかの物が招かないならそれは三態で色めく fact9: 何かは整うがしかし色っぽくないとしたらそれは招かない
fact3 -> hypothesis;
あの表現・処理は色めく
fact11 -> int1: もし仮にあの表現・処理が招かないとすればそれは三態であるししかも色めく; fact10 -> int2: もしもあの表現・処理が整うけれどそれが色っぽくないとしたらそれは招かない;
$facts$ = fact1: 仮にあの表現・処理が色めかないけれど招けばその比企一族は色めかない fact2: あのチャタリングは色めかない fact3: あの表現・処理は色めかない fact4: 「その開始決定前は色めくということはない」ということは正しい fact5: その祖霊が三態だということはないとすればあの表現・処理は色めかないけど招く fact6: あの表現・処理は謙遜するということはない fact7: あの弾倉は色めかない fact8: 仮になんらかの物が招かないならそれは三態で色めく fact9: 何かは整うがしかし色っぽくないとしたらそれは招かない ; $hypothesis$ = あの表現・処理は色めく ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮にあの表現・処理が色めかないけれど招けばその比企一族は色めかない
事実2: あのチャタリングは色めかない
事実3: あの表現・処理は色めかない
事実4: 「その開始決定前は色めくということはない」ということは正しい
事実5: その祖霊が三態だということはないとすればあの表現・処理は色めかないけど招く
事実6: あの表現・処理は謙遜するということはない
事実7: あの弾倉は色めかない
事実8: 仮になんらかの物が招かないならそれは三態で色めく
事実9: 何かは整うがしかし色っぽくないとしたらそれは招かない

仮説: あの表現・処理は色めく
1. 事実3から、仮説が否定される

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