「その豚レバーは冷め易くてそれにランキングする」ということは誤っている
fact1: 「「あの血流速はアンチでないがしかし久しい」ということは成り立つ」ということは間違っている fact2: もし仮にこの基本設計図が冷め易くないならばあの豚レバーは冷め易いしその上ランキングする fact3: もしも「あの血流速はアンチでないが久しい」ということは誤っているとすれば「この基本設計図は冷め易くない」ということは正しい
fact3 & fact1 -> int1: この基本設計図は冷め易くない; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「「あの血流速はアンチでないがしかし久しい」ということは成り立つ」ということは間違っている fact2: もし仮にこの基本設計図が冷め易くないならばあの豚レバーは冷め易いしその上ランキングする fact3: もしも「あの血流速はアンチでないが久しい」ということは誤っているとすれば「この基本設計図は冷め易くない」ということは正しい ; $hypothesis$ = 「その豚レバーは冷め易くてそれにランキングする」ということは誤っている ; $proof$ = 
fact3 & fact1 -> int1: この基本設計図は冷め易くない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「あの血流速はアンチでないがしかし久しい」ということは成り立つ」ということは間違っている
事実2: もし仮にこの基本設計図が冷め易くないならばあの豚レバーは冷め易いしその上ランキングする
事実3: もしも「あの血流速はアンチでないが久しい」ということは誤っているとすれば「この基本設計図は冷め易くない」ということは正しい

仮説: 「その豚レバーは冷め易くてそれにランキングする」ということは誤っている
1. 事実3と事実1から、推論1: "この基本設計図は冷め易くない"が導かれる
2. 推論1と事実2から、仮説が否定される

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