「あの営業販売は厚し」ということは本当である
fact1: もしこの姿勢反射障害が好発するということはないならばあの伊都国は繰り越し控除限度額であるかまたは好発するかまたはどちらもである fact2: この伊都国が見られ易いとすればあの潜航は好発する fact3: 「この姿勢反射障害は厭わしくないけれど電気ショックである」ということは事実と異なる fact4: もし仮に「この商工ローン業者は擬する」ということは本当ならばこの潜航は見られ易い fact5: もし仮にこの伊都国が好発するならばあの商工ローン業者は擬する fact6: もし仮にこの伊都国が繰り越し控除限度額であるならばこの商工ローン業者は擬する fact7: もし仮にこの潜航が見られ易いならばあの営業販売は厚し fact8: この伊都国は見られ易い fact9: 「とあるものは厭わしいということはないがしかし電気ショックだ」ということは間違いなら好発しない
fact9 -> int1: もし「この姿勢反射障害は厭わしくないけど電気ショックだ」ということは嘘だとしたらそれは好発するということはない; int1 & fact3 -> int2: この姿勢反射障害は好発しない; int2 & fact1 -> int3: この伊都国は繰り越し控除限度額であるかまたは好発するかあるいはどちらもである; int3 & fact6 & fact5 -> int4: 「この商工ローン業者は擬する」ということは成り立つ; int4 & fact4 -> int5: この潜航は見られ易い; int5 & fact7 -> hypothesis;
$facts$ = fact1: もしこの姿勢反射障害が好発するということはないならばあの伊都国は繰り越し控除限度額であるかまたは好発するかまたはどちらもである fact2: この伊都国が見られ易いとすればあの潜航は好発する fact3: 「この姿勢反射障害は厭わしくないけれど電気ショックである」ということは事実と異なる fact4: もし仮に「この商工ローン業者は擬する」ということは本当ならばこの潜航は見られ易い fact5: もし仮にこの伊都国が好発するならばあの商工ローン業者は擬する fact6: もし仮にこの伊都国が繰り越し控除限度額であるならばこの商工ローン業者は擬する fact7: もし仮にこの潜航が見られ易いならばあの営業販売は厚し fact8: この伊都国は見られ易い fact9: 「とあるものは厭わしいということはないがしかし電気ショックだ」ということは間違いなら好発しない ; $hypothesis$ = 「あの営業販売は厚し」ということは本当である ; $proof$ = 
fact9 -> int1: もし「この姿勢反射障害は厭わしくないけど電気ショックだ」ということは嘘だとしたらそれは好発するということはない; int1 & fact3 -> int2: この姿勢反射障害は好発しない; int2 & fact1 -> int3: この伊都国は繰り越し控除限度額であるかまたは好発するかあるいはどちらもである; int3 & fact6 & fact5 -> int4: 「この商工ローン業者は擬する」ということは成り立つ; int4 & fact4 -> int5: この潜航は見られ易い; int5 & fact7 -> hypothesis; __PROVED__
事実1: もしこの姿勢反射障害が好発するということはないならばあの伊都国は繰り越し控除限度額であるかまたは好発するかまたはどちらもである
事実2: この伊都国が見られ易いとすればあの潜航は好発する
事実3: 「この姿勢反射障害は厭わしくないけれど電気ショックである」ということは事実と異なる
事実4: もし仮に「この商工ローン業者は擬する」ということは本当ならばこの潜航は見られ易い
事実5: もし仮にこの伊都国が好発するならばあの商工ローン業者は擬する
事実6: もし仮にこの伊都国が繰り越し控除限度額であるならばこの商工ローン業者は擬する
事実7: もし仮にこの潜航が見られ易いならばあの営業販売は厚し
事実8: この伊都国は見られ易い
事実9: 「とあるものは厭わしいということはないがしかし電気ショックだ」ということは間違いなら好発しない

仮説: 「あの営業販売は厚し」ということは本当である
1. 事実9から、推論1: "もし「この姿勢反射障害は厭わしくないけど電気ショックだ」ということは嘘だとしたらそれは好発するということはない"が導かれる
2. 推論1と事実3から、推論2: "この姿勢反射障害は好発しない"が導かれる
3. 推論2と事実1から、推論3: "この伊都国は繰り越し控除限度額であるかまたは好発するかあるいはどちらもである"が導かれる
4. 推論3と事実6と事実5から、推論4: "「この商工ローン業者は擬する」ということは成り立つ"が導かれる
5. 推論4と事実4から、推論5: "この潜航は見られ易い"が導かれる
6. 推論5と事実7から、仮説が導かれる

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