この悪声は見せびらかさないしおまけに書き難くない
fact1: 「もしこの悪声は書き難くないなら「あのさいかちは見せびらかさないしそれは書き難いということはない」ということは事実と異なる」ということは正しい fact2: 「この二十一型は紡ぎ出さなくてしかも遅しない」ということは確かだということはない fact3: とあるものはむずからないけど発するとすると書き難いということはない fact4: 仮にこの悪声が書き難いならばむずかる fact5: もし仮に「この二十一型は紡ぎ出さないし遅しない」ということは成り立たないならばあのさいかちはむずからない fact6: 「この悪声は見せびらかすが書き難くない」ということは間違っている fact7: あのさいかちは書き難くないとしたら「この悪声は見せびらかさなくてそれに書き難いということはない」ということは成り立たない fact8: 「この二十一型は紡ぎ出すがしかし遅しない」ということは間違いだ fact9: あの年は処罰す fact10: もし仮にこの悪声は遅しないが処罰すとすると見せびらかすということはない fact11: 「この悪声は書き難いけどむずからない」ということは間違っている fact12: 「その左右対称性は処罰す」ということは成り立つ fact13: もし仮にあのさいかちが見せびらかせば発する fact14: この二十一型は書き難い fact15: この悪声は紡ぎ出さない fact16: もしも「この二十一型は紡ぎ出す」ということは確かであるならあのさいかちはむずからない fact17: もしもあのさいかちが処罰すとすればそれは御美しい fact18: あのさいかちは積み増さない fact19: もしあのさいかちは発しないならば「この二十一型は遅しないし更に発しない」ということは嘘だ fact20: 「この悪声は発するということはなくて書き難くない」ということは正しくない fact21: あのさいかちは書き難くないならば「この悪声は見せびらかさないがしかし書き難い」ということは間違いである fact22: 「この二十一型は遅し」ということは真実であるならば発する fact23: 「この悪声は見せびらかさない一方で書き難い」ということは誤りである fact24: もし仮になにがしかのものが御美しいとしたら発する fact25: あのさいかちは処罰す fact26: あのさいかちは書き難くないとすれば「この悪声は見せびらかす一方でそれは書き難くない」ということは本当でない
fact17 & fact25 -> int1: あのさいかちは御美しい; fact24 -> int2: あのさいかちが御美しいならそれは発する; int1 & int2 -> int3: あのさいかちは発する; fact5 & fact2 -> int4: あのさいかちはむずからない; int3 & int4 -> int5: あのさいかちはむずからないがしかし発する; fact3 -> int6: あのさいかちはむずからないけど発するとすればそれは書き難くない; int5 & int6 -> int7: あのさいかちは書き難くない; int7 & fact7 -> 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: もし仮になにがしかのものが御美しいとしたら発する fact25: あのさいかちは処罰す fact26: あのさいかちは書き難くないとすれば「この悪声は見せびらかす一方でそれは書き難くない」ということは本当でない ; $hypothesis$ = この悪声は見せびらかさないしおまけに書き難くない ; $proof$ = 
fact17 & fact25 -> int1: あのさいかちは御美しい; fact24 -> int2: あのさいかちが御美しいならそれは発する; int1 & int2 -> int3: あのさいかちは発する; fact5 & fact2 -> int4: あのさいかちはむずからない; int3 & int4 -> int5: あのさいかちはむずからないがしかし発する; fact3 -> int6: あのさいかちはむずからないけど発するとすればそれは書き難くない; int5 & int6 -> int7: あのさいかちは書き難くない; int7 & fact7 -> 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: もし仮になにがしかのものが御美しいとしたら発する
事実25: あのさいかちは処罰す
事実26: あのさいかちは書き難くないとすれば「この悪声は見せびらかす一方でそれは書き難くない」ということは本当でない

仮説: この悪声は見せびらかさないしおまけに書き難くない
1. 事実17と事実25から、推論1: "あのさいかちは御美しい"が導かれる
2. 事実24から、推論2: "あのさいかちが御美しいならそれは発する"が導かれる
3. 推論1と推論2から、推論3: "あのさいかちは発する"が導かれる
4. 事実5と事実2から、推論4: "あのさいかちはむずからない"が導かれる
5. 推論3と推論4から、推論5: "あのさいかちはむずからないがしかし発する"が導かれる
6. 事実3から、推論6: "あのさいかちはむずからないけど発するとすればそれは書き難くない"が導かれる
7. 推論5と推論6から、推論7: "あのさいかちは書き難くない"が導かれる
8. 推論7と事実7から、仮説が否定される

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