この年金積立金は天守でない
fact1: 仮に「このグラタンは天守であるかまたは体重であるかまたは両方だ」ということは間違っているとすればあの年金積立金は天守でない fact2: もしもこのグラタンが体重だとすればこの年金積立金は雑談する fact3: このグラタンは制禁である fact4: もし仮に何らかのものは雑談するとすれば「それは天守である」ということは誤りでない fact5: そのマーケティング要因は天守だ fact6: このグラタンは制禁であるしそれに体重である fact7: 仮に「何らかの物は天守だ」ということは成り立つなら「雑談するしそれに体重であるということはない」ということは誤っている
fact6 -> int1: 「このグラタンは体重である」ということは本当である; int1 & fact2 -> int2: この年金積立金は雑談する; fact4 -> int3: 仮にこの年金積立金が雑談するとしたらそれは天守だ; int2 & int3 -> hypothesis;
この年金積立金は天守でない
$facts$ = fact1: 仮に「このグラタンは天守であるかまたは体重であるかまたは両方だ」ということは間違っているとすればあの年金積立金は天守でない fact2: もしもこのグラタンが体重だとすればこの年金積立金は雑談する fact3: このグラタンは制禁である fact4: もし仮に何らかのものは雑談するとすれば「それは天守である」ということは誤りでない fact5: そのマーケティング要因は天守だ fact6: このグラタンは制禁であるしそれに体重である fact7: 仮に「何らかの物は天守だ」ということは成り立つなら「雑談するしそれに体重であるということはない」ということは誤っている ; $hypothesis$ = この年金積立金は天守でない ; $proof$ = 
fact6 -> int1: 「このグラタンは体重である」ということは本当である; int1 & fact2 -> int2: この年金積立金は雑談する; fact4 -> int3: 仮にこの年金積立金が雑談するとしたらそれは天守だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「このグラタンは天守であるかまたは体重であるかまたは両方だ」ということは間違っているとすればあの年金積立金は天守でない
事実2: もしもこのグラタンが体重だとすればこの年金積立金は雑談する
事実3: このグラタンは制禁である
事実4: もし仮に何らかのものは雑談するとすれば「それは天守である」ということは誤りでない
事実5: そのマーケティング要因は天守だ
事実6: このグラタンは制禁であるしそれに体重である
事実7: 仮に「何らかの物は天守だ」ということは成り立つなら「雑談するしそれに体重であるということはない」ということは誤っている

仮説: この年金積立金は天守でない
1. 事実6から、推論1: "「このグラタンは体重である」ということは本当である"が導かれる
2. 推論1と事実2から、推論2: "この年金積立金は雑談する"が導かれる
3. 事実4から、推論3: "仮にこの年金積立金が雑談するとしたらそれは天守だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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