その技術職は見極め難いか儚し
fact1: このＡＬＤＨは更生会社であるということはない fact2: このＡＬＤＨは誇らしくない fact3: この旧跡は完済するし加えて鳴り出す fact4: 仮に何かは当取り引き所だということはないが更生会社だとするとそれは誇らしくない fact5: 仮にこのＡＬＤＨが情報内容でないとしたらその技術職は見極め難いかまたはそれは儚しかあるいは両方だ fact6: この鹹水は誇らしい fact7: もし仮に「「この鹹水は当取り引き所だということはないがしかし更生会社である」ということは成り立つ」ということは誤りならそれは鳴り出す fact8: その擬装離婚は抽送する fact9: この鹹水は抽送する fact10: もし仮にこの鹹水が抽送するしまた鳴り出すとしたらこのＡＬＤＨは情報内容でない
fact4 -> int1: もしもこの鹹水が当取り引き所でないけど更生会社ならば「誇らしくない」ということは確かだ; void -> assump1: 以下のように仮定する。この鹹水は当取り引き所でない一方で更生会社だ; int1 & assump1 -> int2: この鹹水は誇らしくない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この鹹水は当取り引き所であるということはない一方でそれは更生会社である」ということは確かでない; int4 & fact7 -> int5: この鹹水は鳴り出す; int5 & fact9 -> int6: この鹹水は抽送するしさらにそれは鳴り出す; int6 & fact10 -> int7: このＡＬＤＨは情報内容でない; int7 & fact5 -> hypothesis;
$facts$ = fact1: このＡＬＤＨは更生会社であるということはない fact2: このＡＬＤＨは誇らしくない fact3: この旧跡は完済するし加えて鳴り出す fact4: 仮に何かは当取り引き所だということはないが更生会社だとするとそれは誇らしくない fact5: 仮にこのＡＬＤＨが情報内容でないとしたらその技術職は見極め難いかまたはそれは儚しかあるいは両方だ fact6: この鹹水は誇らしい fact7: もし仮に「「この鹹水は当取り引き所だということはないがしかし更生会社である」ということは成り立つ」ということは誤りならそれは鳴り出す fact8: その擬装離婚は抽送する fact9: この鹹水は抽送する fact10: もし仮にこの鹹水が抽送するしまた鳴り出すとしたらこのＡＬＤＨは情報内容でない ; $hypothesis$ = その技術職は見極め難いか儚し ; $proof$ = 
fact4 -> int1: もしもこの鹹水が当取り引き所でないけど更生会社ならば「誇らしくない」ということは確かだ; void -> assump1: 以下のように仮定する。この鹹水は当取り引き所でない一方で更生会社だ; int1 & assump1 -> int2: この鹹水は誇らしくない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この鹹水は当取り引き所であるということはない一方でそれは更生会社である」ということは確かでない; int4 & fact7 -> int5: この鹹水は鳴り出す; int5 & fact9 -> int6: この鹹水は抽送するしさらにそれは鳴り出す; int6 & fact10 -> int7: このＡＬＤＨは情報内容でない; int7 & fact5 -> hypothesis; __PROVED__
事実1: このＡＬＤＨは更生会社であるということはない
事実2: このＡＬＤＨは誇らしくない
事実3: この旧跡は完済するし加えて鳴り出す
事実4: 仮に何かは当取り引き所だということはないが更生会社だとするとそれは誇らしくない
事実5: 仮にこのＡＬＤＨが情報内容でないとしたらその技術職は見極め難いかまたはそれは儚しかあるいは両方だ
事実6: この鹹水は誇らしい
事実7: もし仮に「「この鹹水は当取り引き所だということはないがしかし更生会社である」ということは成り立つ」ということは誤りならそれは鳴り出す
事実8: その擬装離婚は抽送する
事実9: この鹹水は抽送する
事実10: もし仮にこの鹹水が抽送するしまた鳴り出すとしたらこのＡＬＤＨは情報内容でない

仮説: その技術職は見極め難いか儚し
1. 事実4から、推論1: "もしもこの鹹水が当取り引き所でないけど更生会社ならば「誇らしくない」ということは確かだ"が導かれる
2. 仮定1: 以下のように仮定する。この鹹水は当取り引き所でない一方で更生会社だ
3. 推論1と仮定1から、推論2: "この鹹水は誇らしくない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この鹹水は当取り引き所であるということはない一方でそれは更生会社である」ということは確かでない"が導かれる
6. 推論4と事実7から、推論5: "この鹹水は鳴り出す"が導かれる
7. 推論5と事実9から、推論6: "この鹹水は抽送するしさらにそれは鳴り出す"が導かれる
8. 推論6と事実10から、推論7: "このＡＬＤＨは情報内容でない"が導かれる
9. 推論7と事実5から、仮説が導かれる

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