このコア・コレクションインタフェースは罪状書きでない
fact1: このコア・コレクションインタフェースは罪状書きである
$facts$ = fact1: このコア・コレクションインタフェースは罪状書きである ; $hypothesis$ = このコア・コレクションインタフェースは罪状書きでない ; $proof$ = 
事実1: このコア・コレクションインタフェースは罪状書きである

仮説: このコア・コレクションインタフェースは罪状書きでない