「何らかのものは入館するがしかし理想化するということはない」ということは成り立たない
fact1: なにかは入館するし理想化する fact2: 何らかの物は入館する fact3: 「あの溶血性は理想化しない」ということは事実である fact4: あの溶血性は入館するけど理想化しない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: なにかは入館するし理想化する fact2: 何らかの物は入館する fact3: 「あの溶血性は理想化しない」ということは事実である fact4: あの溶血性は入館するけど理想化しない ; $hypothesis$ = 「何らかのものは入館するがしかし理想化するということはない」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: なにかは入館するし理想化する
事実2: 何らかの物は入館する
事実3: 「あの溶血性は理想化しない」ということは事実である
事実4: あの溶血性は入館するけど理想化しない

仮説: 「何らかのものは入館するがしかし理想化するということはない」ということは成り立たない
1. 事実4から、仮説が否定される

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