あの明かり箱は発光部でない
fact1: もし仮に「その療養者・家族は活用し易くないしそれは発光部でない」ということは成り立たないとすると「あの明かり箱は発光部だ」ということは真実である fact2: 「その膀胱収縮力は預金だ」ということは本当だとすればそれは発光部でなくてそれに肉薄するということはない fact3: あの明かり箱が活用し易くてそれに発光部であるならば仮設例でない fact4: あの明かり箱は活用し易い fact5: 何らかのものは仮設例だということはないとすると「それは活用し易くないしさらに発光部でない」ということは間違いである fact6: あの明かり箱は仮設例だ fact7: その御時間は活用し易い fact8: なにがしかのものは肉薄するということはないとすれば「それは預金でなくて更にそれは仮設例である」ということは間違っている fact9: あの明かり箱は恋しいしそれは面白い fact10: この再開は活用し易いということはない fact11: 仮に「何らかのものは預金だということはないけれど仮設例である」ということは間違いなら仮設例でない
void -> assump1: 以下のように仮定する。あの明かり箱は発光部だ; fact4 & assump1 -> int1: あの明かり箱は活用し易いしまた発光部である; int1 & fact3 -> int2: あの明かり箱は仮設例でない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その膀胱収縮力は仮設例だ
$facts$ = fact1: もし仮に「その療養者・家族は活用し易くないしそれは発光部でない」ということは成り立たないとすると「あの明かり箱は発光部だ」ということは真実である fact2: 「その膀胱収縮力は預金だ」ということは本当だとすればそれは発光部でなくてそれに肉薄するということはない fact3: あの明かり箱が活用し易くてそれに発光部であるならば仮設例でない fact4: あの明かり箱は活用し易い fact5: 何らかのものは仮設例だということはないとすると「それは活用し易くないしさらに発光部でない」ということは間違いである fact6: あの明かり箱は仮設例だ fact7: その御時間は活用し易い fact8: なにがしかのものは肉薄するということはないとすれば「それは預金でなくて更にそれは仮設例である」ということは間違っている fact9: あの明かり箱は恋しいしそれは面白い fact10: この再開は活用し易いということはない fact11: 仮に「何らかのものは預金だということはないけれど仮設例である」ということは間違いなら仮設例でない ; $hypothesis$ = あの明かり箱は発光部でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの明かり箱は発光部だ; fact4 & assump1 -> int1: あの明かり箱は活用し易いしまた発光部である; int1 & fact3 -> int2: あの明かり箱は仮設例でない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「その療養者・家族は活用し易くないしそれは発光部でない」ということは成り立たないとすると「あの明かり箱は発光部だ」ということは真実である
事実2: 「その膀胱収縮力は預金だ」ということは本当だとすればそれは発光部でなくてそれに肉薄するということはない
事実3: あの明かり箱が活用し易くてそれに発光部であるならば仮設例でない
事実4: あの明かり箱は活用し易い
事実5: 何らかのものは仮設例だということはないとすると「それは活用し易くないしさらに発光部でない」ということは間違いである
事実6: あの明かり箱は仮設例だ
事実7: その御時間は活用し易い
事実8: なにがしかのものは肉薄するということはないとすれば「それは預金でなくて更にそれは仮設例である」ということは間違っている
事実9: あの明かり箱は恋しいしそれは面白い
事実10: この再開は活用し易いということはない
事実11: 仮に「何らかのものは預金だということはないけれど仮設例である」ということは間違いなら仮設例でない

仮説: あの明かり箱は発光部でない
1. 仮定1: 以下のように仮定する。あの明かり箱は発光部だ
2. 事実4と仮定1から、推論1: "あの明かり箱は活用し易いしまた発光部である"が導かれる
3. 推論1と事実3から、推論2: "あの明かり箱は仮設例でない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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