密売することは起きない
fact1: もしも浅ましいということが発生するとすれば密売することは発生する fact2: 浅ましいということが発生する
fact2 -> int1: 浅ましいということが発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしも浅ましいということが発生するとすれば密売することは発生する fact2: 浅ましいということが発生する ; $hypothesis$ = 密売することは起きない ; $proof$ = 
fact2 -> int1: 浅ましいということが発生する; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__