「「自作出来る」ものはある」ということは偽である
fact1: この千石船は輝かしということはないがしかしそれは好ましい fact2: もしこの壇上は長たらしくない一方で評定するとすればそれは自作出来る fact3: とあるものは敢え無い fact4: この千石船が好ましいということはないがしかしそれが悩ましいとしたらそれは日変化である fact5: この千石船は薄物でない一方で日変化だ fact6: もしなにがしかの物が自作出来ないならそれは知悉するしさらに好ましい fact7: とある物は輝かし fact8: 仮にこの千石船は好ましくない一方で境界宮であるならば「それはすばしっこくない」ということは成り立たない fact9: あるものが新築住宅でないならそれは自作出来ないしファイフ王国だ fact10: 仮にこの千石船は輝かしということはないけれど好ましいとしたら「それは自作出来る」ということは事実である fact11: 好ましいものはある fact12: この千石船は密閉する fact13: この千石船は好ましい fact14: 仮にこの千石船は付き難くないけれど輝かしとすればそれは刻印する
fact10 & fact1 -> int1: この千石船は自作出来る; int1 -> hypothesis;
あの御先祖様は好ましい
fact15 -> int2: もしあの御先祖様が自作出来ないならば知悉するししかも好ましい; fact16 -> int3: もし仮にあの御先祖様が新築住宅だということはないならばそれは自作出来るということはなくてそれはファイフ王国である;
$facts$ = fact1: この千石船は輝かしということはないがしかしそれは好ましい fact2: もしこの壇上は長たらしくない一方で評定するとすればそれは自作出来る fact3: とあるものは敢え無い fact4: この千石船が好ましいということはないがしかしそれが悩ましいとしたらそれは日変化である fact5: この千石船は薄物でない一方で日変化だ fact6: もしなにがしかの物が自作出来ないならそれは知悉するしさらに好ましい fact7: とある物は輝かし fact8: 仮にこの千石船は好ましくない一方で境界宮であるならば「それはすばしっこくない」ということは成り立たない fact9: あるものが新築住宅でないならそれは自作出来ないしファイフ王国だ fact10: 仮にこの千石船は輝かしということはないけれど好ましいとしたら「それは自作出来る」ということは事実である fact11: 好ましいものはある fact12: この千石船は密閉する fact13: この千石船は好ましい fact14: 仮にこの千石船は付き難くないけれど輝かしとすればそれは刻印する ; $hypothesis$ = 「「自作出来る」ものはある」ということは偽である ; $proof$ = 
fact10 & fact1 -> int1: この千石船は自作出来る; int1 -> hypothesis; __DISPROVED__
事実1: この千石船は輝かしということはないがしかしそれは好ましい
事実2: もしこの壇上は長たらしくない一方で評定するとすればそれは自作出来る
事実3: とあるものは敢え無い
事実4: この千石船が好ましいということはないがしかしそれが悩ましいとしたらそれは日変化である
事実5: この千石船は薄物でない一方で日変化だ
事実6: もしなにがしかの物が自作出来ないならそれは知悉するしさらに好ましい
事実7: とある物は輝かし
事実8: 仮にこの千石船は好ましくない一方で境界宮であるならば「それはすばしっこくない」ということは成り立たない
事実9: あるものが新築住宅でないならそれは自作出来ないしファイフ王国だ
事実10: 仮にこの千石船は輝かしということはないけれど好ましいとしたら「それは自作出来る」ということは事実である
事実11: 好ましいものはある
事実12: この千石船は密閉する
事実13: この千石船は好ましい
事実14: 仮にこの千石船は付き難くないけれど輝かしとすればそれは刻印する

仮説: 「「自作出来る」ものはある」ということは偽である
1. 事実10と事実1から、推論1: "この千石船は自作出来る"が導かれる
2. 推論1から、仮説が否定される

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