この乳色は床の間付きでない
fact1: あの臨川公園は床の間付きだ fact2: 取り掛かり易い物は食細胞だということはないなら「床の間付きでない」ということは誤りでない fact3: もし「なにがしかの物は食細胞だが床の間付きでない」ということは成り立たないならばそれは床の間付きである fact4: 仮にとある物は脈絡膜でないとしたら「それは食細胞だ一方で床の間付きでない」ということは成り立たない fact5: この乳色は床の間付きだ fact6: もし仮にあの大土地所有者が脈絡膜であるけど床の間付きでないとするとこの乳色は床の間付きでない fact7: 予測し易いものは脈絡膜である fact8: もしも「この乳色は脈絡膜だ」ということは正しいなら「あの無調節時は食細胞だ」ということは成り立つ fact9: あの大土地所有者は予測し易い
fact5 -> hypothesis;
fact5 -> hypothesis;
その表示形式は床の間付きである
fact11 -> int1: もしも「その表示形式は食細胞であるけれど床の間付きでない」ということは成り立たないとすればそれは床の間付きである; fact10 -> int2: 「もしもその表示形式は脈絡膜でないとしたら「その表示形式は食細胞だけど床の間付きでない」ということは間違いだ」ということは正しい;
$facts$ = fact1: あの臨川公園は床の間付きだ fact2: 取り掛かり易い物は食細胞だということはないなら「床の間付きでない」ということは誤りでない fact3: もし「なにがしかの物は食細胞だが床の間付きでない」ということは成り立たないならばそれは床の間付きである fact4: 仮にとある物は脈絡膜でないとしたら「それは食細胞だ一方で床の間付きでない」ということは成り立たない fact5: この乳色は床の間付きだ fact6: もし仮にあの大土地所有者が脈絡膜であるけど床の間付きでないとするとこの乳色は床の間付きでない fact7: 予測し易いものは脈絡膜である fact8: もしも「この乳色は脈絡膜だ」ということは正しいなら「あの無調節時は食細胞だ」ということは成り立つ fact9: あの大土地所有者は予測し易い ; $hypothesis$ = この乳色は床の間付きでない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: あの臨川公園は床の間付きだ
事実2: 取り掛かり易い物は食細胞だということはないなら「床の間付きでない」ということは誤りでない
事実3: もし「なにがしかの物は食細胞だが床の間付きでない」ということは成り立たないならばそれは床の間付きである
事実4: 仮にとある物は脈絡膜でないとしたら「それは食細胞だ一方で床の間付きでない」ということは成り立たない
事実5: この乳色は床の間付きだ
事実6: もし仮にあの大土地所有者が脈絡膜であるけど床の間付きでないとするとこの乳色は床の間付きでない
事実7: 予測し易いものは脈絡膜である
事実8: もしも「この乳色は脈絡膜だ」ということは正しいなら「あの無調節時は食細胞だ」ということは成り立つ
事実9: あの大土地所有者は予測し易い

仮説: この乳色は床の間付きでない
1. 事実5から、仮説が否定される

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