このＨＤＬ粒子は攻め上がらない
fact1: 「このＨＤＬ粒子は心深し」ということは本当である fact2: もしも「なにかは近付き難いかあるいは心深し」ということは成り立つということはないとすれば中座する fact3: もし仮に「このＨＤＬ粒子は近付き難いかもしくはそれは心深しかもしくは両方である」ということは成り立たないとするとそれは中座する fact4: このＨＤＬ粒子は心霊研究でない fact5: 「このＨＤＬ粒子は近付き難いかあるいは心深くないかあるいはどちらもである」ということは事実でない fact6: 「心霊研究は攻め上がる」ということは嘘であるということはない fact7: もしもこの資格審査が心霊研究ならばその最新払い出し単価は攻め上がらないが口論する fact8: もしも何かは心霊研究でないけど中座するとすれば攻め上がらない fact9: 仮に「なんらかの物は近付き難いか心深くない」ということは嘘であるとすれば中座する
fact9 -> int1: 「このＨＤＬ粒子は近付き難いかもしくは心深くないかまたは両方だ」ということは成り立たないとするとそれは中座する; int1 & fact5 -> int2: このＨＤＬ粒子は中座する; int2 & fact4 -> int3: このＨＤＬ粒子は心霊研究でないが中座する; fact8 -> int4: もしこのＨＤＬ粒子が心霊研究でないけどそれが中座するならそれは攻め上がらない; int3 & int4 -> hypothesis;
その最新払い出し単価は攻め上がらない一方で口論する
$facts$ = fact1: 「このＨＤＬ粒子は心深し」ということは本当である fact2: もしも「なにかは近付き難いかあるいは心深し」ということは成り立つということはないとすれば中座する fact3: もし仮に「このＨＤＬ粒子は近付き難いかもしくはそれは心深しかもしくは両方である」ということは成り立たないとするとそれは中座する fact4: このＨＤＬ粒子は心霊研究でない fact5: 「このＨＤＬ粒子は近付き難いかあるいは心深くないかあるいはどちらもである」ということは事実でない fact6: 「心霊研究は攻め上がる」ということは嘘であるということはない fact7: もしもこの資格審査が心霊研究ならばその最新払い出し単価は攻め上がらないが口論する fact8: もしも何かは心霊研究でないけど中座するとすれば攻め上がらない fact9: 仮に「なんらかの物は近付き難いか心深くない」ということは嘘であるとすれば中座する ; $hypothesis$ = このＨＤＬ粒子は攻め上がらない ; $proof$ = 
fact9 -> int1: 「このＨＤＬ粒子は近付き難いかもしくは心深くないかまたは両方だ」ということは成り立たないとするとそれは中座する; int1 & fact5 -> int2: このＨＤＬ粒子は中座する; int2 & fact4 -> int3: このＨＤＬ粒子は心霊研究でないが中座する; fact8 -> int4: もしこのＨＤＬ粒子が心霊研究でないけどそれが中座するならそれは攻め上がらない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「このＨＤＬ粒子は心深し」ということは本当である
事実2: もしも「なにかは近付き難いかあるいは心深し」ということは成り立つということはないとすれば中座する
事実3: もし仮に「このＨＤＬ粒子は近付き難いかもしくはそれは心深しかもしくは両方である」ということは成り立たないとするとそれは中座する
事実4: このＨＤＬ粒子は心霊研究でない
事実5: 「このＨＤＬ粒子は近付き難いかあるいは心深くないかあるいはどちらもである」ということは事実でない
事実6: 「心霊研究は攻め上がる」ということは嘘であるということはない
事実7: もしもこの資格審査が心霊研究ならばその最新払い出し単価は攻め上がらないが口論する
事実8: もしも何かは心霊研究でないけど中座するとすれば攻め上がらない
事実9: 仮に「なんらかの物は近付き難いか心深くない」ということは嘘であるとすれば中座する

仮説: このＨＤＬ粒子は攻め上がらない
1. 事実9から、推論1: "「このＨＤＬ粒子は近付き難いかもしくは心深くないかまたは両方だ」ということは成り立たないとするとそれは中座する"が導かれる
2. 推論1と事実5から、推論2: "このＨＤＬ粒子は中座する"が導かれる
3. 推論2と事実4から、推論3: "このＨＤＬ粒子は心霊研究でないが中座する"が導かれる
4. 事実8から、推論4: "もしこのＨＤＬ粒子が心霊研究でないけどそれが中座するならそれは攻め上がらない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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