そのアナジーは受益者負担でない
fact1: もしも「「絞り込まなくてそれに大志であるということはない」ということは誤りな」ものはあるとしたら「そのアナジーは受益者負担である」ということは間違いであるということはない fact2: 「「絞り込まなくて加えて大志でない」ということは成り立たない」ものはある
$facts$ = fact1: もしも「「絞り込まなくてそれに大志であるということはない」ということは誤りな」ものはあるとしたら「そのアナジーは受益者負担である」ということは間違いであるということはない fact2: 「「絞り込まなくて加えて大志でない」ということは成り立たない」ものはある ; $hypothesis$ = そのアナジーは受益者負担でない ; $proof$ = 
事実1: もしも「「絞り込まなくてそれに大志であるということはない」ということは誤りな」ものはあるとしたら「そのアナジーは受益者負担である」ということは間違いであるということはない
事実2: 「「絞り込まなくて加えて大志でない」ということは成り立たない」ものはある

仮説: そのアナジーは受益者負担でない