「その鱗形は紛らわすけど点検箇所でない」ということは間違いだ
fact1: 生じ難いものが書き直せないなら利用され易い fact2: その鱗形は生じ難いが点検箇所でない fact3: 「あの公共性は書き直せるということはない」ということは本当である fact4: もしも利用され易いものは先駆ければ「点検箇所でない」ということは事実である fact5: あの介護老人保健施設は損害賠償請求しないならば「その鱗形は紛らわすけどそれは点検箇所でない」ということは成り立つということはない fact6: あの介護老人保健施設は製造計画サブシステムであるがしかし発売元でない fact7: この人事考課は先駆けない fact8: もしも「あのカレーズは任意同行でない」ということは本当でないならばあの五大国は見難くない一方で先駆ける fact9: 仮にあの介護老人保健施設が利用され易いとしたらボイラー則である fact10: この老人施設は点検箇所だ fact11: ある物が損害賠償請求するしさらにボイラー則ならばそれはボツリヌス毒素であるということはない fact12: 仮になにかは紛らわすがしかしボイラー則でないとするとボツリヌス毒素だ fact13: あの介護老人保健施設は先駆ける fact14: 仮にあの介護老人保健施設は損害賠償請求しないとすると「その鱗形は紛らわすし加えてそれは点検箇所である」ということは間違っている fact15: 「あの介護老人保健施設は紛らわすがしかしそれはストック情報でない」ということは成り立たない fact16: あの介護老人保健施設は生じ難い fact17: 「その鱗形は紛らわすしそれに点検箇所である」ということは真実だということはない fact18: あの歯科金属はボツリヌス毒素であるということはない fact19: 「そのプルトニウムは先駆ける」ということは成り立つ fact20: もしも「なにかは損害賠償請求するということはないかあるいは利用され易いかまたはどちらもだ」ということは偽であるとすればそれはボイラー則でない fact21: その鱗形が点検箇所ならそれは盗聴だ fact22: もしあの五大国が見難くない一方で先駆ければその鱗形はボツリヌス毒素でない fact23: もし何らかのものがボイラー則でないとするとそれは紛らわすし点検箇所でない fact24: 仮になにがしかの物は先駆けるとしたら「ボツリヌス毒素である」ということは成り立つ fact25: 仮に「この学習内容は吹き込む一方でそれは任意同行だということはない」ということは事実と異なればあのカレーズは任意同行である fact26: 「あの介護老人保健施設は書き直せるということはない」ということは本当である fact27: その鱗形はボイラー則であるが向かい合わせない fact28: あの介護老人保健施設はルーメン液中だ fact29: その鱗形は損害賠償請求する
fact1 -> int1: もしもあの介護老人保健施設は生じ難いけれど書き直せるということはないとしたらそれは利用され易い; fact16 & fact26 -> int2: あの介護老人保健施設は生じ難い一方で書き直せない; int1 & int2 -> int3: あの介護老人保健施設は利用され易い; int3 & fact9 -> int4: あの介護老人保健施設はボイラー則だ; void -> assump1: 以下のように仮定する。あの介護老人保健施設は損害賠償請求する; int4 & assump1 -> int5: あの介護老人保健施設は損害賠償請求するしボイラー則である; fact11 -> int6: 仮にあの介護老人保健施設は損害賠償請求するしさらにボイラー則ならそれはボツリヌス毒素でない; int5 & int6 -> int7: あの介護老人保健施設はボツリヌス毒素でない; fact24 -> int8: もしあの介護老人保健施設が先駆けるとすればボツリヌス毒素である; int8 & fact13 -> int9: あの介護老人保健施設はボツリヌス毒素である; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの介護老人保健施設は損害賠償請求しない; int11 & fact5 -> hypothesis;
その鱗形は紛らわすがそれは点検箇所でない
fact34 -> int12: もしもその鱗形はボイラー則でないとするとそれは紛らわすが点検箇所でない; fact30 -> 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: もし何らかのものがボイラー則でないとするとそれは紛らわすし点検箇所でない fact24: 仮になにがしかの物は先駆けるとしたら「ボツリヌス毒素である」ということは成り立つ fact25: 仮に「この学習内容は吹き込む一方でそれは任意同行だということはない」ということは事実と異なればあのカレーズは任意同行である fact26: 「あの介護老人保健施設は書き直せるということはない」ということは本当である fact27: その鱗形はボイラー則であるが向かい合わせない fact28: あの介護老人保健施設はルーメン液中だ fact29: その鱗形は損害賠償請求する ; $hypothesis$ = 「その鱗形は紛らわすけど点検箇所でない」ということは間違いだ ; $proof$ = 
fact1 -> int1: もしもあの介護老人保健施設は生じ難いけれど書き直せるということはないとしたらそれは利用され易い; fact16 & fact26 -> int2: あの介護老人保健施設は生じ難い一方で書き直せない; int1 & int2 -> int3: あの介護老人保健施設は利用され易い; int3 & fact9 -> int4: あの介護老人保健施設はボイラー則だ; void -> assump1: 以下のように仮定する。あの介護老人保健施設は損害賠償請求する; int4 & assump1 -> int5: あの介護老人保健施設は損害賠償請求するしボイラー則である; fact11 -> int6: 仮にあの介護老人保健施設は損害賠償請求するしさらにボイラー則ならそれはボツリヌス毒素でない; int5 & int6 -> int7: あの介護老人保健施設はボツリヌス毒素でない; fact24 -> int8: もしあの介護老人保健施設が先駆けるとすればボツリヌス毒素である; int8 & fact13 -> int9: あの介護老人保健施設はボツリヌス毒素である; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの介護老人保健施設は損害賠償請求しない; int11 & fact5 -> 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: もし何らかのものがボイラー則でないとするとそれは紛らわすし点検箇所でない
事実24: 仮になにがしかの物は先駆けるとしたら「ボツリヌス毒素である」ということは成り立つ
事実25: 仮に「この学習内容は吹き込む一方でそれは任意同行だということはない」ということは事実と異なればあのカレーズは任意同行である
事実26: 「あの介護老人保健施設は書き直せるということはない」ということは本当である
事実27: その鱗形はボイラー則であるが向かい合わせない
事実28: あの介護老人保健施設はルーメン液中だ
事実29: その鱗形は損害賠償請求する

