「「もし立ち戻れないとしたら気持ち以上であるか擦り剥ける」ものはある」ということは成り立たない
fact1: 「もしも立ち戻れるなら気持ち以上であるかまたは擦り剥けるかまたは両方ともな」ものはある fact2: もしあの接種後が立ち戻れれば気持ち以上だ fact3: もしあの接種後が立ち戻れないならば気持ち以上である fact4: もしあの接種後が擦り剥けないとすればそれは子供乍らだ fact5: もし「あの接種後は立ち戻れる」ということは成り立てばそれは気持ち以上であるかまたはそれは擦り剥けるかもしくはどちらもである
void -> assump1: 以下のように仮定する。あの接種後は立ち戻れない; fact3 & assump1 -> int1: あの接種後は気持ち以上である; int1 -> int2: あの接種後は気持ち以上であるかあるいは擦り剥けるか両方ともである; [assump1] & int2 -> int3: もしあの接種後は立ち戻れないとすれば「それは気持ち以上であるかもしくは擦り剥けるかあるいはどちらもだ」ということは成り立つ; int3 -> hypothesis;
$facts$ = fact1: 「もしも立ち戻れるなら気持ち以上であるかまたは擦り剥けるかまたは両方ともな」ものはある fact2: もしあの接種後が立ち戻れれば気持ち以上だ fact3: もしあの接種後が立ち戻れないならば気持ち以上である fact4: もしあの接種後が擦り剥けないとすればそれは子供乍らだ fact5: もし「あの接種後は立ち戻れる」ということは成り立てばそれは気持ち以上であるかまたはそれは擦り剥けるかもしくはどちらもである ; $hypothesis$ = 「「もし立ち戻れないとしたら気持ち以上であるか擦り剥ける」ものはある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの接種後は立ち戻れない; fact3 & assump1 -> int1: あの接種後は気持ち以上である; int1 -> int2: あの接種後は気持ち以上であるかあるいは擦り剥けるか両方ともである; [assump1] & int2 -> int3: もしあの接種後は立ち戻れないとすれば「それは気持ち以上であるかもしくは擦り剥けるかあるいはどちらもだ」ということは成り立つ; int3 -> hypothesis; __DISPROVED__
事実1: 「もしも立ち戻れるなら気持ち以上であるかまたは擦り剥けるかまたは両方ともな」ものはある
事実2: もしあの接種後が立ち戻れれば気持ち以上だ
事実3: もしあの接種後が立ち戻れないならば気持ち以上である
事実4: もしあの接種後が擦り剥けないとすればそれは子供乍らだ
事実5: もし「あの接種後は立ち戻れる」ということは成り立てばそれは気持ち以上であるかまたはそれは擦り剥けるかもしくはどちらもである

仮説: 「「もし立ち戻れないとしたら気持ち以上であるか擦り剥ける」ものはある」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの接種後は立ち戻れない
2. 事実3と仮定1から、推論1: "あの接種後は気持ち以上である"が導かれる
3. 推論1から、推論2: "あの接種後は気持ち以上であるかあるいは擦り剥けるか両方ともである"が導かれる
4. [仮定1]と推論2から、推論3: "もしあの接種後は立ち戻れないとすれば「それは気持ち以上であるかもしくは擦り剥けるかあるいはどちらもだ」ということは成り立つ"が導かれる
5. 推論3から、仮説が否定される

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