「「この日米安保共同宣言は許し難くないが御労しい」ということは成り立たない」ということは成り立つ
fact1: もしも「流さない」ものはあるとすれば「この日米安保共同宣言は許し難くないけど御労しい」ということは事実だということはない fact2: 「流さない」ものはある
$facts$ = fact1: もしも「流さない」ものはあるとすれば「この日米安保共同宣言は許し難くないけど御労しい」ということは事実だということはない fact2: 「流さない」ものはある ; $hypothesis$ = 「「この日米安保共同宣言は許し難くないが御労しい」ということは成り立たない」ということは成り立つ ; $proof$ = 
事実1: もしも「流さない」ものはあるとすれば「この日米安保共同宣言は許し難くないけど御労しい」ということは事実だということはない
事実2: 「流さない」ものはある

仮説: 「「この日米安保共同宣言は許し難くないが御労しい」ということは成り立たない」ということは成り立つ