仮説: 「その鱗形は紛らわすけど点検箇所でない」ということは間違いだ
1. 事実1から、推論1: "もしもあの介護老人保健施設は生じ難いけれど書き直せるということはないとしたらそれは利用され易い"が導かれる
2. 事実16と事実26から、推論2: "あの介護老人保健施設は生じ難い一方で書き直せない"が導かれる
3. 推論1と推論2から、推論3: "あの介護老人保健施設は利用され易い"が導かれる
4. 推論3と事実9から、推論4: "あの介護老人保健施設はボイラー則だ"が導かれる
5. 仮定1: 以下のように仮定する。あの介護老人保健施設は損害賠償請求する
6. 推論4と仮定1から、推論5: "あの介護老人保健施設は損害賠償請求するしボイラー則である"が導かれる
7. 事実11から、推論6: "仮にあの介護老人保健施設は損害賠償請求するしさらにボイラー則ならそれはボツリヌス毒素でない"が導かれる
8. 推論5と推論6から、推論7: "あの介護老人保健施設はボツリヌス毒素でない"が導かれる
9. 事実24から、推論8: "もしあの介護老人保健施設が先駆けるとすればボツリヌス毒素である"が導かれる
10. 推論8と事実13から、推論9: "あの介護老人保健施設はボツリヌス毒素である"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの介護老人保健施設は損害賠償請求しない"が導かれる
13. 推論11と事実5から、仮説が導かれる

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