あの社会状態はノックするということはない
fact1: 「ややこしい物はノックしない」ということは確かである fact2: あの社会状態はノックする
fact2 -> hypothesis;
fact2 -> hypothesis;
あの社会状態はノックしない
fact3 -> int1: もし仮にあの社会状態がややこしいならばそれはノックしない;
$facts$ = fact1: 「ややこしい物はノックしない」ということは確かである fact2: あの社会状態はノックする ; $hypothesis$ = あの社会状態はノックするということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「ややこしい物はノックしない」ということは確かである
事実2: あの社会状態はノックする

仮説: あの社会状態はノックするということはない
1. 事実2から、仮説が否定される

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