「あの世祖は漂着だということはないかあるいはそれは和牛でないかもしくはどちらもである」ということは偽である
fact1: あの世祖は漂着であるかそれは和牛でないかもしくは両方だ fact2: この実施内容は特製する fact3: もしも「ある物は見付け易くないしその上それはやんごとなくない」ということは誤りだとすると一体化出来る fact4: もしもこの四ミリメートル算盤型は一体化出来るけれど入室しないとしたらやんごとない fact5: あの最小権限は入室する fact6: この四ミリメートル算盤型はコラーゲン繊維だ fact7: 仮になにがしかのものは特製するしコラーゲン繊維であるとすればそれは連対しない fact8: 「見付け易いものは連対する」ということは真実だ fact9: 「あるものは入室する」ということは間違いでない fact10: もしも何らかのものが一体化出来るしそれが入室するならあの世祖は漂着でない fact11: 「「この四ミリメートル算盤型は見付け易い一方でやんごとないということはない」ということは成り立たない」ということは嘘でない fact12: 仮にこの四ミリメートル算盤型は連対するということはないとすれば「それは見付け易いしおまけにやんごとなくない」ということは成り立たない fact13: この四ミリメートル算盤型は特製する fact14: この四ミリメートル算盤型が見付け易いとすると一体化出来る fact15: もし「「この四ミリメートル算盤型は特製する」ということは正しい」ということは成り立つということはないならば「あの世祖は漂着でないかもしくは和牛でないかもしくは両方だ」ということは誤りだ fact16: この四ミリメートル算盤型は入室する fact17: 仮に「この四ミリメートル算盤型は連対しない」ということは成り立つとすると「見付け易くないしかつやんごとなくない」ということは成り立たない
fact13 & fact6 -> int1: この四ミリメートル算盤型は特製するしコラーゲン繊維である; fact7 -> int2: もしもこの四ミリメートル算盤型は特製するしコラーゲン繊維であるならそれは連対しない; int1 & int2 -> int3: この四ミリメートル算盤型は連対しない; int3 & fact17 -> int4: 「この四ミリメートル算盤型は見付け易いということはなくて更にやんごとなくない」ということは誤っている; fact3 -> int5: もし「「この四ミリメートル算盤型が見付け易くないしさらにやんごとなくない」ということは成り立たない」ということは成り立てば一体化出来る; int4 & int5 -> int6: この四ミリメートル算盤型は一体化出来る; int6 & fact16 -> int7: この四ミリメートル算盤型は一体化出来るしまたそれは入室する; int7 -> int8: 何かは一体化出来るしおまけに入室する; int8 & fact10 -> int9: 「あの世祖は漂着だということはない」ということは成り立つ; int9 -> hypothesis;
「あの世祖は漂着でないかもしくはそれは和牛でない」ということは成り立たない
fact18 -> int10: もし仮にこの四ミリメートル算盤型が見付け易いとすればそれは連対する;
$facts$ = fact1: あの世祖は漂着であるかそれは和牛でないかもしくは両方だ fact2: この実施内容は特製する fact3: もしも「ある物は見付け易くないしその上それはやんごとなくない」ということは誤りだとすると一体化出来る fact4: もしもこの四ミリメートル算盤型は一体化出来るけれど入室しないとしたらやんごとない fact5: あの最小権限は入室する fact6: この四ミリメートル算盤型はコラーゲン繊維だ fact7: 仮になにがしかのものは特製するしコラーゲン繊維であるとすればそれは連対しない fact8: 「見付け易いものは連対する」ということは真実だ fact9: 「あるものは入室する」ということは間違いでない fact10: もしも何らかのものが一体化出来るしそれが入室するならあの世祖は漂着でない fact11: 「「この四ミリメートル算盤型は見付け易い一方でやんごとないということはない」ということは成り立たない」ということは嘘でない fact12: 仮にこの四ミリメートル算盤型は連対するということはないとすれば「それは見付け易いしおまけにやんごとなくない」ということは成り立たない fact13: この四ミリメートル算盤型は特製する fact14: この四ミリメートル算盤型が見付け易いとすると一体化出来る fact15: もし「「この四ミリメートル算盤型は特製する」ということは正しい」ということは成り立つということはないならば「あの世祖は漂着でないかもしくは和牛でないかもしくは両方だ」ということは誤りだ fact16: この四ミリメートル算盤型は入室する fact17: 仮に「この四ミリメートル算盤型は連対しない」ということは成り立つとすると「見付け易くないしかつやんごとなくない」ということは成り立たない ; $hypothesis$ = 「あの世祖は漂着だということはないかあるいはそれは和牛でないかもしくはどちらもである」ということは偽である ; $proof$ = 
fact13 & fact6 -> int1: この四ミリメートル算盤型は特製するしコラーゲン繊維である; fact7 -> int2: もしもこの四ミリメートル算盤型は特製するしコラーゲン繊維であるならそれは連対しない; int1 & int2 -> int3: この四ミリメートル算盤型は連対しない; int3 & fact17 -> int4: 「この四ミリメートル算盤型は見付け易いということはなくて更にやんごとなくない」ということは誤っている; fact3 -> int5: もし「「この四ミリメートル算盤型が見付け易くないしさらにやんごとなくない」ということは成り立たない」ということは成り立てば一体化出来る; int4 & int5 -> int6: この四ミリメートル算盤型は一体化出来る; int6 & fact16 -> int7: この四ミリメートル算盤型は一体化出来るしまたそれは入室する; int7 -> int8: 何かは一体化出来るしおまけに入室する; int8 & fact10 -> int9: 「あの世祖は漂着だということはない」ということは成り立つ; int9 -> hypothesis; __DISPROVED__
事実1: あの世祖は漂着であるかそれは和牛でないかもしくは両方だ
事実2: この実施内容は特製する
事実3: もしも「ある物は見付け易くないしその上それはやんごとなくない」ということは誤りだとすると一体化出来る
事実4: もしもこの四ミリメートル算盤型は一体化出来るけれど入室しないとしたらやんごとない
事実5: あの最小権限は入室する
事実6: この四ミリメートル算盤型はコラーゲン繊維だ
事実7: 仮になにがしかのものは特製するしコラーゲン繊維であるとすればそれは連対しない
事実8: 「見付け易いものは連対する」ということは真実だ
事実9: 「あるものは入室する」ということは間違いでない
事実10: もしも何らかのものが一体化出来るしそれが入室するならあの世祖は漂着でない
事実11: 「「この四ミリメートル算盤型は見付け易い一方でやんごとないということはない」ということは成り立たない」ということは嘘でない
事実12: 仮にこの四ミリメートル算盤型は連対するということはないとすれば「それは見付け易いしおまけにやんごとなくない」ということは成り立たない
事実13: この四ミリメートル算盤型は特製する
事実14: この四ミリメートル算盤型が見付け易いとすると一体化出来る
事実15: もし「「この四ミリメートル算盤型は特製する」ということは正しい」ということは成り立つということはないならば「あの世祖は漂着でないかもしくは和牛でないかもしくは両方だ」ということは誤りだ
事実16: この四ミリメートル算盤型は入室する
事実17: 仮に「この四ミリメートル算盤型は連対しない」ということは成り立つとすると「見付け易くないしかつやんごとなくない」ということは成り立たない

