「もし仮に建て込めば結び付き易い一方で照らし出さない」物はある
fact1: もしそのニコチン酸アミドが結び付き易くないとするとそれは建て込まない fact2: 「ある物は結び付き易いし照らし出す」ということは成り立たないならば建て込まない fact3: 「「仮に「建て込む」ということは事実であるとすれば結び付き易いしまた照らし出す」物はある」ということは成り立つ fact4: もしも「そのニコチン酸アミドは結び付き易いけど照らし出さない」ということは真実でないとすれば建て込む fact5: もしも結び付き易いものは照らし出さないならば「建て込まない」ということは成り立つ fact6: 「そのニコチン酸アミドは結び付き易いしその上照らし出す」ということは成り立たないならばそれは建て込むということはない fact7: もしそのニコチン酸アミドは結び付き易いがしかし照らし出さないとすると「建て込まない」ということは事実である fact8: もし仮にそのニコチン酸アミドが建て込めばそれは結び付き易いしまたそれは照らし出す fact9: 「仮に「なにがしかの物は結び付き易いが照らし出すということはない」ということは成り立つということはないとしたら建て込むということはない」ということは事実だ fact10: もし仮にそのニコチン酸アミドが力強いならばそれは企業型年金規約である fact11: そのニコチン酸アミドは如此しがしかし居辛くない fact12: もしも「何かはバレーだしその上忍耐強い」ということは間違っているとすると広域図でない fact13: なにかは結び付き易くないとするとそれは建て込まない
fact9 -> int1: 仮に「そのニコチン酸アミドは結び付き易い一方でそれは照らし出すということはない」ということは正しいということはないとすると「建て込むということはない」ということは確かである; void -> assump1: 以下のように仮定する。「そのニコチン酸アミドは結び付き易いがしかし照らし出すということはない」ということは成り立つということはない; int1 & assump1 -> int2: そのニコチン酸アミドは建て込まない; void -> assump2: 以下のように仮定する。「そのニコチン酸アミドは建て込む」ということは誤りでない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのニコチン酸アミドは結び付き易い一方で照らし出さない; [assump2] & int4 -> int5: そのニコチン酸アミドが建て込むとすれば結び付き易いけど照らし出さない; int5 -> hypothesis;
$facts$ = fact1: もしそのニコチン酸アミドが結び付き易くないとするとそれは建て込まない fact2: 「ある物は結び付き易いし照らし出す」ということは成り立たないならば建て込まない fact3: 「「仮に「建て込む」ということは事実であるとすれば結び付き易いしまた照らし出す」物はある」ということは成り立つ fact4: もしも「そのニコチン酸アミドは結び付き易いけど照らし出さない」ということは真実でないとすれば建て込む fact5: もしも結び付き易いものは照らし出さないならば「建て込まない」ということは成り立つ fact6: 「そのニコチン酸アミドは結び付き易いしその上照らし出す」ということは成り立たないならばそれは建て込むということはない fact7: もしそのニコチン酸アミドは結び付き易いがしかし照らし出さないとすると「建て込まない」ということは事実である fact8: もし仮にそのニコチン酸アミドが建て込めばそれは結び付き易いしまたそれは照らし出す fact9: 「仮に「なにがしかの物は結び付き易いが照らし出すということはない」ということは成り立つということはないとしたら建て込むということはない」ということは事実だ fact10: もし仮にそのニコチン酸アミドが力強いならばそれは企業型年金規約である fact11: そのニコチン酸アミドは如此しがしかし居辛くない fact12: もしも「何かはバレーだしその上忍耐強い」ということは間違っているとすると広域図でない fact13: なにかは結び付き易くないとするとそれは建て込まない ; $hypothesis$ = 「もし仮に建て込めば結び付き易い一方で照らし出さない」物はある ; $proof$ = 
fact9 -> int1: 仮に「そのニコチン酸アミドは結び付き易い一方でそれは照らし出すということはない」ということは正しいということはないとすると「建て込むということはない」ということは確かである; void -> assump1: 以下のように仮定する。「そのニコチン酸アミドは結び付き易いがしかし照らし出すということはない」ということは成り立つということはない; int1 & assump1 -> int2: そのニコチン酸アミドは建て込まない; void -> assump2: 以下のように仮定する。「そのニコチン酸アミドは建て込む」ということは誤りでない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのニコチン酸アミドは結び付き易い一方で照らし出さない; [assump2] & int4 -> int5: そのニコチン酸アミドが建て込むとすれば結び付き易いけど照らし出さない; int5 -> hypothesis; __PROVED__
事実1: もしそのニコチン酸アミドが結び付き易くないとするとそれは建て込まない
事実2: 「ある物は結び付き易いし照らし出す」ということは成り立たないならば建て込まない
事実3: 「「仮に「建て込む」ということは事実であるとすれば結び付き易いしまた照らし出す」物はある」ということは成り立つ
事実4: もしも「そのニコチン酸アミドは結び付き易いけど照らし出さない」ということは真実でないとすれば建て込む
事実5: もしも結び付き易いものは照らし出さないならば「建て込まない」ということは成り立つ
事実6: 「そのニコチン酸アミドは結び付き易いしその上照らし出す」ということは成り立たないならばそれは建て込むということはない
事実7: もしそのニコチン酸アミドは結び付き易いがしかし照らし出さないとすると「建て込まない」ということは事実である
事実8: もし仮にそのニコチン酸アミドが建て込めばそれは結び付き易いしまたそれは照らし出す
事実9: 「仮に「なにがしかの物は結び付き易いが照らし出すということはない」ということは成り立つということはないとしたら建て込むということはない」ということは事実だ
事実10: もし仮にそのニコチン酸アミドが力強いならばそれは企業型年金規約である
事実11: そのニコチン酸アミドは如此しがしかし居辛くない
事実12: もしも「何かはバレーだしその上忍耐強い」ということは間違っているとすると広域図でない
事実13: なにかは結び付き易くないとするとそれは建て込まない

仮説: 「もし仮に建て込めば結び付き易い一方で照らし出さない」物はある
1. 事実9から、推論1: "仮に「そのニコチン酸アミドは結び付き易い一方でそれは照らし出すということはない」ということは正しいということはないとすると「建て込むということはない」ということは確かである"が導かれる
2. 仮定1: 以下のように仮定する。「そのニコチン酸アミドは結び付き易いがしかし照らし出すということはない」ということは成り立つということはない
3. 推論1と仮定1から、推論2: "そのニコチン酸アミドは建て込まない"が導かれる
4. 仮定2: 以下のように仮定する。「そのニコチン酸アミドは建て込む」ということは誤りでない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "そのニコチン酸アミドは結び付き易い一方で照らし出さない"が導かれる
7. [仮定2]と推論4から、推論5: "そのニコチン酸アミドが建て込むとすれば結び付き易いけど照らし出さない"が導かれる
8. 推論5から、仮説が導かれる

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