このＩＰはぶすでない
fact1: 仮にこのＩＰが期待し難いがしかし出難くないとするとそれはぶすである fact2: このＩＰは期待し難い一方でそれは出難くない
$facts$ = fact1: 仮にこのＩＰが期待し難いがしかし出難くないとするとそれはぶすである fact2: このＩＰは期待し難い一方でそれは出難くない ; $hypothesis$ = このＩＰはぶすでない ; $proof$ = 
事実1: 仮にこのＩＰが期待し難いがしかし出難くないとするとそれはぶすである
事実2: このＩＰは期待し難い一方でそれは出難くない

仮説: このＩＰはぶすでない