そのクリッパは尾だということはない
fact1: そのクリッパは小選挙区でないならばそれは尾でない fact2: そのクリッパは小選挙区であるということはない
$facts$ = fact1: そのクリッパは小選挙区でないならばそれは尾でない fact2: そのクリッパは小選挙区であるということはない ; $hypothesis$ = そのクリッパは尾だということはない ; $proof$ = 
事実1: そのクリッパは小選挙区でないならばそれは尾でない
事実2: そのクリッパは小選挙区であるということはない

仮説: そのクリッパは尾だということはない