あの固定利付け証券は古典派でない
fact1: もし「「表現し難くないしまた打ち滅ぼすということはない」ということは間違っている」ものがあるとしたらあの固定利付け証券は古典派でない fact2: 「「表現し難くないししかも打ち滅ぼさない」ということは事実と異なる」物はある
$facts$ = fact1: もし「「表現し難くないしまた打ち滅ぼすということはない」ということは間違っている」ものがあるとしたらあの固定利付け証券は古典派でない fact2: 「「表現し難くないししかも打ち滅ぼさない」ということは事実と異なる」物はある ; $hypothesis$ = あの固定利付け証券は古典派でない ; $proof$ = 
事実1: もし「「表現し難くないしまた打ち滅ぼすということはない」ということは間違っている」ものがあるとしたらあの固定利付け証券は古典派でない
事実2: 「「表現し難くないししかも打ち滅ぼさない」ということは事実と異なる」物はある

仮説: あの固定利付け証券は古典派でない