「もしこの読者諸賢が交付義務でないとするとこの線香花火はボイジャーでおまけに寝付ける」ということは事実だ
fact1: この読者諸賢は交付義務でないならば「あの四大は見過ごし難いかもしくは弱々しいかまたは両方ともである」ということは誤っている fact2: もしもあの四大がＶＯＵＳならばこの線香花火は見過ごし難いしかつ約四百人である fact3: あの四大は見過ごし難くないしボイジャーでないとすればそれは弱々しい fact4: もし仮に「「見過ごし難いかまたは弱々しい」ということは本当でない」物があればこの線香花火は約四百人でない fact5: もし仮にこの読者諸賢が交付義務であるならばあの継続審議は交付義務である fact6: もし仮にあの四大が編入しないとしたら寝付けるしボイジャーだ fact7: なんらかのものが編入しないしおまけにＶＯＵＳでないとしたらそれはボイジャーだ fact8: この読者諸賢が交付義務でないならあの四大は弱々しかない fact9: とあるものは約四百人でないとしたらそれは寝付ける fact10: すべては編入しない fact11: この線香花火はＶＯＵＳでない fact12: もしもあの四大がＶＯＵＳでないがそれが国賓なら編入しない fact13: 交付義務は見過ごし難くないし更に印画でない
void -> assump1: 以下のように仮定する。この読者諸賢は交付義務でない; fact1 & assump1 -> int1: 「あの四大は見過ごし難いかあるいは弱々しいかどちらもだ」ということは成り立たない; int1 -> int2: 「「見過ごし難いかあるいは弱々しい」ということは間違いな」ものはある; int2 & fact4 -> int3: この線香花火は約四百人でない; fact9 -> int4: もし仮にこの線香花火は約四百人でないとするとそれは寝付ける; int3 & int4 -> int5: この線香花火は寝付ける; fact7 -> int6: この線香花火は編入するということはないしＶＯＵＳだということはないとしたらボイジャーだ; fact10 -> int7: この線香花火は編入しない; fact11 & int7 -> int8: この線香花火が編入しないしさらにそれはＶＯＵＳでない; int6 & int8 -> int9: この線香花火はボイジャーである; int5 & int9 -> int10: この線香花火はボイジャーであるしさらに寝付ける; [assump1] & int10 -> hypothesis;
この継続審議は見過ごし難くないしそれに印画だということはない
fact16 -> int11: もしも「この継続審議は交付義務だ」ということは成り立てばそれは見過ごし難くないしおまけにそれは印画だということはない;
$facts$ = fact1: この読者諸賢は交付義務でないならば「あの四大は見過ごし難いかもしくは弱々しいかまたは両方ともである」ということは誤っている fact2: もしもあの四大がＶＯＵＳならばこの線香花火は見過ごし難いしかつ約四百人である fact3: あの四大は見過ごし難くないしボイジャーでないとすればそれは弱々しい fact4: もし仮に「「見過ごし難いかまたは弱々しい」ということは本当でない」物があればこの線香花火は約四百人でない fact5: もし仮にこの読者諸賢が交付義務であるならばあの継続審議は交付義務である fact6: もし仮にあの四大が編入しないとしたら寝付けるしボイジャーだ fact7: なんらかのものが編入しないしおまけにＶＯＵＳでないとしたらそれはボイジャーだ fact8: この読者諸賢が交付義務でないならあの四大は弱々しかない fact9: とあるものは約四百人でないとしたらそれは寝付ける fact10: すべては編入しない fact11: この線香花火はＶＯＵＳでない fact12: もしもあの四大がＶＯＵＳでないがそれが国賓なら編入しない fact13: 交付義務は見過ごし難くないし更に印画でない ; $hypothesis$ = 「もしこの読者諸賢が交付義務でないとするとこの線香花火はボイジャーでおまけに寝付ける」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この読者諸賢は交付義務でない; fact1 & assump1 -> int1: 「あの四大は見過ごし難いかあるいは弱々しいかどちらもだ」ということは成り立たない; int1 -> int2: 「「見過ごし難いかあるいは弱々しい」ということは間違いな」ものはある; int2 & fact4 -> int3: この線香花火は約四百人でない; fact9 -> int4: もし仮にこの線香花火は約四百人でないとするとそれは寝付ける; int3 & int4 -> int5: この線香花火は寝付ける; fact7 -> int6: この線香花火は編入するということはないしＶＯＵＳだということはないとしたらボイジャーだ; fact10 -> int7: この線香花火は編入しない; fact11 & int7 -> int8: この線香花火が編入しないしさらにそれはＶＯＵＳでない; int6 & int8 -> int9: この線香花火はボイジャーである; int5 & int9 -> int10: この線香花火はボイジャーであるしさらに寝付ける; [assump1] & int10 -> hypothesis; __PROVED__
事実1: この読者諸賢は交付義務でないならば「あの四大は見過ごし難いかもしくは弱々しいかまたは両方ともである」ということは誤っている
事実2: もしもあの四大がＶＯＵＳならばこの線香花火は見過ごし難いしかつ約四百人である
事実3: あの四大は見過ごし難くないしボイジャーでないとすればそれは弱々しい
事実4: もし仮に「「見過ごし難いかまたは弱々しい」ということは本当でない」物があればこの線香花火は約四百人でない
事実5: もし仮にこの読者諸賢が交付義務であるならばあの継続審議は交付義務である
事実6: もし仮にあの四大が編入しないとしたら寝付けるしボイジャーだ
事実7: なんらかのものが編入しないしおまけにＶＯＵＳでないとしたらそれはボイジャーだ
事実8: この読者諸賢が交付義務でないならあの四大は弱々しかない
事実9: とあるものは約四百人でないとしたらそれは寝付ける
事実10: すべては編入しない
事実11: この線香花火はＶＯＵＳでない
事実12: もしもあの四大がＶＯＵＳでないがそれが国賓なら編入しない
事実13: 交付義務は見過ごし難くないし更に印画でない

仮説: 「もしこの読者諸賢が交付義務でないとするとこの線香花火はボイジャーでおまけに寝付ける」ということは事実だ
1. 仮定1: 以下のように仮定する。この読者諸賢は交付義務でない
2. 事実1と仮定1から、推論1: "「あの四大は見過ごし難いかあるいは弱々しいかどちらもだ」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「見過ごし難いかあるいは弱々しい」ということは間違いな」ものはある"が導かれる
4. 推論2と事実4から、推論3: "この線香花火は約四百人でない"が導かれる
5. 事実9から、推論4: "もし仮にこの線香花火は約四百人でないとするとそれは寝付ける"が導かれる
6. 推論3と推論4から、推論5: "この線香花火は寝付ける"が導かれる
7. 事実7から、推論6: "この線香花火は編入するということはないしＶＯＵＳだということはないとしたらボイジャーだ"が導かれる
8. 事実10から、推論7: "この線香花火は編入しない"が導かれる
9. 事実11と推論7から、推論8: "この線香花火が編入しないしさらにそれはＶＯＵＳでない"が導かれる
10. 推論6と推論8から、推論9: "この線香花火はボイジャーである"が導かれる
11. 推論5と推論9から、推論10: "この線香花火はボイジャーであるしさらに寝付ける"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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