「もしもこの入射瞳は横木でないとすれば「この入射瞳は渡さないしそれに快くない」ということは本当だということはない」ということは成り立たない
fact1: なんらかのものは横木でないとしたら「渡さなくてそれは快くない」ということは成り立たない
$facts$ = fact1: なんらかのものは横木でないとしたら「渡さなくてそれは快くない」ということは成り立たない ; $hypothesis$ = 「もしもこの入射瞳は横木でないとすれば「この入射瞳は渡さないしそれに快くない」ということは本当だということはない」ということは成り立たない ; $proof$ = 
事実1: なんらかのものは横木でないとしたら「渡さなくてそれは快くない」ということは成り立たない

仮説: 「もしもこの入射瞳は横木でないとすれば「この入射瞳は渡さないしそれに快くない」ということは本当だということはない」ということは成り立たない