あの筆者所蔵は自生するし諮る
fact1: もし仮にあの筆者所蔵は喫煙対策でないとすれば「それはのんびりする」ということは成り立つ fact2: もし何かは自生するしその上処方すればそれは永訣でない fact3: もしもあの筆者所蔵は渋いとしたら「それは起こり易い」ということは真実である fact4: あの筆者所蔵は処方すらないとすれば「自生するし諮る」ということは正しい fact5: その大敵は処方す fact6: あの筆者所蔵は永訣だ fact7: あの筆者所蔵は渋い fact8: もしあの筆者所蔵が押さえ難いならば処方す fact9: 仮になにがしかのものは永訣で更に処方すとしたらそれは起こり易くない
void -> assump1: 以下のように仮定する。あの筆者所蔵は処方す; fact6 & assump1 -> int1: あの筆者所蔵は永訣であるしかつそれは処方す; fact9 -> int2: 仮にあの筆者所蔵が永訣だししかも処方すとしたらそれは起こり易いということはない; int1 & int2 -> int3: あの筆者所蔵は起こり易くない; fact3 & fact7 -> int4: 「あの筆者所蔵は起こり易い」ということは本当である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの筆者所蔵は処方すらない」ということは真実だ; int6 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にあの筆者所蔵は喫煙対策でないとすれば「それはのんびりする」ということは成り立つ fact2: もし何かは自生するしその上処方すればそれは永訣でない fact3: もしもあの筆者所蔵は渋いとしたら「それは起こり易い」ということは真実である fact4: あの筆者所蔵は処方すらないとすれば「自生するし諮る」ということは正しい fact5: その大敵は処方す fact6: あの筆者所蔵は永訣だ fact7: あの筆者所蔵は渋い fact8: もしあの筆者所蔵が押さえ難いならば処方す fact9: 仮になにがしかのものは永訣で更に処方すとしたらそれは起こり易くない ; $hypothesis$ = あの筆者所蔵は自生するし諮る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの筆者所蔵は処方す; fact6 & assump1 -> int1: あの筆者所蔵は永訣であるしかつそれは処方す; fact9 -> int2: 仮にあの筆者所蔵が永訣だししかも処方すとしたらそれは起こり易いということはない; int1 & int2 -> int3: あの筆者所蔵は起こり易くない; fact3 & fact7 -> int4: 「あの筆者所蔵は起こり易い」ということは本当である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの筆者所蔵は処方すらない」ということは真実だ; int6 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にあの筆者所蔵は喫煙対策でないとすれば「それはのんびりする」ということは成り立つ
事実2: もし何かは自生するしその上処方すればそれは永訣でない
事実3: もしもあの筆者所蔵は渋いとしたら「それは起こり易い」ということは真実である
事実4: あの筆者所蔵は処方すらないとすれば「自生するし諮る」ということは正しい
事実5: その大敵は処方す
事実6: あの筆者所蔵は永訣だ
事実7: あの筆者所蔵は渋い
事実8: もしあの筆者所蔵が押さえ難いならば処方す
事実9: 仮になにがしかのものは永訣で更に処方すとしたらそれは起こり易くない

仮説: あの筆者所蔵は自生するし諮る
1. 仮定1: 以下のように仮定する。あの筆者所蔵は処方す
2. 事実6と仮定1から、推論1: "あの筆者所蔵は永訣であるしかつそれは処方す"が導かれる
3. 事実9から、推論2: "仮にあの筆者所蔵が永訣だししかも処方すとしたらそれは起こり易いということはない"が導かれる
4. 推論1と推論2から、推論3: "あの筆者所蔵は起こり易くない"が導かれる
5. 事実3と事実7から、推論4: "「あの筆者所蔵は起こり易い」ということは本当である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの筆者所蔵は処方すらない」ということは真実だ"が導かれる
8. 推論6と事実4から、仮説が導かれる

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