あのシティズンシップはＹさんである
fact1: 「仮に「この三十二席は絶望する」ということは本当であるならあのシティズンシップはＹさんだ」ということは本当だ fact2: もしもなにがしかの物は計算通りでないとするとそれは絶望しなくてしかも失明しない fact3: もしも「「なにかは善意であるしかつ積算する」ということは真実である」ということは偽であるとしたらそれは善意でない fact4: 「あのシティズンシップは善意でない」ということは成り立つとするとそれは計算通りでなくてそれに対話しない fact5: 仮に「「なにかは失明するが絶望しない」ということは事実だ」ということは成り立たないとしたら絶望する fact6: この三十二席は仕方無くないとしたら「あのシティズンシップは善意だし積算する」ということは間違いだ fact7: この三十二席は絶望する fact8: もし仮に何かは絶望しないしさらに失明しないならばそれはＹさんでない fact9: もしも「この退院はＹさんでない」ということは誤っているということはないとしたら「それは失明するしまたそれは絶望しない」ということは成り立たない fact10: あのシティズンシップは絶望する fact11: この胎児はＹさんだ
fact1 & fact7 -> hypothesis;
fact1 & fact7 -> hypothesis;
あのシティズンシップはＹさんでない
fact16 -> int1: あのシティズンシップは絶望しなくておまけに失明しないとすればＹさんでない; fact12 -> int2: もし仮に「あのシティズンシップは計算通りでない」ということは真実だとすると絶望しないしおまけに失明しない; fact13 -> int3: もしも「あのシティズンシップが善意だしおまけに積算する」ということは間違いであるとしたら善意でない;
$facts$ = fact1: 「仮に「この三十二席は絶望する」ということは本当であるならあのシティズンシップはＹさんだ」ということは本当だ fact2: もしもなにがしかの物は計算通りでないとするとそれは絶望しなくてしかも失明しない fact3: もしも「「なにかは善意であるしかつ積算する」ということは真実である」ということは偽であるとしたらそれは善意でない fact4: 「あのシティズンシップは善意でない」ということは成り立つとするとそれは計算通りでなくてそれに対話しない fact5: 仮に「「なにかは失明するが絶望しない」ということは事実だ」ということは成り立たないとしたら絶望する fact6: この三十二席は仕方無くないとしたら「あのシティズンシップは善意だし積算する」ということは間違いだ fact7: この三十二席は絶望する fact8: もし仮に何かは絶望しないしさらに失明しないならばそれはＹさんでない fact9: もしも「この退院はＹさんでない」ということは誤っているということはないとしたら「それは失明するしまたそれは絶望しない」ということは成り立たない fact10: あのシティズンシップは絶望する fact11: この胎児はＹさんだ ; $hypothesis$ = あのシティズンシップはＹさんである ; $proof$ = 
fact1 & fact7 -> hypothesis; __PROVED__
事実1: 「仮に「この三十二席は絶望する」ということは本当であるならあのシティズンシップはＹさんだ」ということは本当だ
事実2: もしもなにがしかの物は計算通りでないとするとそれは絶望しなくてしかも失明しない
事実3: もしも「「なにかは善意であるしかつ積算する」ということは真実である」ということは偽であるとしたらそれは善意でない
事実4: 「あのシティズンシップは善意でない」ということは成り立つとするとそれは計算通りでなくてそれに対話しない
事実5: 仮に「「なにかは失明するが絶望しない」ということは事実だ」ということは成り立たないとしたら絶望する
事実6: この三十二席は仕方無くないとしたら「あのシティズンシップは善意だし積算する」ということは間違いだ
事実7: この三十二席は絶望する
事実8: もし仮に何かは絶望しないしさらに失明しないならばそれはＹさんでない
事実9: もしも「この退院はＹさんでない」ということは誤っているということはないとしたら「それは失明するしまたそれは絶望しない」ということは成り立たない
事実10: あのシティズンシップは絶望する
事実11: この胎児はＹさんだ

仮説: あのシティズンシップはＹさんである
1. 事実1と事実7から、仮説が導かれる

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