この統合規程はネッティングである
fact1: この二日夜半は区別し易くないししかも漏れ無くない fact2: もしこの二日夜半が区別し易いということはないしそれにそれが漏れ無いということはないとしたらこの統合規程はネッティングである
$facts$ = fact1: この二日夜半は区別し易くないししかも漏れ無くない fact2: もしこの二日夜半が区別し易いということはないしそれにそれが漏れ無いということはないとしたらこの統合規程はネッティングである ; $hypothesis$ = この統合規程はネッティングである ; $proof$ = 
事実1: この二日夜半は区別し易くないししかも漏れ無くない
事実2: もしこの二日夜半が区別し易いということはないしそれにそれが漏れ無いということはないとしたらこの統合規程はネッティングである

仮説: この統合規程はネッティングである