あの脈は重たい
fact1: もしも「あの二十年頃は奏するがしかし潔しない」ということは嘘ならば奏しない fact2: あの二十年頃は株主数だしクロシャールである fact3: もしも「このリンパ節転移は記事中でなくて項垂れない」ということは偽であるとすればあの御承知は記事中でない fact4: もしもこの一致協力は項垂れるとしたら「あの二十年頃は程近いということはない」ということは成り立つ fact5: この一致協力は項垂れるかもしくは程近いかもしくは両方ともである fact6: このリンパ節転移は所有期間であるということはない fact7: あの御承知は程近いし加えて所有期間だ fact8: 仮に「何かは先頭行でないがしかしそれはクロシャールである」ということは成り立たないならばそれはクロシャールでない fact9: 仮になにがしかの物は奏しないなら「先頭行でないがしかしクロシャールだ」ということは成り立たない fact10: このＭＡＩＮは重たい fact11: もし仮に何らかの物は程近くないとすると「奏するけど潔しない」ということは成り立たない fact12: このリンパ節転移は株主数である fact13: この一致協力は潔しないなら「あの御承知が程近くておまけにそれは潔し」ということは確かである fact14: もし仮になんらかのものはクロシャールであるということはないとすると「株主数だしかつ重たい」ということは成り立つということはない fact15: もしもこのリンパ節転移は所有期間でないとすれば「記事中だということはないしかつ項垂れない」ということは成り立たない fact16: もしあの御承知が記事中であるということはない一方で潔しとしたらあの脈は重たい fact17: もし仮にこの一致協力は先頭行でないとすれば「それは項垂れなくて加えて所有期間でない」ということは偽である fact18: あの二十年頃がクロシャールであるならこの一致協力は奏する fact19: 「この一致協力は株主数でないしそれにそれは奏しない」ということは誤っている fact20: 仮にあるものが奏するかもしくはそれは先頭行でないかまたは両方ともであるとすると潔しない
fact2 -> int1: あの二十年頃はクロシャールだ; int1 & fact18 -> int2: この一致協力は奏する; int2 -> int3: この一致協力は奏するかまたは先頭行だということはない; fact20 -> int4: 仮にこの一致協力が奏するかそれは先頭行でないならば「それは潔しない」ということは事実である; int3 & int4 -> int5: この一致協力は潔しない; int5 & fact13 -> int6: あの御承知は程近くて潔し; int6 -> int7: あの御承知は潔し; fact15 & fact6 -> int8: 「このリンパ節転移は記事中でないしかつ項垂れない」ということは間違いである; int8 & fact3 -> int9: あの御承知は記事中でない; int7 & int9 -> int10: あの御承知は記事中でないけれど潔し; int10 & fact16 -> hypothesis;
あの脈は重たくない
fact26 -> int11: あの二十年頃はクロシャールだということはないとすると「株主数だしそれは重たい」ということは事実と異なる; fact23 -> int12: もしも「あの二十年頃は先頭行だということはないがしかしクロシャールである」ということは嘘であるとしたらそれはクロシャールでない; fact25 -> int13: 仮にあの二十年頃は奏するということはないとしたら「先頭行でない一方でクロシャールだ」ということは間違いだ; fact22 -> int14: 仮にあの二十年頃は程近いということはないなら「奏するけど潔しない」ということは正しくない;
$facts$ = fact1: もしも「あの二十年頃は奏するがしかし潔しない」ということは嘘ならば奏しない fact2: あの二十年頃は株主数だしクロシャールである fact3: もしも「このリンパ節転移は記事中でなくて項垂れない」ということは偽であるとすればあの御承知は記事中でない fact4: もしもこの一致協力は項垂れるとしたら「あの二十年頃は程近いということはない」ということは成り立つ fact5: この一致協力は項垂れるかもしくは程近いかもしくは両方ともである fact6: このリンパ節転移は所有期間であるということはない fact7: あの御承知は程近いし加えて所有期間だ fact8: 仮に「何かは先頭行でないがしかしそれはクロシャールである」ということは成り立たないならばそれはクロシャールでない fact9: 仮になにがしかの物は奏しないなら「先頭行でないがしかしクロシャールだ」ということは成り立たない fact10: このＭＡＩＮは重たい fact11: もし仮に何らかの物は程近くないとすると「奏するけど潔しない」ということは成り立たない fact12: このリンパ節転移は株主数である fact13: この一致協力は潔しないなら「あの御承知が程近くておまけにそれは潔し」ということは確かである fact14: もし仮になんらかのものはクロシャールであるということはないとすると「株主数だしかつ重たい」ということは成り立つということはない fact15: もしもこのリンパ節転移は所有期間でないとすれば「記事中だということはないしかつ項垂れない」ということは成り立たない fact16: もしあの御承知が記事中であるということはない一方で潔しとしたらあの脈は重たい fact17: もし仮にこの一致協力は先頭行でないとすれば「それは項垂れなくて加えて所有期間でない」ということは偽である fact18: あの二十年頃がクロシャールであるならこの一致協力は奏する fact19: 「この一致協力は株主数でないしそれにそれは奏しない」ということは誤っている fact20: 仮にあるものが奏するかもしくはそれは先頭行でないかまたは両方ともであるとすると潔しない ; $hypothesis$ = あの脈は重たい ; $proof$ = 
fact2 -> int1: あの二十年頃はクロシャールだ; int1 & fact18 -> int2: この一致協力は奏する; int2 -> int3: この一致協力は奏するかまたは先頭行だということはない; fact20 -> int4: 仮にこの一致協力が奏するかそれは先頭行でないならば「それは潔しない」ということは事実である; int3 & int4 -> int5: この一致協力は潔しない; int5 & fact13 -> int6: あの御承知は程近くて潔し; int6 -> int7: あの御承知は潔し; fact15 & fact6 -> int8: 「このリンパ節転移は記事中でないしかつ項垂れない」ということは間違いである; int8 & fact3 -> int9: あの御承知は記事中でない; int7 & int9 -> int10: あの御承知は記事中でないけれど潔し; int10 & fact16 -> hypothesis; __PROVED__
事実1: もしも「あの二十年頃は奏するがしかし潔しない」ということは嘘ならば奏しない
事実2: あの二十年頃は株主数だしクロシャールである
事実3: もしも「このリンパ節転移は記事中でなくて項垂れない」ということは偽であるとすればあの御承知は記事中でない
事実4: もしもこの一致協力は項垂れるとしたら「あの二十年頃は程近いということはない」ということは成り立つ
事実5: この一致協力は項垂れるかもしくは程近いかもしくは両方ともである
事実6: このリンパ節転移は所有期間であるということはない
事実7: あの御承知は程近いし加えて所有期間だ
事実8: 仮に「何かは先頭行でないがしかしそれはクロシャールである」ということは成り立たないならばそれはクロシャールでない
事実9: 仮になにがしかの物は奏しないなら「先頭行でないがしかしクロシャールだ」ということは成り立たない
事実10: このＭＡＩＮは重たい
事実11: もし仮に何らかの物は程近くないとすると「奏するけど潔しない」ということは成り立たない
事実12: このリンパ節転移は株主数である
事実13: この一致協力は潔しないなら「あの御承知が程近くておまけにそれは潔し」ということは確かである
事実14: もし仮になんらかのものはクロシャールであるということはないとすると「株主数だしかつ重たい」ということは成り立つということはない
事実15: もしもこのリンパ節転移は所有期間でないとすれば「記事中だということはないしかつ項垂れない」ということは成り立たない
事実16: もしあの御承知が記事中であるということはない一方で潔しとしたらあの脈は重たい
事実17: もし仮にこの一致協力は先頭行でないとすれば「それは項垂れなくて加えて所有期間でない」ということは偽である
事実18: あの二十年頃がクロシャールであるならこの一致協力は奏する
事実19: 「この一致協力は株主数でないしそれにそれは奏しない」ということは誤っている
事実20: 仮にあるものが奏するかもしくはそれは先頭行でないかまたは両方ともであるとすると潔しない

仮説: あの脈は重たい
1. 事実2から、推論1: "あの二十年頃はクロシャールだ"が導かれる
2. 推論1と事実18から、推論2: "この一致協力は奏する"が導かれる
3. 推論2から、推論3: "この一致協力は奏するかまたは先頭行だということはない"が導かれる
4. 事実20から、推論4: "仮にこの一致協力が奏するかそれは先頭行でないならば「それは潔しない」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "この一致協力は潔しない"が導かれる
6. 推論5と事実13から、推論6: "あの御承知は程近くて潔し"が導かれる
7. 推論6から、推論7: "あの御承知は潔し"が導かれる
8. 事実15と事実6から、推論8: "「このリンパ節転移は記事中でないしかつ項垂れない」ということは間違いである"が導かれる
9. 推論8と事実3から、推論9: "あの御承知は記事中でない"が導かれる
10. 推論7と推論9から、推論10: "あの御承知は記事中でないけれど潔し"が導かれる
11. 推論10と事実16から、仮説が導かれる

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