仮に「この多核細胞は特掲する」ということは事実ならば「「そのファン投票が切れ易くないしさらに吹聴しない」ということは成り立つ」ということは成り立たない
fact1: もし「この多核細胞は嫉妬深い」ということは真実ならばあの上下方向は特掲しないしおまけにプロイセン軍でない fact2: もし仮にこの上下方向が嫉妬深くてそれはプロイセン軍であるとすれば吹聴しない fact3: もし「この上下方向は吹聴しない」ということは成り立つとすれば「そのファン投票は切れ易い一方で吹聴しない」ということは間違いである fact4: そのファン投票は吹聴しないしまた特掲しない fact5: もしこの上下方向は吹聴するということはないとすると「そのファン投票は切れ易くないがしかしそれは吹聴する」ということは成り立たない fact6: もし嫉妬深い物はプロイセン軍であるということはないならば吹聴しない fact7: 「そのファン投票は吹聴するがしかし特掲するということはない」ということは成り立たない fact8: 「「この尿酸結晶は主作業である一方でプロイセン軍だということはない」ということは成り立つということはない」ということは成り立つ fact9: 「そのファン投票は吹聴しないけれど嫉妬深い」ということは成り立たない fact10: もしこの多核細胞は特掲すれば「この上下方向は嫉妬深いがしかしプロイセン軍だということはない」ということは真実である fact11: 「この多核細胞は吹聴しないし加えて特掲しない」ということは偽だ fact12: その下半期は御問い合わせ下さるけど吹聴しない fact13: もしもあるものが切れ易いけれどそれはプロイセン軍でないとするとそれは吹聴しない fact14: そのファン投票は監修しない fact15: 仮にそのファン投票は嫉妬深いとすると「この上下方向は吹聴するが切れ易くない」ということは誤りである fact16: もし仮にこの上下方向が吹聴するということはないならばそのファン投票は切れ易いということはないししかもそれは吹聴するということはない fact17: 仮に嫉妬深い物がプロイセン軍だとすれば吹聴しない fact18: この上下方向はプロイセン軍でない fact19: この多核細胞はプロイセン軍でない fact20: もしこの上下方向は吹聴しないとすれば「そのファン投票は切れ易いということはなくて加えて吹聴しない」ということは事実と異なる
void -> assump1: 以下のように仮定する。この多核細胞は特掲する; fact10 & assump1 -> int1: この上下方向は嫉妬深い一方でプロイセン軍でない; fact6 -> int2: もし仮にこの上下方向は嫉妬深いがしかしプロイセン軍でないとすれば「吹聴しない」ということは成り立つ; int1 & int2 -> int3: この上下方向は吹聴しない; int3 & fact20 -> int4: 「そのファン投票は切れ易くないしそれは吹聴しない」ということは成り立たない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし「この多核細胞は嫉妬深い」ということは真実ならばあの上下方向は特掲しないしおまけにプロイセン軍でない fact2: もし仮にこの上下方向が嫉妬深くてそれはプロイセン軍であるとすれば吹聴しない fact3: もし「この上下方向は吹聴しない」ということは成り立つとすれば「そのファン投票は切れ易い一方で吹聴しない」ということは間違いである fact4: そのファン投票は吹聴しないしまた特掲しない fact5: もしこの上下方向は吹聴するということはないとすると「そのファン投票は切れ易くないがしかしそれは吹聴する」ということは成り立たない fact6: もし嫉妬深い物はプロイセン軍であるということはないならば吹聴しない fact7: 「そのファン投票は吹聴するがしかし特掲するということはない」ということは成り立たない fact8: 「「この尿酸結晶は主作業である一方でプロイセン軍だということはない」ということは成り立つということはない」ということは成り立つ fact9: 「そのファン投票は吹聴しないけれど嫉妬深い」ということは成り立たない fact10: もしこの多核細胞は特掲すれば「この上下方向は嫉妬深いがしかしプロイセン軍だということはない」ということは真実である fact11: 「この多核細胞は吹聴しないし加えて特掲しない」ということは偽だ fact12: その下半期は御問い合わせ下さるけど吹聴しない fact13: もしもあるものが切れ易いけれどそれはプロイセン軍でないとするとそれは吹聴しない fact14: そのファン投票は監修しない fact15: 仮にそのファン投票は嫉妬深いとすると「この上下方向は吹聴するが切れ易くない」ということは誤りである fact16: もし仮にこの上下方向が吹聴するということはないならばそのファン投票は切れ易いということはないししかもそれは吹聴するということはない fact17: 仮に嫉妬深い物がプロイセン軍だとすれば吹聴しない fact18: この上下方向はプロイセン軍でない fact19: この多核細胞はプロイセン軍でない fact20: もしこの上下方向は吹聴しないとすれば「そのファン投票は切れ易いということはなくて加えて吹聴しない」ということは事実と異なる ; $hypothesis$ = 仮に「この多核細胞は特掲する」ということは事実ならば「「そのファン投票が切れ易くないしさらに吹聴しない」ということは成り立つ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この多核細胞は特掲する; fact10 & assump1 -> int1: この上下方向は嫉妬深い一方でプロイセン軍でない; fact6 -> int2: もし仮にこの上下方向は嫉妬深いがしかしプロイセン軍でないとすれば「吹聴しない」ということは成り立つ; int1 & int2 -> int3: この上下方向は吹聴しない; int3 & fact20 -> int4: 「そのファン投票は切れ易くないしそれは吹聴しない」ということは成り立たない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし「この多核細胞は嫉妬深い」ということは真実ならばあの上下方向は特掲しないしおまけにプロイセン軍でない
事実2: もし仮にこの上下方向が嫉妬深くてそれはプロイセン軍であるとすれば吹聴しない
事実3: もし「この上下方向は吹聴しない」ということは成り立つとすれば「そのファン投票は切れ易い一方で吹聴しない」ということは間違いである
事実4: そのファン投票は吹聴しないしまた特掲しない
事実5: もしこの上下方向は吹聴するということはないとすると「そのファン投票は切れ易くないがしかしそれは吹聴する」ということは成り立たない
事実6: もし嫉妬深い物はプロイセン軍であるということはないならば吹聴しない
事実7: 「そのファン投票は吹聴するがしかし特掲するということはない」ということは成り立たない
事実8: 「「この尿酸結晶は主作業である一方でプロイセン軍だということはない」ということは成り立つということはない」ということは成り立つ
事実9: 「そのファン投票は吹聴しないけれど嫉妬深い」ということは成り立たない
事実10: もしこの多核細胞は特掲すれば「この上下方向は嫉妬深いがしかしプロイセン軍だということはない」ということは真実である
事実11: 「この多核細胞は吹聴しないし加えて特掲しない」ということは偽だ
事実12: その下半期は御問い合わせ下さるけど吹聴しない
事実13: もしもあるものが切れ易いけれどそれはプロイセン軍でないとするとそれは吹聴しない
事実14: そのファン投票は監修しない
事実15: 仮にそのファン投票は嫉妬深いとすると「この上下方向は吹聴するが切れ易くない」ということは誤りである
事実16: もし仮にこの上下方向が吹聴するということはないならばそのファン投票は切れ易いということはないししかもそれは吹聴するということはない
事実17: 仮に嫉妬深い物がプロイセン軍だとすれば吹聴しない
事実18: この上下方向はプロイセン軍でない
事実19: この多核細胞はプロイセン軍でない
事実20: もしこの上下方向は吹聴しないとすれば「そのファン投票は切れ易いということはなくて加えて吹聴しない」ということは事実と異なる

仮説: 仮に「この多核細胞は特掲する」ということは事実ならば「「そのファン投票が切れ易くないしさらに吹聴しない」ということは成り立つ」ということは成り立たない
1. 仮定1: 以下のように仮定する。この多核細胞は特掲する
2. 事実10と仮定1から、推論1: "この上下方向は嫉妬深い一方でプロイセン軍でない"が導かれる
3. 事実6から、推論2: "もし仮にこの上下方向は嫉妬深いがしかしプロイセン軍でないとすれば「吹聴しない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "この上下方向は吹聴しない"が導かれる
5. 推論3と事実20から、推論4: "「そのファン投票は切れ易くないしそれは吹聴しない」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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