「もしその現実性が測定系であるならばこの介護予防は生き易い」ということは成り立たない
fact1: 「測定系は守護する」ということは正しい fact2: なにがしかのものが守護するとすればそれは救い難くないか舞うかあるいはどちらもだ fact3: 仮に「守護しないかまたは測定系な」物はあるとしたら「この介護予防は生き易い」ということは成り立つ
void -> assump1: 以下のように仮定する。「「その現実性は測定系でない」ということは確かである」ということは成り立たない; assump1 -> int1: その現実性は守護しないか測定系だ; int1 -> int2: 何らかのものは守護しないかまたは測定系であるかあるいは両方だ; int2 & fact3 -> int3: 「この介護予防は生き易い」ということは成り立つ; [assump1] & int3 -> hypothesis;
そのセーフコ・フィールドは救い難くないかまたはそれは舞うかもしくは両方だ
fact4 -> int4: もし仮にそのセーフコ・フィールドが守護するなら救い難いということはないかまたは舞う; fact5 -> int5: もし仮にそのセーフコ・フィールドは測定系であるとすると守護する;
$facts$ = fact1: 「測定系は守護する」ということは正しい fact2: なにがしかのものが守護するとすればそれは救い難くないか舞うかあるいはどちらもだ fact3: 仮に「守護しないかまたは測定系な」物はあるとしたら「この介護予防は生き易い」ということは成り立つ ; $hypothesis$ = 「もしその現実性が測定系であるならばこの介護予防は生き易い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その現実性は測定系でない」ということは確かである」ということは成り立たない; assump1 -> int1: その現実性は守護しないか測定系だ; int1 -> int2: 何らかのものは守護しないかまたは測定系であるかあるいは両方だ; int2 & fact3 -> int3: 「この介護予防は生き易い」ということは成り立つ; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「測定系は守護する」ということは正しい
事実2: なにがしかのものが守護するとすればそれは救い難くないか舞うかあるいはどちらもだ
事実3: 仮に「守護しないかまたは測定系な」物はあるとしたら「この介護予防は生き易い」ということは成り立つ

仮説: 「もしその現実性が測定系であるならばこの介護予防は生き易い」ということは成り立たない
1. 仮定1: 以下のように仮定する。「「その現実性は測定系でない」ということは確かである」ということは成り立たない
2. 仮定1から、推論1: "その現実性は守護しないか測定系だ"が導かれる
3. 推論1から、推論2: "何らかのものは守護しないかまたは測定系であるかあるいは両方だ"が導かれる
4. 推論2と事実3から、推論3: "「この介護予防は生き易い」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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