もし仮に「あの御執心は怪しむけど脱出しない」ということは誤りならばそれは取り辛くない
fact1: 仮に「なんらかのものは怪しむがしかし脱出しない」ということは偽だとすれば「取り辛いということはない」ということは成り立つ fact2: 仮になにかは脱出するとしたらそれは取り辛くない fact3: 仮に「あの御執心は怪しむ一方で脱出しない」ということは間違っているとすればそれは取り辛い fact4: もしもあの御執心は怪しむが脱出するということはないならそれは取り辛くない fact5: もしあの御執心が脱出すればそれは取り辛くない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮に「なんらかのものは怪しむがしかし脱出しない」ということは偽だとすれば「取り辛いということはない」ということは成り立つ fact2: 仮になにかは脱出するとしたらそれは取り辛くない fact3: 仮に「あの御執心は怪しむ一方で脱出しない」ということは間違っているとすればそれは取り辛い fact4: もしもあの御執心は怪しむが脱出するということはないならそれは取り辛くない fact5: もしあの御執心が脱出すればそれは取り辛くない ; $hypothesis$ = もし仮に「あの御執心は怪しむけど脱出しない」ということは誤りならばそれは取り辛くない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「なんらかのものは怪しむがしかし脱出しない」ということは偽だとすれば「取り辛いということはない」ということは成り立つ
事実2: 仮になにかは脱出するとしたらそれは取り辛くない
事実3: 仮に「あの御執心は怪しむ一方で脱出しない」ということは間違っているとすればそれは取り辛い
事実4: もしもあの御執心は怪しむが脱出するということはないならそれは取り辛くない
事実5: もしあの御執心が脱出すればそれは取り辛くない

仮説: もし仮に「あの御執心は怪しむけど脱出しない」ということは誤りならばそれは取り辛くない
1. 事実1から、仮説が導かれる

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