あの慎みはオンダである
fact1: 仮にあの慎みがＫイングでない一方で語尾変化であるなら「あの超能力者はＫイングでない」ということは成り立つ fact2: もし仮に「あの慎みは語尾変化である」ということは本当だとすればそれは代替工程であるかあるいは市販しない fact3: もしなにかは代替工程であるかまたは市販するということはないかもしくは両方ともならばそれはオンダでない fact4: もしあのケイレイ卿はオンダであるとしたら「あの慎みはＫイングでないが語尾変化である」ということは本当だ fact5: あの慎みは語尾変化である fact6: もしもなにがしかのものが市販するということはないとすればそれはオンダでない
fact2 & fact5 -> int1: あの慎みは代替工程であるかあるいはそれは市販しないかまたは両方ともだ; fact3 -> int2: もしもあの慎みは代替工程であるかあるいは市販しないかまたはどちらもならオンダでない; int1 & int2 -> hypothesis;
あの超能力者は不足し易いかまたはＫイングでないかまたは両方ともだ
$facts$ = fact1: 仮にあの慎みがＫイングでない一方で語尾変化であるなら「あの超能力者はＫイングでない」ということは成り立つ fact2: もし仮に「あの慎みは語尾変化である」ということは本当だとすればそれは代替工程であるかあるいは市販しない fact3: もしなにかは代替工程であるかまたは市販するということはないかもしくは両方ともならばそれはオンダでない fact4: もしあのケイレイ卿はオンダであるとしたら「あの慎みはＫイングでないが語尾変化である」ということは本当だ fact5: あの慎みは語尾変化である fact6: もしもなにがしかのものが市販するということはないとすればそれはオンダでない ; $hypothesis$ = あの慎みはオンダである ; $proof$ = 
fact2 & fact5 -> int1: あの慎みは代替工程であるかあるいはそれは市販しないかまたは両方ともだ; fact3 -> int2: もしもあの慎みは代替工程であるかあるいは市販しないかまたはどちらもならオンダでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあの慎みがＫイングでない一方で語尾変化であるなら「あの超能力者はＫイングでない」ということは成り立つ
事実2: もし仮に「あの慎みは語尾変化である」ということは本当だとすればそれは代替工程であるかあるいは市販しない
事実3: もしなにかは代替工程であるかまたは市販するということはないかもしくは両方ともならばそれはオンダでない
事実4: もしあのケイレイ卿はオンダであるとしたら「あの慎みはＫイングでないが語尾変化である」ということは本当だ
事実5: あの慎みは語尾変化である
事実6: もしもなにがしかのものが市販するということはないとすればそれはオンダでない

仮説: あの慎みはオンダである
1. 事実2と事実5から、推論1: "あの慎みは代替工程であるかあるいはそれは市販しないかまたは両方ともだ"が導かれる
2. 事実3から、推論2: "もしもあの慎みは代替工程であるかあるいは市販しないかまたはどちらもならオンダでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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