「あの部分使いは重層するかまたは覚え易いかもしくは両方ともだ」ということは事実でない
fact1: この看護上は重層する fact2: あの部分使いは覚え易いしそれに夕光である fact3: そのホメオパチーは覚え易い fact4: あの部分使いは労働集約型だ
fact2 -> int1: あの部分使いは覚え易い; int1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> hypothesis;
$facts$ = fact1: この看護上は重層する fact2: あの部分使いは覚え易いしそれに夕光である fact3: そのホメオパチーは覚え易い fact4: あの部分使いは労働集約型だ ; $hypothesis$ = 「あの部分使いは重層するかまたは覚え易いかもしくは両方ともだ」ということは事実でない ; $proof$ = 
fact2 -> int1: あの部分使いは覚え易い; int1 -> hypothesis; __DISPROVED__
事実1: この看護上は重層する
事実2: あの部分使いは覚え易いしそれに夕光である
事実3: そのホメオパチーは覚え易い
事実4: あの部分使いは労働集約型だ

仮説: 「あの部分使いは重層するかまたは覚え易いかもしくは両方ともだ」ということは事実でない
1. 事実2から、推論1: "あの部分使いは覚え易い"が導かれる
2. 推論1から、仮説が否定される

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