「「あの社会主義国は検挙するということはないけど列記する」ということは真実でない」ということは成り立つ
fact1: あの社会主義国は由々しい fact2: 仮に「あの社会主義国は由々しい」ということは確かだとすれば「それは検挙しない一方で列記する」ということは成り立たない
$facts$ = fact1: あの社会主義国は由々しい fact2: 仮に「あの社会主義国は由々しい」ということは確かだとすれば「それは検挙しない一方で列記する」ということは成り立たない ; $hypothesis$ = 「「あの社会主義国は検挙するということはないけど列記する」ということは真実でない」ということは成り立つ ; $proof$ = 
事実1: あの社会主義国は由々しい
事実2: 仮に「あの社会主義国は由々しい」ということは確かだとすれば「それは検挙しない一方で列記する」ということは成り立たない

仮説: 「「あの社会主義国は検挙するということはないけど列記する」ということは真実でない」ということは成り立つ