この社会民主主義は殺害する
fact1: その交雑実験は十分過ぎない fact2: この世界中は十分過ぎない fact3: その交雑実験が十分過ぎないとするとこの社会民主主義は殺害するしかつ是非する
fact3 & fact1 -> int1: この社会民主主義は殺害するしその上是非する; int1 -> hypothesis;
$facts$ = fact1: その交雑実験は十分過ぎない fact2: この世界中は十分過ぎない fact3: その交雑実験が十分過ぎないとするとこの社会民主主義は殺害するしかつ是非する ; $hypothesis$ = この社会民主主義は殺害する ; $proof$ = 
fact3 & fact1 -> int1: この社会民主主義は殺害するしその上是非する; int1 -> hypothesis; __PROVED__
事実1: その交雑実験は十分過ぎない
事実2: この世界中は十分過ぎない
事実3: その交雑実験が十分過ぎないとするとこの社会民主主義は殺害するしかつ是非する

仮説: この社会民主主義は殺害する
1. 事実3と事実1から、推論1: "この社会民主主義は殺害するしその上是非する"が導かれる
2. 推論1から、仮説が導かれる

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