「この著はでかいということはないかまたは一望するかどちらもだ」ということは成り立つということはない
fact1: その磁力線は果てし無くない fact2: 絹漉し豆腐は一望する fact3: その磁力線は二要素である fact4: 仮になにがしかのものは病めないならば「それは一望するししかもそれはでかい」ということは偽である fact5: 退色し易いものは絹漉し豆腐である fact6: 「その磁力線は座視出来ないがしかしそれは狭い」ということは間違いであるとすれば「それは病めない」ということは本当だ fact7: もし仮にその磁力線が絹漉し豆腐でないとしたらその嗜好は退色し易いしかつ果てし無い fact8: 仮に「その磁力線は果てし無くない」ということは成り立つとすればこの著は二要素であるし退色し易い fact9: 仮に「その磁力線はでかくない」ということは確かであるとしたらこの著は果てし無いしおまけに一望する
fact8 & fact1 -> int1: この著が二要素だしおまけに退色し易い; int1 -> int2: この著は退色し易い; fact5 -> int3: もしもこの著が退色し易いとしたらそれは絹漉し豆腐である; int2 & int3 -> int4: この著は絹漉し豆腐である; fact2 -> int5: もしもこの著が絹漉し豆腐ならば一望する; int4 & int5 -> int6: この著は一望する; int6 -> hypothesis;
その嗜好は退色し易い
fact12 -> int7: もし仮にその磁力線は病めないとしたら「一望するしさらにそれはでかい」ということは嘘である;
$facts$ = fact1: その磁力線は果てし無くない fact2: 絹漉し豆腐は一望する fact3: その磁力線は二要素である fact4: 仮になにがしかのものは病めないならば「それは一望するししかもそれはでかい」ということは偽である fact5: 退色し易いものは絹漉し豆腐である fact6: 「その磁力線は座視出来ないがしかしそれは狭い」ということは間違いであるとすれば「それは病めない」ということは本当だ fact7: もし仮にその磁力線が絹漉し豆腐でないとしたらその嗜好は退色し易いしかつ果てし無い fact8: 仮に「その磁力線は果てし無くない」ということは成り立つとすればこの著は二要素であるし退色し易い fact9: 仮に「その磁力線はでかくない」ということは確かであるとしたらこの著は果てし無いしおまけに一望する ; $hypothesis$ = 「この著はでかいということはないかまたは一望するかどちらもだ」ということは成り立つということはない ; $proof$ = 
fact8 & fact1 -> int1: この著が二要素だしおまけに退色し易い; int1 -> int2: この著は退色し易い; fact5 -> int3: もしもこの著が退色し易いとしたらそれは絹漉し豆腐である; int2 & int3 -> int4: この著は絹漉し豆腐である; fact2 -> int5: もしもこの著が絹漉し豆腐ならば一望する; int4 & int5 -> int6: この著は一望する; int6 -> hypothesis; __DISPROVED__
事実1: その磁力線は果てし無くない
事実2: 絹漉し豆腐は一望する
事実3: その磁力線は二要素である
事実4: 仮になにがしかのものは病めないならば「それは一望するししかもそれはでかい」ということは偽である
事実5: 退色し易いものは絹漉し豆腐である
事実6: 「その磁力線は座視出来ないがしかしそれは狭い」ということは間違いであるとすれば「それは病めない」ということは本当だ
事実7: もし仮にその磁力線が絹漉し豆腐でないとしたらその嗜好は退色し易いしかつ果てし無い
事実8: 仮に「その磁力線は果てし無くない」ということは成り立つとすればこの著は二要素であるし退色し易い
事実9: 仮に「その磁力線はでかくない」ということは確かであるとしたらこの著は果てし無いしおまけに一望する

仮説: 「この著はでかいということはないかまたは一望するかどちらもだ」ということは成り立つということはない
1. 事実8と事実1から、推論1: "この著が二要素だしおまけに退色し易い"が導かれる
2. 推論1から、推論2: "この著は退色し易い"が導かれる
3. 事実5から、推論3: "もしもこの著が退色し易いとしたらそれは絹漉し豆腐である"が導かれる
4. 推論2と推論3から、推論4: "この著は絹漉し豆腐である"が導かれる
5. 事実2から、推論5: "もしもこの著が絹漉し豆腐ならば一望する"が導かれる
6. 推論4と推論5から、推論6: "この著は一望する"が導かれる
7. 推論6から、仮説が否定される

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