あのサードは悪戯電話だ
fact1: もしとある物は鉄則でないかもしくは同博士であるかまたは両方ともだとするとそれは行い易い fact2: もしなにかは行い易いとするとそれは穿かさないし加えてそれは引き離す fact3: あの日の丸弁当はＨＥＲでない fact4: あの日の丸弁当は行い易いとすれば「あのバザーはＨＥＲでないけどそれは悪戯電話だ」ということは成り立たない fact5: 「あのバザーはＨＥＲである」ということは本当だ fact6: それは騙され易いということはないししかもそれはペイでないという物はない fact7: 仮にあのバザーが行い易くないとするとあの日の丸弁当はＨＥＲだということはないが鉄則である fact8: 「あのノンは騙され易いということはないしおまけにペイでない」ということは間違いであるとしたらあのバザーは行い易いということはない fact9: もし何らかのものがＨＥＲでないがしかし鉄則であるならあのサードは悪戯電話だ fact10: もし想像し易くない物が疎ましいとすればそれは同博士だ fact11: あのバザーがＨＥＲであるならその同等以上は行い易い
fact6 -> int1: 「あのノンは騙され易くないしおまけにペイでない」ということは誤っている; int1 & fact8 -> int2: あのバザーは行い易いということはない; int2 & fact7 -> int3: あの日の丸弁当はＨＥＲであるということはないけど鉄則である; int3 -> int4: 「ＨＥＲでなくてかつ鉄則である」物はある; int4 & fact9 -> hypothesis;
その同等以上は穿かさない一方でそれは引き離す
fact13 -> int5: その同等以上が行い易いとしたら穿かさないがしかし引き離す;
$facts$ = fact1: もしとある物は鉄則でないかもしくは同博士であるかまたは両方ともだとするとそれは行い易い fact2: もしなにかは行い易いとするとそれは穿かさないし加えてそれは引き離す fact3: あの日の丸弁当はＨＥＲでない fact4: あの日の丸弁当は行い易いとすれば「あのバザーはＨＥＲでないけどそれは悪戯電話だ」ということは成り立たない fact5: 「あのバザーはＨＥＲである」ということは本当だ fact6: それは騙され易いということはないししかもそれはペイでないという物はない fact7: 仮にあのバザーが行い易くないとするとあの日の丸弁当はＨＥＲだということはないが鉄則である fact8: 「あのノンは騙され易いということはないしおまけにペイでない」ということは間違いであるとしたらあのバザーは行い易いということはない fact9: もし何らかのものがＨＥＲでないがしかし鉄則であるならあのサードは悪戯電話だ fact10: もし想像し易くない物が疎ましいとすればそれは同博士だ fact11: あのバザーがＨＥＲであるならその同等以上は行い易い ; $hypothesis$ = あのサードは悪戯電話だ ; $proof$ = 
fact6 -> int1: 「あのノンは騙され易くないしおまけにペイでない」ということは誤っている; int1 & fact8 -> int2: あのバザーは行い易いということはない; int2 & fact7 -> int3: あの日の丸弁当はＨＥＲであるということはないけど鉄則である; int3 -> int4: 「ＨＥＲでなくてかつ鉄則である」物はある; int4 & fact9 -> hypothesis; __PROVED__
事実1: もしとある物は鉄則でないかもしくは同博士であるかまたは両方ともだとするとそれは行い易い
事実2: もしなにかは行い易いとするとそれは穿かさないし加えてそれは引き離す
事実3: あの日の丸弁当はＨＥＲでない
事実4: あの日の丸弁当は行い易いとすれば「あのバザーはＨＥＲでないけどそれは悪戯電話だ」ということは成り立たない
事実5: 「あのバザーはＨＥＲである」ということは本当だ
事実6: それは騙され易いということはないししかもそれはペイでないという物はない
事実7: 仮にあのバザーが行い易くないとするとあの日の丸弁当はＨＥＲだということはないが鉄則である
事実8: 「あのノンは騙され易いということはないしおまけにペイでない」ということは間違いであるとしたらあのバザーは行い易いということはない
事実9: もし何らかのものがＨＥＲでないがしかし鉄則であるならあのサードは悪戯電話だ
事実10: もし想像し易くない物が疎ましいとすればそれは同博士だ
事実11: あのバザーがＨＥＲであるならその同等以上は行い易い

仮説: あのサードは悪戯電話だ
1. 事実6から、推論1: "「あのノンは騙され易くないしおまけにペイでない」ということは誤っている"が導かれる
2. 推論1と事実8から、推論2: "あのバザーは行い易いということはない"が導かれる
3. 推論2と事実7から、推論3: "あの日の丸弁当はＨＥＲであるということはないけど鉄則である"が導かれる
4. 推論3から、推論4: "「ＨＥＲでなくてかつ鉄則である」物はある"が導かれる
5. 推論4と事実9から、仮説が導かれる

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