「もしも「警護だということはない」ということは正しいとしたら「鈍痛であるかまたは護衛兵である」ということは成り立たない」ものはある
fact1: もしも何かは大小でないならば「壊れ掛かるかそれは涼風であるか両方である」ということは成り立つということはない fact2: もし仮になんらかのものは警護でないとすると「それは鈍痛であるかあるいは護衛兵であるかあるいはどちらもである」ということは誤りである fact3: 「仮に警護でないとしたら護衛兵でない」ものはある fact4: もし仮にあの晩春は警護でないならば「鈍痛であるか護衛兵だ」ということは本当だ fact5: 「もしも警護でないとすれば「鈍痛でない」ということは成り立つ」ものはある fact6: 仮にあの晩春は警護ならば「鈍痛であるかあるいは護衛兵である」ということは成り立たない fact7: 「仮に警護でないとしたら鈍痛であるか護衛兵であるかあるいはどちらもな」物はある fact8: あの晩春が警護でないとすれば護衛兵でない
fact2 -> int1: 仮にあの晩春は警護だということはないとしたら「それは鈍痛であるか護衛兵であるかもしくはどちらもである」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: もしも何かは大小でないならば「壊れ掛かるかそれは涼風であるか両方である」ということは成り立つということはない fact2: もし仮になんらかのものは警護でないとすると「それは鈍痛であるかあるいは護衛兵であるかあるいはどちらもである」ということは誤りである fact3: 「仮に警護でないとしたら護衛兵でない」ものはある fact4: もし仮にあの晩春は警護でないならば「鈍痛であるか護衛兵だ」ということは本当だ fact5: 「もしも警護でないとすれば「鈍痛でない」ということは成り立つ」ものはある fact6: 仮にあの晩春は警護ならば「鈍痛であるかあるいは護衛兵である」ということは成り立たない fact7: 「仮に警護でないとしたら鈍痛であるか護衛兵であるかあるいはどちらもな」物はある fact8: あの晩春が警護でないとすれば護衛兵でない ; $hypothesis$ = 「もしも「警護だということはない」ということは正しいとしたら「鈍痛であるかまたは護衛兵である」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> int1: 仮にあの晩春は警護だということはないとしたら「それは鈍痛であるか護衛兵であるかもしくはどちらもである」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: もしも何かは大小でないならば「壊れ掛かるかそれは涼風であるか両方である」ということは成り立つということはない
事実2: もし仮になんらかのものは警護でないとすると「それは鈍痛であるかあるいは護衛兵であるかあるいはどちらもである」ということは誤りである
事実3: 「仮に警護でないとしたら護衛兵でない」ものはある
事実4: もし仮にあの晩春は警護でないならば「鈍痛であるか護衛兵だ」ということは本当だ
事実5: 「もしも警護でないとすれば「鈍痛でない」ということは成り立つ」ものはある
事実6: 仮にあの晩春は警護ならば「鈍痛であるかあるいは護衛兵である」ということは成り立たない
事実7: 「仮に警護でないとしたら鈍痛であるか護衛兵であるかあるいはどちらもな」物はある
事実8: あの晩春が警護でないとすれば護衛兵でない

仮説: 「もしも「警護だということはない」ということは正しいとしたら「鈍痛であるかまたは護衛兵である」ということは成り立たない」ものはある
1. 事実2から、推論1: "仮にあの晩春は警護だということはないとしたら「それは鈍痛であるか護衛兵であるかもしくはどちらもである」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

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