このドッグは入院基本料だということはない
fact1: もしもあの三番手は寒くないとすると「捲らないしおまけに建て替えない」ということは誤っている fact2: もし仮にあの三番手が御所様だということはないがしかし借り易いならばこのドッグは入院基本料でない fact3: 仮に「とあるものは捲らなくてそれは建て替えない」ということは事実と異なるとすればそれは御所様でない fact4: あの三番手は寒いということはない fact5: 仮にあの三番手が女性らしくないとしたら流産するし借り易い fact6: あの三番手は女性らしくない
fact3 -> int1: もしも「あの三番手は捲るということはないしそれに建て替えない」ということは嘘だとするとそれは御所様でない; fact4 & fact1 -> int2: 「あの三番手は捲らないしかつ建て替えるということはない」ということは本当でない; int1 & int2 -> int3: あの三番手は御所様でない; fact5 & fact6 -> int4: あの三番手は流産するししかも借り易い; int4 -> int5: あの三番手は借り易い; int3 & int5 -> int6: あの三番手は御所様でないけど借り易い; int6 & fact2 -> hypothesis;
$facts$ = fact1: もしもあの三番手は寒くないとすると「捲らないしおまけに建て替えない」ということは誤っている fact2: もし仮にあの三番手が御所様だということはないがしかし借り易いならばこのドッグは入院基本料でない fact3: 仮に「とあるものは捲らなくてそれは建て替えない」ということは事実と異なるとすればそれは御所様でない fact4: あの三番手は寒いということはない fact5: 仮にあの三番手が女性らしくないとしたら流産するし借り易い fact6: あの三番手は女性らしくない ; $hypothesis$ = このドッグは入院基本料だということはない ; $proof$ = 
fact3 -> int1: もしも「あの三番手は捲るということはないしそれに建て替えない」ということは嘘だとするとそれは御所様でない; fact4 & fact1 -> int2: 「あの三番手は捲らないしかつ建て替えるということはない」ということは本当でない; int1 & int2 -> int3: あの三番手は御所様でない; fact5 & fact6 -> int4: あの三番手は流産するししかも借り易い; int4 -> int5: あの三番手は借り易い; int3 & int5 -> int6: あの三番手は御所様でないけど借り易い; int6 & fact2 -> hypothesis; __PROVED__
事実1: もしもあの三番手は寒くないとすると「捲らないしおまけに建て替えない」ということは誤っている
事実2: もし仮にあの三番手が御所様だということはないがしかし借り易いならばこのドッグは入院基本料でない
事実3: 仮に「とあるものは捲らなくてそれは建て替えない」ということは事実と異なるとすればそれは御所様でない
事実4: あの三番手は寒いということはない
事実5: 仮にあの三番手が女性らしくないとしたら流産するし借り易い
事実6: あの三番手は女性らしくない

仮説: このドッグは入院基本料だということはない
1. 事実3から、推論1: "もしも「あの三番手は捲るということはないしそれに建て替えない」ということは嘘だとするとそれは御所様でない"が導かれる
2. 事実4と事実1から、推論2: "「あの三番手は捲らないしかつ建て替えるということはない」ということは本当でない"が導かれる
3. 推論1と推論2から、推論3: "あの三番手は御所様でない"が導かれる
4. 事実5と事実6から、推論4: "あの三番手は流産するししかも借り易い"が導かれる
5. 推論4から、推論5: "あの三番手は借り易い"が導かれる
6. 推論3と推論5から、推論6: "あの三番手は御所様でないけど借り易い"が導かれる
7. 推論6と事実2から、仮説が導かれる

よって、仮説が証明されました。