その姫松は入浴しない
fact1: もし仮にその姫松が目的無しならばそれは三本足でない fact2: もしこの御帷子が輝かしということはないししかも目的無しないならばその姫松は入浴する fact3: もし仮にある物が入浴するとすれば吸血する fact4: その内法寸法は薄暗い fact5: もし仮にこの御帷子が入浴するとしたらそれは薄暗い fact6: この御帷子は輝かしない fact7: もし仮になにかは残さないとすると大衆車だ fact8: もしもこの御帷子が輝かし一方で目的無しないとするとその姫松は入浴する fact9: もしもなにがしかの物は大衆車であるとすると薄暗い fact10: もしもこの御帷子が薄暗いとすると輝かしということはない fact11: 「その姫松は吸血する」ということは成り立つ fact12: 輝かしものは残す fact13: 「「「「住環境指標だ」ということは成り立つ」物はある」ということは成り立つとするとこの御帷子は吸血するがしかし残すということはない」ということは事実だ fact14: もしもその姫松が目的無しないけど入浴するとしたらこの御帷子は輝かし fact15: その内法寸法は残す fact16: このサントラ盤は入浴する fact17: この御帷子は吸血する fact18: 仮になにがしかの物が弾き易いとするとこの募兵は賛成し難い一方でそれは輝かしない fact19: もしも「「入浴する」ということは事実な」物があるとするとその姫松は目的無しが薄暗くない fact20: 「輝かし」物はある fact21: 仮にこの御帷子が輝かしとしたらそれは入浴しなくておまけに大衆車でない fact22: 住環境指標はある fact23: もしこの御帷子が薄暗いならば輝かしないし目的無しない fact24: 「「住環境指標な」物はあるなら「この御帷子は吸血する」ということは正しい」ということは確かだ
fact22 & fact13 -> int1: この御帷子は吸血する一方でそれは残さない; int1 -> int2: この御帷子は残さない; fact7 -> int3: この御帷子が残さないならば大衆車である; int2 & int3 -> int4: この御帷子は大衆車である; fact9 -> int5: もしこの御帷子が大衆車だとすれば薄暗い; int4 & int5 -> int6: この御帷子は薄暗い; int6 & fact23 -> int7: この御帷子は輝かしないししかも目的無しない; int7 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にその姫松が目的無しならばそれは三本足でない fact2: もしこの御帷子が輝かしということはないししかも目的無しないならばその姫松は入浴する fact3: もし仮にある物が入浴するとすれば吸血する fact4: その内法寸法は薄暗い fact5: もし仮にこの御帷子が入浴するとしたらそれは薄暗い fact6: この御帷子は輝かしない fact7: もし仮になにかは残さないとすると大衆車だ fact8: もしもこの御帷子が輝かし一方で目的無しないとするとその姫松は入浴する fact9: もしもなにがしかの物は大衆車であるとすると薄暗い fact10: もしもこの御帷子が薄暗いとすると輝かしということはない fact11: 「その姫松は吸血する」ということは成り立つ fact12: 輝かしものは残す fact13: 「「「「住環境指標だ」ということは成り立つ」物はある」ということは成り立つとするとこの御帷子は吸血するがしかし残すということはない」ということは事実だ fact14: もしもその姫松が目的無しないけど入浴するとしたらこの御帷子は輝かし fact15: その内法寸法は残す fact16: このサントラ盤は入浴する fact17: この御帷子は吸血する fact18: 仮になにがしかの物が弾き易いとするとこの募兵は賛成し難い一方でそれは輝かしない fact19: もしも「「入浴する」ということは事実な」物があるとするとその姫松は目的無しが薄暗くない fact20: 「輝かし」物はある fact21: 仮にこの御帷子が輝かしとしたらそれは入浴しなくておまけに大衆車でない fact22: 住環境指標はある fact23: もしこの御帷子が薄暗いならば輝かしないし目的無しない fact24: 「「住環境指標な」物はあるなら「この御帷子は吸血する」ということは正しい」ということは確かだ ; $hypothesis$ = その姫松は入浴しない ; $proof$ = 
fact22 & fact13 -> int1: この御帷子は吸血する一方でそれは残さない; int1 -> int2: この御帷子は残さない; fact7 -> int3: この御帷子が残さないならば大衆車である; int2 & int3 -> int4: この御帷子は大衆車である; fact9 -> int5: もしこの御帷子が大衆車だとすれば薄暗い; int4 & int5 -> int6: この御帷子は薄暗い; int6 & fact23 -> int7: この御帷子は輝かしないししかも目的無しない; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にその姫松が目的無しならばそれは三本足でない
事実2: もしこの御帷子が輝かしということはないししかも目的無しないならばその姫松は入浴する
事実3: もし仮にある物が入浴するとすれば吸血する
事実4: その内法寸法は薄暗い
事実5: もし仮にこの御帷子が入浴するとしたらそれは薄暗い
事実6: この御帷子は輝かしない
事実7: もし仮になにかは残さないとすると大衆車だ
事実8: もしもこの御帷子が輝かし一方で目的無しないとするとその姫松は入浴する
事実9: もしもなにがしかの物は大衆車であるとすると薄暗い
事実10: もしもこの御帷子が薄暗いとすると輝かしということはない
事実11: 「その姫松は吸血する」ということは成り立つ
事実12: 輝かしものは残す
事実13: 「「「「住環境指標だ」ということは成り立つ」物はある」ということは成り立つとするとこの御帷子は吸血するがしかし残すということはない」ということは事実だ
事実14: もしもその姫松が目的無しないけど入浴するとしたらこの御帷子は輝かし
事実15: その内法寸法は残す
事実16: このサントラ盤は入浴する
事実17: この御帷子は吸血する
事実18: 仮になにがしかの物が弾き易いとするとこの募兵は賛成し難い一方でそれは輝かしない
事実19: もしも「「入浴する」ということは事実な」物があるとするとその姫松は目的無しが薄暗くない
事実20: 「輝かし」物はある
事実21: 仮にこの御帷子が輝かしとしたらそれは入浴しなくておまけに大衆車でない
事実22: 住環境指標はある
事実23: もしこの御帷子が薄暗いならば輝かしないし目的無しない
事実24: 「「住環境指標な」物はあるなら「この御帷子は吸血する」ということは正しい」ということは確かだ

仮説: その姫松は入浴しない
1. 事実22と事実13から、推論1: "この御帷子は吸血する一方でそれは残さない"が導かれる
2. 推論1から、推論2: "この御帷子は残さない"が導かれる
3. 事実7から、推論3: "この御帷子が残さないならば大衆車である"が導かれる
4. 推論2と推論3から、推論4: "この御帷子は大衆車である"が導かれる
5. 事実9から、推論5: "もしこの御帷子が大衆車だとすれば薄暗い"が導かれる
6. 推論4と推論5から、推論6: "この御帷子は薄暗い"が導かれる
7. 推論6と事実23から、推論7: "この御帷子は輝かしないししかも目的無しない"が導かれる
8. 推論7と事実2から、仮説が否定される

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