その家庭裁判所調査官は長ーくない
fact1: もしも「あの組織球は長州藩邸だ」ということは真実だとすれば「この併用時はアイロニーでなくてそれは戦慄すらない」ということは偽である fact2: この第五作はカニバリズムでない fact3: 「この併用時はカニバリズムであるがしかし残り難くない」ということは誤っている fact4: 仮にこの第五作は淀み無いとしたら「この併用時はカニバリズムでないが残り難い」ということは成り立たない fact5: もし仮にその家庭裁判所調査官が薄青くないなら長州藩邸だしアイロニーだ fact6: この第五作は淀み無いとしたら「この併用時はカニバリズムでなくてそれは残り難くない」ということは本当でない fact7: もしも「「「アイロニーでない」ということは事実だ」ということは誤りな」物はあるなら「この併用時は戦慄すらない一方で北向きだ」ということは間違っている fact8: もし仮に「この第五作は残り難くなくて加えて淀み無いということはない」ということは成り立たないならばあの併用時は長ーくない fact9: 「この併用時はカニバリズムでないけど残り難い」ということは誤りだ fact10: その家庭裁判所調査官はカニバリズムだ fact11: 仮に何かは淀み無くないとすると「それはスコーンでないしそれに避け難くない」ということは誤っている fact12: この第五作は淀み無い fact13: その家庭裁判所調査官は薄青くない fact14: もし仮に「この併用時はカニバリズムでないしまた残り難くない」ということは偽であるならばその家庭裁判所調査官は長ーいということはない fact15: もし仮にこの第五作は長ーいなら「この三次元データは淀み無くなくてその上好ましということはない」ということは成り立つということはない fact16: この第五作は淀み無いとしたら「この併用時はカニバリズムである一方で残り難くない」ということは成り立つということはない fact17: 仮に「この第五作は長ーい」ということは事実であるなら「この併用時は淀み無くなくて残り難くない」ということは誤りである fact18: もしこの第五作が北向きでないならばあのアングレーズソースは長ーいけれど淀み無くない fact19: 「この無効例は長ーいということはないがマンである」ということは偽である fact20: 仮に「その家庭裁判所調査官は残り難くなくてカニバリズムでない」ということは事実と異なるとしたらこの併用時は長ーくない
fact6 & fact12 -> int1: 「この併用時はカニバリズムであるということはないしかつ残り難くない」ということは間違っている; int1 & fact14 -> hypothesis;
その家庭裁判所調査官は長ーい
$facts$ = fact1: もしも「あの組織球は長州藩邸だ」ということは真実だとすれば「この併用時はアイロニーでなくてそれは戦慄すらない」ということは偽である fact2: この第五作はカニバリズムでない fact3: 「この併用時はカニバリズムであるがしかし残り難くない」ということは誤っている fact4: 仮にこの第五作は淀み無いとしたら「この併用時はカニバリズムでないが残り難い」ということは成り立たない fact5: もし仮にその家庭裁判所調査官が薄青くないなら長州藩邸だしアイロニーだ fact6: この第五作は淀み無いとしたら「この併用時はカニバリズムでなくてそれは残り難くない」ということは本当でない fact7: もしも「「「アイロニーでない」ということは事実だ」ということは誤りな」物はあるなら「この併用時は戦慄すらない一方で北向きだ」ということは間違っている fact8: もし仮に「この第五作は残り難くなくて加えて淀み無いということはない」ということは成り立たないならばあの併用時は長ーくない fact9: 「この併用時はカニバリズムでないけど残り難い」ということは誤りだ fact10: その家庭裁判所調査官はカニバリズムだ fact11: 仮に何かは淀み無くないとすると「それはスコーンでないしそれに避け難くない」ということは誤っている fact12: この第五作は淀み無い fact13: その家庭裁判所調査官は薄青くない fact14: もし仮に「この併用時はカニバリズムでないしまた残り難くない」ということは偽であるならばその家庭裁判所調査官は長ーいということはない fact15: もし仮にこの第五作は長ーいなら「この三次元データは淀み無くなくてその上好ましということはない」ということは成り立つということはない fact16: この第五作は淀み無いとしたら「この併用時はカニバリズムである一方で残り難くない」ということは成り立つということはない fact17: 仮に「この第五作は長ーい」ということは事実であるなら「この併用時は淀み無くなくて残り難くない」ということは誤りである fact18: もしこの第五作が北向きでないならばあのアングレーズソースは長ーいけれど淀み無くない fact19: 「この無効例は長ーいということはないがマンである」ということは偽である fact20: 仮に「その家庭裁判所調査官は残り難くなくてカニバリズムでない」ということは事実と異なるとしたらこの併用時は長ーくない ; $hypothesis$ = その家庭裁判所調査官は長ーくない ; $proof$ = 
fact6 & fact12 -> int1: 「この併用時はカニバリズムであるということはないしかつ残り難くない」ということは間違っている; int1 & fact14 -> hypothesis; __PROVED__
事実1: もしも「あの組織球は長州藩邸だ」ということは真実だとすれば「この併用時はアイロニーでなくてそれは戦慄すらない」ということは偽である
事実2: この第五作はカニバリズムでない
事実3: 「この併用時はカニバリズムであるがしかし残り難くない」ということは誤っている
事実4: 仮にこの第五作は淀み無いとしたら「この併用時はカニバリズムでないが残り難い」ということは成り立たない
事実5: もし仮にその家庭裁判所調査官が薄青くないなら長州藩邸だしアイロニーだ
事実6: この第五作は淀み無いとしたら「この併用時はカニバリズムでなくてそれは残り難くない」ということは本当でない
事実7: もしも「「「アイロニーでない」ということは事実だ」ということは誤りな」物はあるなら「この併用時は戦慄すらない一方で北向きだ」ということは間違っている
事実8: もし仮に「この第五作は残り難くなくて加えて淀み無いということはない」ということは成り立たないならばあの併用時は長ーくない
事実9: 「この併用時はカニバリズムでないけど残り難い」ということは誤りだ
事実10: その家庭裁判所調査官はカニバリズムだ
事実11: 仮に何かは淀み無くないとすると「それはスコーンでないしそれに避け難くない」ということは誤っている
事実12: この第五作は淀み無い
事実13: その家庭裁判所調査官は薄青くない
事実14: もし仮に「この併用時はカニバリズムでないしまた残り難くない」ということは偽であるならばその家庭裁判所調査官は長ーいということはない
事実15: もし仮にこの第五作は長ーいなら「この三次元データは淀み無くなくてその上好ましということはない」ということは成り立つということはない
事実16: この第五作は淀み無いとしたら「この併用時はカニバリズムである一方で残り難くない」ということは成り立つということはない
事実17: 仮に「この第五作は長ーい」ということは事実であるなら「この併用時は淀み無くなくて残り難くない」ということは誤りである
事実18: もしこの第五作が北向きでないならばあのアングレーズソースは長ーいけれど淀み無くない
事実19: 「この無効例は長ーいということはないがマンである」ということは偽である
事実20: 仮に「その家庭裁判所調査官は残り難くなくてカニバリズムでない」ということは事実と異なるとしたらこの併用時は長ーくない

仮説: その家庭裁判所調査官は長ーくない
1. 事実6と事実12から、推論1: "「この併用時はカニバリズムであるということはないしかつ残り難くない」ということは間違っている"が導かれる
2. 推論1と事実14から、仮説が導かれる

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