この移行は微笑み合う
fact1: もしも「「微笑み合うしダイヤルパルスでない」ということは誤りである」ものがあるとするとこの移行は諸資料でない fact2: もし「「現今であるし諸資料であるということはない」ということは誤りである」ものがあるとすればこの移行は微笑み合わない fact3: 「この移行は微笑み合うが現今でない」ということは誤りである fact4: 「「現今であるし更に諸資料だ」ということは誤りな」ものはある fact5: ダイヤルパルスは微笑み合う fact6: このダイヤ改正はダイヤルパルスだ fact7: もしも「「ダイヤルパルスだけれど現今だということはない」ということは誤っている」ものがあるならばあのカーは微笑み合わない fact8: もし仮に「このダイヤ改正はダイヤルパルスだ」ということは成り立てば「このカーは現今であるけれど諸資料であるということはない」ということは成り立たない fact9: 仮に「現今でない」物があればこの移行は微笑み合わない fact10: 「「ダイヤルパルスで諸資料でない」ということは事実と異なる」ものはある fact11: 「現今だしおまけに諸資料だということはない」ものはある fact12: 「「現今であるしダイヤルパルスでない」ということは正しくない」ものはある fact13: 「このダイヤ改正は微笑み合うし投下資本回転率だ」ということは成り立たないとするとそのナチス時代は微笑み合わない
fact8 & fact6 -> int1: 「このカーは現今であるがしかし諸資料でない」ということは成り立たない; int1 -> int2: 「「現今であるが諸資料でない」ということは事実と異なる」物はある; int2 & fact2 -> hypothesis;
fact8 & fact6 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact2 -> hypothesis;
そのナチス時代は微笑み合わない
$facts$ = fact1: もしも「「微笑み合うしダイヤルパルスでない」ということは誤りである」ものがあるとするとこの移行は諸資料でない fact2: もし「「現今であるし諸資料であるということはない」ということは誤りである」ものがあるとすればこの移行は微笑み合わない fact3: 「この移行は微笑み合うが現今でない」ということは誤りである fact4: 「「現今であるし更に諸資料だ」ということは誤りな」ものはある fact5: ダイヤルパルスは微笑み合う fact6: このダイヤ改正はダイヤルパルスだ fact7: もしも「「ダイヤルパルスだけれど現今だということはない」ということは誤っている」ものがあるならばあのカーは微笑み合わない fact8: もし仮に「このダイヤ改正はダイヤルパルスだ」ということは成り立てば「このカーは現今であるけれど諸資料であるということはない」ということは成り立たない fact9: 仮に「現今でない」物があればこの移行は微笑み合わない fact10: 「「ダイヤルパルスで諸資料でない」ということは事実と異なる」ものはある fact11: 「現今だしおまけに諸資料だということはない」ものはある fact12: 「「現今であるしダイヤルパルスでない」ということは正しくない」ものはある fact13: 「このダイヤ改正は微笑み合うし投下資本回転率だ」ということは成り立たないとするとそのナチス時代は微笑み合わない ; $hypothesis$ = この移行は微笑み合う ; $proof$ = 
fact8 & fact6 -> int1: 「このカーは現今であるがしかし諸資料でない」ということは成り立たない; int1 -> int2: 「「現今であるが諸資料でない」ということは事実と異なる」物はある; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「「微笑み合うしダイヤルパルスでない」ということは誤りである」ものがあるとするとこの移行は諸資料でない
事実2: もし「「現今であるし諸資料であるということはない」ということは誤りである」ものがあるとすればこの移行は微笑み合わない
事実3: 「この移行は微笑み合うが現今でない」ということは誤りである
事実4: 「「現今であるし更に諸資料だ」ということは誤りな」ものはある
事実5: ダイヤルパルスは微笑み合う
事実6: このダイヤ改正はダイヤルパルスだ
事実7: もしも「「ダイヤルパルスだけれど現今だということはない」ということは誤っている」ものがあるならばあのカーは微笑み合わない
事実8: もし仮に「このダイヤ改正はダイヤルパルスだ」ということは成り立てば「このカーは現今であるけれど諸資料であるということはない」ということは成り立たない
事実9: 仮に「現今でない」物があればこの移行は微笑み合わない
事実10: 「「ダイヤルパルスで諸資料でない」ということは事実と異なる」ものはある
事実11: 「現今だしおまけに諸資料だということはない」ものはある
事実12: 「「現今であるしダイヤルパルスでない」ということは正しくない」ものはある
事実13: 「このダイヤ改正は微笑み合うし投下資本回転率だ」ということは成り立たないとするとそのナチス時代は微笑み合わない

仮説: この移行は微笑み合う
1. 事実8と事実6から、推論1: "「このカーは現今であるがしかし諸資料でない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「現今であるが諸資料でない」ということは事実と異なる」物はある"が導かれる
3. 推論2と事実2から、仮説が否定される

よって、仮説が否定されました。