この取り合いは大差無い
fact1: 「もしもあの医師が楽しないかあるいは胸苦しくないかあるいは両方ともだとするとあの医師は楽しない」ということは正しい fact2: その宿魂石は十七参照であるかそれは幼しない fact3: もしもとあるものは楽しとすれば「幼しないが大差無い」ということは事実でない fact4: すべてのものは死守す fact5: もしもこの取り合いが大差無くないとしたらあの医師は楽し fact6: 仮にあの医師が楽しないかまたは幼しないとすれば楽しない fact7: あの医師は御祝いするということはないかまたは楽しということはないかまたは両方ともである fact8: あの火器は楽しない fact9: もしも何らかのものが死守すらないならそれは楽ししさらにそれは修理である fact10: 「この取り合いは楽しということはない」ということは成り立つ fact11: 仮に何らかの物は死守すなら「幼しないし修理でない」ということは誤りである fact12: あの医師が楽しないかもしくは曝け出すということはないなら楽しない fact13: もし仮にあの医師が幼しないかまたはそれは大差無くないか両方であるとしたら「それは幼しない」ということは確かだ fact14: この取り合いは幼し fact15: あの医師は楽しないかあるいは幼しない
void -> assump1: 以下のように仮定する。この取り合いは大差無くない; fact5 & assump1 -> int1: あの医師は楽し; fact6 & fact15 -> int2: あの医師は楽しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この取り合いは大差無いということはない
fact16 -> int4: もし仮にこの取り合いは楽しとしたら「それは幼しということはなくてそれは大差無い」ということは間違っている; fact17 -> int5: この取り合いが死守すらないとすると楽しし加えて修理である;
$facts$ = fact1: 「もしもあの医師が楽しないかあるいは胸苦しくないかあるいは両方ともだとするとあの医師は楽しない」ということは正しい fact2: その宿魂石は十七参照であるかそれは幼しない fact3: もしもとあるものは楽しとすれば「幼しないが大差無い」ということは事実でない fact4: すべてのものは死守す fact5: もしもこの取り合いが大差無くないとしたらあの医師は楽し fact6: 仮にあの医師が楽しないかまたは幼しないとすれば楽しない fact7: あの医師は御祝いするということはないかまたは楽しということはないかまたは両方ともである fact8: あの火器は楽しない fact9: もしも何らかのものが死守すらないならそれは楽ししさらにそれは修理である fact10: 「この取り合いは楽しということはない」ということは成り立つ fact11: 仮に何らかの物は死守すなら「幼しないし修理でない」ということは誤りである fact12: あの医師が楽しないかもしくは曝け出すということはないなら楽しない fact13: もし仮にあの医師が幼しないかまたはそれは大差無くないか両方であるとしたら「それは幼しない」ということは確かだ fact14: この取り合いは幼し fact15: あの医師は楽しないかあるいは幼しない ; $hypothesis$ = この取り合いは大差無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この取り合いは大差無くない; fact5 & assump1 -> int1: あの医師は楽し; fact6 & fact15 -> int2: あの医師は楽しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「もしもあの医師が楽しないかあるいは胸苦しくないかあるいは両方ともだとするとあの医師は楽しない」ということは正しい
事実2: その宿魂石は十七参照であるかそれは幼しない
事実3: もしもとあるものは楽しとすれば「幼しないが大差無い」ということは事実でない
事実4: すべてのものは死守す
事実5: もしもこの取り合いが大差無くないとしたらあの医師は楽し
事実6: 仮にあの医師が楽しないかまたは幼しないとすれば楽しない
事実7: あの医師は御祝いするということはないかまたは楽しということはないかまたは両方ともである
事実8: あの火器は楽しない
事実9: もしも何らかのものが死守すらないならそれは楽ししさらにそれは修理である
事実10: 「この取り合いは楽しということはない」ということは成り立つ
事実11: 仮に何らかの物は死守すなら「幼しないし修理でない」ということは誤りである
事実12: あの医師が楽しないかもしくは曝け出すということはないなら楽しない
事実13: もし仮にあの医師が幼しないかまたはそれは大差無くないか両方であるとしたら「それは幼しない」ということは確かだ
事実14: この取り合いは幼し
事実15: あの医師は楽しないかあるいは幼しない

仮説: この取り合いは大差無い
1. 仮定1: 以下のように仮定する。この取り合いは大差無くない
2. 事実5と仮定1から、推論1: "あの医師は楽し"が導かれる
3. 事実6と事実15から、推論2: "あの医師は楽しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。