「あの個体死は食人でなくて加えて限り無くない」ということは誤りである
fact1: 仮にその山形は金切り声なら「あの個体死は食人でないし限り無くない」ということは事実であるということはない fact2: その山形は金切り声である
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 仮にその山形は金切り声なら「あの個体死は食人でないし限り無くない」ということは事実であるということはない fact2: その山形は金切り声である ; $hypothesis$ = 「あの個体死は食人でなくて加えて限り無くない」ということは誤りである ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 仮にその山形は金切り声なら「あの個体死は食人でないし限り無くない」ということは事実であるということはない
事実2: その山形は金切り声である

仮説: 「あの個体死は食人でなくて加えて限り無くない」ということは誤りである
1. 事実1と事実2から、仮説が導かれる

よって、仮説が証明されました。