「あの製鉄は利用し合うしそれはナチュラルキラーだ」ということは間違いだ
fact1: 「餓鬼っぽくない」物はある fact2: もし仮に「「餓鬼っぽくない」ということは成り立つ」物があるとしたらあの製鉄は利用し合うしそれはナチュラルキラーだ
$facts$ = fact1: 「餓鬼っぽくない」物はある fact2: もし仮に「「餓鬼っぽくない」ということは成り立つ」物があるとしたらあの製鉄は利用し合うしそれはナチュラルキラーだ ; $hypothesis$ = 「あの製鉄は利用し合うしそれはナチュラルキラーだ」ということは間違いだ ; $proof$ = 
事実1: 「餓鬼っぽくない」物はある
事実2: もし仮に「「餓鬼っぽくない」ということは成り立つ」物があるとしたらあの製鉄は利用し合うしそれはナチュラルキラーだ

仮説: 「あの製鉄は利用し合うしそれはナチュラルキラーだ」ということは間違いだ