仮説: 「あの世祖は漂着だということはないかあるいはそれは和牛でないかもしくはどちらもである」ということは偽である
1. 事実13と事実6から、推論1: "この四ミリメートル算盤型は特製するしコラーゲン繊維である"が導かれる
2. 事実7から、推論2: "もしもこの四ミリメートル算盤型は特製するしコラーゲン繊維であるならそれは連対しない"が導かれる
3. 推論1と推論2から、推論3: "この四ミリメートル算盤型は連対しない"が導かれる
4. 推論3と事実17から、推論4: "「この四ミリメートル算盤型は見付け易いということはなくて更にやんごとなくない」ということは誤っている"が導かれる
5. 事実3から、推論5: "もし「「この四ミリメートル算盤型が見付け易くないしさらにやんごとなくない」ということは成り立たない」ということは成り立てば一体化出来る"が導かれる
6. 推論4と推論5から、推論6: "この四ミリメートル算盤型は一体化出来る"が導かれる
7. 推論6と事実16から、推論7: "この四ミリメートル算盤型は一体化出来るしまたそれは入室する"が導かれる
8. 推論7から、推論8: "何かは一体化出来るしおまけに入室する"が導かれる
9. 推論8と事実10から、推論9: "「あの世祖は漂着だということはない」ということは成り立つ"が導かれる
10. 推論9から、仮説が否定される

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