「あの十字架型は協働だということはないしかつそれは直交行列でない」ということは真実でない
fact1: もしあのテスコダイレクトは強くないとすると「あの十字架型は協働だということはないししかも直交行列でない」ということは間違っている fact2: あのテスコダイレクトは強くない
$facts$ = fact1: もしあのテスコダイレクトは強くないとすると「あの十字架型は協働だということはないししかも直交行列でない」ということは間違っている fact2: あのテスコダイレクトは強くない ; $hypothesis$ = 「あの十字架型は協働だということはないしかつそれは直交行列でない」ということは真実でない ; $proof$ = 
事実1: もしあのテスコダイレクトは強くないとすると「あの十字架型は協働だということはないししかも直交行列でない」ということは間違っている
事実2: あのテスコダイレクトは強くない

仮説: 「あの十字架型は協働だということはないしかつそれは直交行列でない」ということは真実でない