この熊癖はきったない
fact1: この各国語は受け取れる fact2: この一部加筆は受け取れる fact3: もし仮になにがしかのものは決するということはないとすれば「それは受け取れるということはないし更にデータ種でない」ということは誤っている fact4: もしこの一部加筆が受け取れるならばあの熊癖はデータ種だ fact5: この熊癖は決するしさらに珍しい fact6: もしもなんらかのものが決するしそれがデータ種ならそれはきったなくない fact7: もしもこの一部加筆が受け取れるしまた珍しいとすればきったないということはない fact8: 「この熊癖が受け取れればこの一部加筆はデータ種である」ということは確かである fact9: この熊癖は天蓋だし珍しい fact10: この熊癖は珍しい
fact4 & fact2 -> int1: この熊癖はデータ種である; fact5 -> int2: 「この熊癖は決する」ということは正しい; int1 & int2 -> int3: この熊癖は決するしデータ種だ; fact6 -> int4: もし仮にこの熊癖は決するししかもデータ種ならば「きったなくない」ということは本当だ; int3 & int4 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; fact5 -> int2: {C}{b}; int1 & int2 -> int3: ({C}{b} & {B}{b}); fact6 -> int4: ({C}{b} & {B}{b}) -> ¬{D}{b}; int3 & int4 -> hypothesis;
この熊癖はきったない
fact11 -> int5: もしこの一部加筆は決しないならば「それは受け取れないしデータ種でない」ということは偽だ;
$facts$ = fact1: この各国語は受け取れる fact2: この一部加筆は受け取れる fact3: もし仮になにがしかのものは決するということはないとすれば「それは受け取れるということはないし更にデータ種でない」ということは誤っている fact4: もしこの一部加筆が受け取れるならばあの熊癖はデータ種だ fact5: この熊癖は決するしさらに珍しい fact6: もしもなんらかのものが決するしそれがデータ種ならそれはきったなくない fact7: もしもこの一部加筆が受け取れるしまた珍しいとすればきったないということはない fact8: 「この熊癖が受け取れればこの一部加筆はデータ種である」ということは確かである fact9: この熊癖は天蓋だし珍しい fact10: この熊癖は珍しい ; $hypothesis$ = この熊癖はきったない ; $proof$ = 
fact4 & fact2 -> int1: この熊癖はデータ種である; fact5 -> int2: 「この熊癖は決する」ということは正しい; int1 & int2 -> int3: この熊癖は決するしデータ種だ; fact6 -> int4: もし仮にこの熊癖は決するししかもデータ種ならば「きったなくない」ということは本当だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この各国語は受け取れる
事実2: この一部加筆は受け取れる
事実3: もし仮になにがしかのものは決するということはないとすれば「それは受け取れるということはないし更にデータ種でない」ということは誤っている
事実4: もしこの一部加筆が受け取れるならばあの熊癖はデータ種だ
事実5: この熊癖は決するしさらに珍しい
事実6: もしもなんらかのものが決するしそれがデータ種ならそれはきったなくない
事実7: もしもこの一部加筆が受け取れるしまた珍しいとすればきったないということはない
事実8: 「この熊癖が受け取れればこの一部加筆はデータ種である」ということは確かである
事実9: この熊癖は天蓋だし珍しい
事実10: この熊癖は珍しい

仮説: この熊癖はきったない
1. 事実4と事実2から、推論1: "この熊癖はデータ種である"が導かれる
2. 事実5から、推論2: "「この熊癖は決する」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この熊癖は決するしデータ種だ"が導かれる
4. 事実6から、推論4: "もし仮にこの熊癖は決するししかもデータ種ならば「きったなくない」ということは本当だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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