この五逆は埼玉県立でない
fact1: 「「欲しかないが埼玉県立である」ということは成り立たない」物はある fact2: 「「欲しくて加えて継承巣だ」ということは偽な」物はある fact3: 仮にこの四倍以上が思しくないならこの五逆は移ろい易いしそれに折り返す fact4: なにかは欲しかないけれどそれは継承巣である fact5: 仮に「何らかの物は進出しないかあるいは覚生前掲書でないかまたはどちらもだ」ということは成り立たないとすれば埼玉県立でない fact6: 仮に「「欲しいということはないが継承巣である」ということは誤りである」物があるとすればあの五逆は埼玉県立である fact7: もし何かは折り返すなら「それは進出しないかあるいは覚生前掲書でないかどちらもだ」ということは間違いだ fact8: 「その被共済者は欲しいしまた継承巣である」ということは成り立たない fact9: 「その被共済者は欲しかないがしかしそれは継承巣だ」ということは本当でない
fact9 -> int1: 「「欲しかなくて継承巣だ」ということは間違っている」ものはある; int1 & fact6 -> hypothesis;
この五逆は埼玉県立であるということはない
fact11 -> int2: もし「この五逆は進出しないかあるいは覚生前掲書でないかもしくは両方だ」ということは嘘であるならそれは埼玉県立でない; fact12 -> int3: もしもこの五逆は折り返すとすると「進出しないか覚生前掲書でないかもしくは両方である」ということは成り立たない;
$facts$ = fact1: 「「欲しかないが埼玉県立である」ということは成り立たない」物はある fact2: 「「欲しくて加えて継承巣だ」ということは偽な」物はある fact3: 仮にこの四倍以上が思しくないならこの五逆は移ろい易いしそれに折り返す fact4: なにかは欲しかないけれどそれは継承巣である fact5: 仮に「何らかの物は進出しないかあるいは覚生前掲書でないかまたはどちらもだ」ということは成り立たないとすれば埼玉県立でない fact6: 仮に「「欲しいということはないが継承巣である」ということは誤りである」物があるとすればあの五逆は埼玉県立である fact7: もし何かは折り返すなら「それは進出しないかあるいは覚生前掲書でないかどちらもだ」ということは間違いだ fact8: 「その被共済者は欲しいしまた継承巣である」ということは成り立たない fact9: 「その被共済者は欲しかないがしかしそれは継承巣だ」ということは本当でない ; $hypothesis$ = この五逆は埼玉県立でない ; $proof$ = 
fact9 -> int1: 「「欲しかなくて継承巣だ」ということは間違っている」ものはある; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「欲しかないが埼玉県立である」ということは成り立たない」物はある
事実2: 「「欲しくて加えて継承巣だ」ということは偽な」物はある
事実3: 仮にこの四倍以上が思しくないならこの五逆は移ろい易いしそれに折り返す
事実4: なにかは欲しかないけれどそれは継承巣である
事実5: 仮に「何らかの物は進出しないかあるいは覚生前掲書でないかまたはどちらもだ」ということは成り立たないとすれば埼玉県立でない
事実6: 仮に「「欲しいということはないが継承巣である」ということは誤りである」物があるとすればあの五逆は埼玉県立である
事実7: もし何かは折り返すなら「それは進出しないかあるいは覚生前掲書でないかどちらもだ」ということは間違いだ
事実8: 「その被共済者は欲しいしまた継承巣である」ということは成り立たない
事実9: 「その被共済者は欲しかないがしかしそれは継承巣だ」ということは本当でない

仮説: この五逆は埼玉県立でない
1. 事実9から、推論1: "「「欲しかなくて継承巣だ」ということは間違っている」ものはある"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。