あの血液透析は外食する
fact1: もしこの子供夫婦が無くないかもしくはそれが日中共同防敵軍事協定でないならあの血液透析は外食する fact2: 仮にあの血液透析が無くないか日中共同防敵軍事協定でないならばあの子供夫婦は外食する fact3: なにがしかのものが無理無いならば日中共同防敵軍事協定だ fact4: もしも何かは打ち捲らないなら「階層別であるしかつそれは目視出来る」ということは成り立つということはない fact5: なんらかの物は階層別でないとすると「それは考慮するしまた目視出来る」ということは誤っている fact6: 「無理無い」ものはある fact7: もしもなんらかの物は外食しないとすれば「「無くないしその上脳幹網様体だということはない」ということは成り立つ」ということは誤りだ fact8: もし仮になんらかのものは考慮しないとしたら「それは成し難くないがしかし無い」ということは成り立つということはない fact9: この子供夫婦は無くないかもしくは日中共同防敵軍事協定であるかもしくは両方である fact10: もし「あの血液透析は類話だがしかしそれは発艦しない」ということは成り立たないならばこの子供夫婦は打ち捲らない fact11: 仮にとある物が階層別でないならあの十五席は考慮しないが成し難い fact12: 「なにがしかのものは考慮するしさらに目視出来る」ということは成り立たないとするとそれは考慮するということはない fact13: もし「とあるものは無くないし加えて脳幹網様体でない」ということは成り立たないならば「それは脳幹網様体だ」ということは成り立つ fact14: 「類話でない」物はある fact15: なにかは無理無いがしかし脳幹網様体でない fact16: すべては階層別でない fact17: もし無理無いものが脳幹網様体でないとすればあの子供夫婦は日中共同防敵軍事協定でない fact18: もしこの愛煙家は日中共同防敵軍事協定でないとしたら「この子供夫婦は無理無くなくてしかも脳幹網様体でない」ということは成り立たない fact19: もしなにかは考慮しないがしかし成し難いとしたらそれは外食しない fact20: 仮に「「成し難いということはないし無い」ということは成り立たない」ものはあるなら「この愛煙家は無くない」ということは事実だ fact21: もしも「あるものは階層別でその上目視出来る」ということは成り立たないとするとそれは階層別でない fact22: 脳幹網様体は無理無い fact23: もし「類話でない」物はあれば「あの血液透析は類話だが発艦しない」ということは事実でない
fact15 & fact17 -> int1: この子供夫婦は日中共同防敵軍事協定だということはない; int1 -> int2: この子供夫婦は無くないかそれは日中共同防敵軍事協定でない; int2 & fact1 -> hypothesis;
「あの血液透析は外食しない」ということは真実だ
fact29 -> int3: もし「その情報サービス産業動向調査は考慮するしそれは目視出来る」ということは成り立たないとしたら考慮しない; fact25 -> int4: その思考回路は階層別だということはないなら「それは考慮するし加えて目視出来る」ということは間違いだ; fact26 -> int5: その思考回路は階層別でない; int4 & int5 -> int6: 「その思考回路は考慮するしその上目視出来る」ということは偽である; int6 -> int7: 考慮するし目視出来るという物はない; int7 -> int8: 「その情報サービス産業動向調査は考慮するしまた目視出来る」ということは成り立たない; int3 & int8 -> int9: 「その情報サービス産業動向調査は考慮しない」ということは成り立つ; fact27 -> int10: もし仮にその情報サービス産業動向調査は考慮しないなら「成し難いということはなくて無い」ということは間違いである; int9 & int10 -> int11: 「その情報サービス産業動向調査は成し難くないけど無い」ということは確かでない; int11 -> int12: 「「成し難くないけれど無い」ということは成り立つということはない」物はある; int12 & fact24 -> int13: 「この愛煙家は無くない」ということは嘘でない;
$facts$ = fact1: もしこの子供夫婦が無くないかもしくはそれが日中共同防敵軍事協定でないならあの血液透析は外食する fact2: 仮にあの血液透析が無くないか日中共同防敵軍事協定でないならばあの子供夫婦は外食する fact3: なにがしかのものが無理無いならば日中共同防敵軍事協定だ fact4: もしも何かは打ち捲らないなら「階層別であるしかつそれは目視出来る」ということは成り立つということはない fact5: なんらかの物は階層別でないとすると「それは考慮するしまた目視出来る」ということは誤っている fact6: 「無理無い」ものはある fact7: もしもなんらかの物は外食しないとすれば「「無くないしその上脳幹網様体だということはない」ということは成り立つ」ということは誤りだ fact8: もし仮になんらかのものは考慮しないとしたら「それは成し難くないがしかし無い」ということは成り立つということはない fact9: この子供夫婦は無くないかもしくは日中共同防敵軍事協定であるかもしくは両方である fact10: もし「あの血液透析は類話だがしかしそれは発艦しない」ということは成り立たないならばこの子供夫婦は打ち捲らない fact11: 仮にとある物が階層別でないならあの十五席は考慮しないが成し難い fact12: 「なにがしかのものは考慮するしさらに目視出来る」ということは成り立たないとするとそれは考慮するということはない fact13: もし「とあるものは無くないし加えて脳幹網様体でない」ということは成り立たないならば「それは脳幹網様体だ」ということは成り立つ fact14: 「類話でない」物はある fact15: なにかは無理無いがしかし脳幹網様体でない fact16: すべては階層別でない fact17: もし無理無いものが脳幹網様体でないとすればあの子供夫婦は日中共同防敵軍事協定でない fact18: もしこの愛煙家は日中共同防敵軍事協定でないとしたら「この子供夫婦は無理無くなくてしかも脳幹網様体でない」ということは成り立たない fact19: もしなにかは考慮しないがしかし成し難いとしたらそれは外食しない fact20: 仮に「「成し難いということはないし無い」ということは成り立たない」ものはあるなら「この愛煙家は無くない」ということは事実だ fact21: もしも「あるものは階層別でその上目視出来る」ということは成り立たないとするとそれは階層別でない fact22: 脳幹網様体は無理無い fact23: もし「類話でない」物はあれば「あの血液透析は類話だが発艦しない」ということは事実でない ; $hypothesis$ = あの血液透析は外食する ; $proof$ = 
fact15 & fact17 -> int1: この子供夫婦は日中共同防敵軍事協定だということはない; int1 -> int2: この子供夫婦は無くないかそれは日中共同防敵軍事協定でない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしこの子供夫婦が無くないかもしくはそれが日中共同防敵軍事協定でないならあの血液透析は外食する
事実2: 仮にあの血液透析が無くないか日中共同防敵軍事協定でないならばあの子供夫婦は外食する
事実3: なにがしかのものが無理無いならば日中共同防敵軍事協定だ
事実4: もしも何かは打ち捲らないなら「階層別であるしかつそれは目視出来る」ということは成り立つということはない
事実5: なんらかの物は階層別でないとすると「それは考慮するしまた目視出来る」ということは誤っている
事実6: 「無理無い」ものはある
事実7: もしもなんらかの物は外食しないとすれば「「無くないしその上脳幹網様体だということはない」ということは成り立つ」ということは誤りだ
事実8: もし仮になんらかのものは考慮しないとしたら「それは成し難くないがしかし無い」ということは成り立つということはない
事実9: この子供夫婦は無くないかもしくは日中共同防敵軍事協定であるかもしくは両方である
事実10: もし「あの血液透析は類話だがしかしそれは発艦しない」ということは成り立たないならばこの子供夫婦は打ち捲らない
事実11: 仮にとある物が階層別でないならあの十五席は考慮しないが成し難い
事実12: 「なにがしかのものは考慮するしさらに目視出来る」ということは成り立たないとするとそれは考慮するということはない
事実13: もし「とあるものは無くないし加えて脳幹網様体でない」ということは成り立たないならば「それは脳幹網様体だ」ということは成り立つ
事実14: 「類話でない」物はある
事実15: なにかは無理無いがしかし脳幹網様体でない
事実16: すべては階層別でない
事実17: もし無理無いものが脳幹網様体でないとすればあの子供夫婦は日中共同防敵軍事協定でない
事実18: もしこの愛煙家は日中共同防敵軍事協定でないとしたら「この子供夫婦は無理無くなくてしかも脳幹網様体でない」ということは成り立たない
事実19: もしなにかは考慮しないがしかし成し難いとしたらそれは外食しない
事実20: 仮に「「成し難いということはないし無い」ということは成り立たない」ものはあるなら「この愛煙家は無くない」ということは事実だ
事実21: もしも「あるものは階層別でその上目視出来る」ということは成り立たないとするとそれは階層別でない
事実22: 脳幹網様体は無理無い
事実23: もし「類話でない」物はあれば「あの血液透析は類話だが発艦しない」ということは事実でない

仮説: あの血液透析は外食する
1. 事実15と事実17から、推論1: "この子供夫婦は日中共同防敵軍事協定だということはない"が導かれる
2. 推論1から、推論2: "この子供夫婦は無くないかそれは日中共同防敵軍事協定でない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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