あの組織作りは法律問題だ
fact1: その聖歌が法律問題である一方で変革すらないとするとあの組織作りは最高機関である fact2: その聖歌は変革すらなくてかつそれは最高機関でない fact3: その聖歌は最高機関でない fact4: もしその聖歌が変革すらなくて加えて最高機関でないとするとあの組織作りは法律問題だ fact5: もしあの組織作りが最高機関でなくてかつ変革すということはないとするとその聖歌は法律問題だ fact6: もし仮になにがしかの物が恐喝だということはないしその上ゼラチン様物質でないとするとそれは法律問題でない
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
あの組織作りは法律問題でない
fact7 -> int1: もし仮にあの組織作りが恐喝でなくてゼラチン様物質でないとすると法律問題であるということはない;
$facts$ = fact1: その聖歌が法律問題である一方で変革すらないとするとあの組織作りは最高機関である fact2: その聖歌は変革すらなくてかつそれは最高機関でない fact3: その聖歌は最高機関でない fact4: もしその聖歌が変革すらなくて加えて最高機関でないとするとあの組織作りは法律問題だ fact5: もしあの組織作りが最高機関でなくてかつ変革すということはないとするとその聖歌は法律問題だ fact6: もし仮になにがしかの物が恐喝だということはないしその上ゼラチン様物質でないとするとそれは法律問題でない ; $hypothesis$ = あの組織作りは法律問題だ ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: その聖歌が法律問題である一方で変革すらないとするとあの組織作りは最高機関である
事実2: その聖歌は変革すらなくてかつそれは最高機関でない
事実3: その聖歌は最高機関でない
事実4: もしその聖歌が変革すらなくて加えて最高機関でないとするとあの組織作りは法律問題だ
事実5: もしあの組織作りが最高機関でなくてかつ変革すということはないとするとその聖歌は法律問題だ
事実6: もし仮になにがしかの物が恐喝だということはないしその上ゼラチン様物質でないとするとそれは法律問題でない

仮説: あの組織作りは法律問題だ
1. 事実4と事実2から、仮説が導かれる

よって、仮説が証明されました。