その通知領域は仮釈放であるということはないけれど行動し為さる
fact1: 御高くないものは仮釈放でないが行動し為さる fact2: 遅しない物はＶＤＳＬでない fact3: もし何らかの物が選択するし御高いなら「この聖霊はＶＤＳＬでない」ということは確かである fact4: もしもこの聖霊はＶＤＳＬでないなら「その通知領域は仮釈放でないけどそれは行動し為さる」ということは成り立たない fact5: その棗椰子は遅し fact6: この聖霊が遅しないけれど気難しいとするとその棗椰子は遅しない fact7: あの上手は言い合わないか広がり難いかあるいは両方ともだ fact8: もし仮にその通知領域が行動し為さるとするとそれはＶＤＳＬである fact9: もしもその棗椰子が遅しならば御高い fact10: もしその棗椰子がＶＤＳＬでないとしたらあの上手は選択するということはないか御高くないかもしくは両方ともである fact11: もしあの上手が言い合わないかもしくは広がり難いかもしくはどちらもならばその棗椰子は選択する
fact11 & fact7 -> int1: その棗椰子は選択する; fact5 & fact9 -> int2: その棗椰子は御高い; int1 & int2 -> int3: その棗椰子は選択するし御高い; int3 -> int4: 何らかのものは選択するしそれに御高い; int4 & fact3 -> int5: この聖霊はＶＤＳＬでない; int5 & fact4 -> hypothesis;
その通知領域は仮釈放でないが行動し為さる
fact15 -> int6: その通知領域が御高くないとすればそれは仮釈放でないけど行動し為さる; fact14 -> int7: 「その棗椰子は遅しない」ということは成り立つとしたらＶＤＳＬでない;
$facts$ = fact1: 御高くないものは仮釈放でないが行動し為さる fact2: 遅しない物はＶＤＳＬでない fact3: もし何らかの物が選択するし御高いなら「この聖霊はＶＤＳＬでない」ということは確かである fact4: もしもこの聖霊はＶＤＳＬでないなら「その通知領域は仮釈放でないけどそれは行動し為さる」ということは成り立たない fact5: その棗椰子は遅し fact6: この聖霊が遅しないけれど気難しいとするとその棗椰子は遅しない fact7: あの上手は言い合わないか広がり難いかあるいは両方ともだ fact8: もし仮にその通知領域が行動し為さるとするとそれはＶＤＳＬである fact9: もしもその棗椰子が遅しならば御高い fact10: もしその棗椰子がＶＤＳＬでないとしたらあの上手は選択するということはないか御高くないかもしくは両方ともである fact11: もしあの上手が言い合わないかもしくは広がり難いかもしくはどちらもならばその棗椰子は選択する ; $hypothesis$ = その通知領域は仮釈放であるということはないけれど行動し為さる ; $proof$ = 
fact11 & fact7 -> int1: その棗椰子は選択する; fact5 & fact9 -> int2: その棗椰子は御高い; int1 & int2 -> int3: その棗椰子は選択するし御高い; int3 -> int4: 何らかのものは選択するしそれに御高い; int4 & fact3 -> int5: この聖霊はＶＤＳＬでない; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: 御高くないものは仮釈放でないが行動し為さる
事実2: 遅しない物はＶＤＳＬでない
事実3: もし何らかの物が選択するし御高いなら「この聖霊はＶＤＳＬでない」ということは確かである
事実4: もしもこの聖霊はＶＤＳＬでないなら「その通知領域は仮釈放でないけどそれは行動し為さる」ということは成り立たない
事実5: その棗椰子は遅し
事実6: この聖霊が遅しないけれど気難しいとするとその棗椰子は遅しない
事実7: あの上手は言い合わないか広がり難いかあるいは両方ともだ
事実8: もし仮にその通知領域が行動し為さるとするとそれはＶＤＳＬである
事実9: もしもその棗椰子が遅しならば御高い
事実10: もしその棗椰子がＶＤＳＬでないとしたらあの上手は選択するということはないか御高くないかもしくは両方ともである
事実11: もしあの上手が言い合わないかもしくは広がり難いかもしくはどちらもならばその棗椰子は選択する

仮説: その通知領域は仮釈放であるということはないけれど行動し為さる
1. 事実11と事実7から、推論1: "その棗椰子は選択する"が導かれる
2. 事実5と事実9から、推論2: "その棗椰子は御高い"が導かれる
3. 推論1と推論2から、推論3: "その棗椰子は選択するし御高い"が導かれる
4. 推論3から、推論4: "何らかのものは選択するしそれに御高い"が導かれる
5. 推論4と事実3から、推論5: "この聖霊はＶＤＳＬでない"が導かれる
6. 推論5と事実4から、仮説が否定される

よって、仮説が否定されました。