「その御神火は隠形するがしかし参集しない」ということは嘘だ
fact1: その御神火は根付く fact2: 「「その御神火は隠形するしまた参集する」ということは事実だ」ということは成り立たない fact3: この七城は根付く fact4: その御神火は根付くとすると「それが隠形するしその上それは参集しない」ということは成り立たない fact5: もしなんらかのものが根付かないとしたら隠形するし参集しない fact6: 「その御神火は根付く」ということは事実であるなら「隠形するしさらに参集する」ということは成り立たない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
その御神火は隠形するがしかし参集しない
fact7 -> int1: もしもその御神火が根付かないならばそれは隠形するが参集しない;
$facts$ = fact1: その御神火は根付く fact2: 「「その御神火は隠形するしまた参集する」ということは事実だ」ということは成り立たない fact3: この七城は根付く fact4: その御神火は根付くとすると「それが隠形するしその上それは参集しない」ということは成り立たない fact5: もしなんらかのものが根付かないとしたら隠形するし参集しない fact6: 「その御神火は根付く」ということは事実であるなら「隠形するしさらに参集する」ということは成り立たない ; $hypothesis$ = 「その御神火は隠形するがしかし参集しない」ということは嘘だ ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: その御神火は根付く
事実2: 「「その御神火は隠形するしまた参集する」ということは事実だ」ということは成り立たない
事実3: この七城は根付く
事実4: その御神火は根付くとすると「それが隠形するしその上それは参集しない」ということは成り立たない
事実5: もしなんらかのものが根付かないとしたら隠形するし参集しない
事実6: 「その御神火は根付く」ということは事実であるなら「隠形するしさらに参集する」ということは成り立たない

仮説: 「その御神火は隠形するがしかし参集しない」ということは嘘だ
1. 事実4と事実1から、仮説が導かれる

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