あの二万人以上は産生しない
fact1: もしも「「心優しいということはない」物はある」ということは成り立つならあの二万人以上は産生する fact2: 「「心優しくない」ということは真実な」物はある
$facts$ = fact1: もしも「「心優しいということはない」物はある」ということは成り立つならあの二万人以上は産生する fact2: 「「心優しくない」ということは真実な」物はある ; $hypothesis$ = あの二万人以上は産生しない ; $proof$ = 
事実1: もしも「「心優しいということはない」物はある」ということは成り立つならあの二万人以上は産生する
事実2: 「「心優しくない」ということは真実な」物はある

仮説: あの二万人以上は産生しない