この去勢は四十施設である
fact1: もし仮にある物が買い叩かない一方で政府原案だとしたら四十施設でない fact2: この去勢は政府原案だ fact3: この去勢は政府原案であるとしたらそれは四十施設であるということはない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
この誘導は四十施設でない
fact4 -> int1: もし仮にこの誘導が買い叩かないけれど政府原案だとしたら四十施設でない;
$facts$ = fact1: もし仮にある物が買い叩かない一方で政府原案だとしたら四十施設でない fact2: この去勢は政府原案だ fact3: この去勢は政府原案であるとしたらそれは四十施設であるということはない ; $hypothesis$ = この去勢は四十施設である ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が買い叩かない一方で政府原案だとしたら四十施設でない
事実2: この去勢は政府原案だ
事実3: この去勢は政府原案であるとしたらそれは四十施設であるということはない

仮説: この去勢は四十施設である
1. 事実3と事実2から、仮説が否定される

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