「その各節点は無病息災でなくてまた発生し続けない」ということは間違いでない
fact1: 仮に何らかのものは割譲するとすると「発現し易くない一方で逞しい」ということは嘘だ fact2: 仮にその各節点が薬師池ならそれは無病息災でなくてまた発生し続けない fact3: もしもその明朝は維持すらないならば「犬ころでないしそれに割譲しない」ということは嘘だ fact4: 仮にその各節点が薬師池だとすればそれは無病息災でない fact5: もし仮に「あるものは発現し易くないけど逞しい」ということは誤りだとしたら「逞しくない」ということは確かだ fact6: もしもその各節点が逞しくないとすればあの結核予防会は対象債券でなくてまた薬師池でない fact7: その各節点は薬師池だ fact8: 仮に何らかのものは薬師池であるということはないとしたら「それは無病息災でなくてかつ発生し続けない」ということは偽だ
fact2 & fact7 -> hypothesis;
fact2 & fact7 -> hypothesis;
「その各節点は無病息災でないしさらにそれは発生し続けるということはない」ということは成り立たない
fact9 -> int1: 仮にその各節点は薬師池でないなら「無病息災でないしその上発生し続けるということはない」ということは嘘である;
$facts$ = fact1: 仮に何らかのものは割譲するとすると「発現し易くない一方で逞しい」ということは嘘だ fact2: 仮にその各節点が薬師池ならそれは無病息災でなくてまた発生し続けない fact3: もしもその明朝は維持すらないならば「犬ころでないしそれに割譲しない」ということは嘘だ fact4: 仮にその各節点が薬師池だとすればそれは無病息災でない fact5: もし仮に「あるものは発現し易くないけど逞しい」ということは誤りだとしたら「逞しくない」ということは確かだ fact6: もしもその各節点が逞しくないとすればあの結核予防会は対象債券でなくてまた薬師池でない fact7: その各節点は薬師池だ fact8: 仮に何らかのものは薬師池であるということはないとしたら「それは無病息災でなくてかつ発生し続けない」ということは偽だ ; $hypothesis$ = 「その各節点は無病息災でなくてまた発生し続けない」ということは間違いでない ; $proof$ = 
fact2 & fact7 -> hypothesis; __PROVED__
事実1: 仮に何らかのものは割譲するとすると「発現し易くない一方で逞しい」ということは嘘だ
事実2: 仮にその各節点が薬師池ならそれは無病息災でなくてまた発生し続けない
事実3: もしもその明朝は維持すらないならば「犬ころでないしそれに割譲しない」ということは嘘だ
事実4: 仮にその各節点が薬師池だとすればそれは無病息災でない
事実5: もし仮に「あるものは発現し易くないけど逞しい」ということは誤りだとしたら「逞しくない」ということは確かだ
事実6: もしもその各節点が逞しくないとすればあの結核予防会は対象債券でなくてまた薬師池でない
事実7: その各節点は薬師池だ
事実8: 仮に何らかのものは薬師池であるということはないとしたら「それは無病息災でなくてかつ発生し続けない」ということは偽だ

仮説: 「その各節点は無病息災でなくてまた発生し続けない」ということは間違いでない
1. 事実2と事実7から、仮説が導かれる

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