そのぐでんぐでんは撫ぜるかもしくは対角線であるか両方だ
fact1: 「その御白餅は根深くない」ということは真実であるとすれば「そのぐでんぐでんは悩み始めるかまたは撫ぜる」ということは事実であるということはない fact2: そのぐでんぐでんはクーベルチュールでないとすると「それは撫ぜるかまたは対角線だ」ということは本当でない fact3: もし仮に「そのぐでんぐでんは草堂であるしおまけに御尋ねする」ということは成り立たないとしたらクーベルチュールであるということはない fact4: 仮に「その御白餅は対角線でない」ということは事実ならば御尋ねするしクーベルチュールだ fact5: 仮に何かは根深くないならば「そのぐでんぐでんは草堂であるしその上御尋ねする」ということは嘘である fact6: そのぐでんぐでんは撫ぜない fact7: もしもそのぐでんぐでんが御尋ねしないとしたらクーベルチュールでない fact8: なんらかのものは根深くない
fact8 & fact5 -> int1: 「そのぐでんぐでんは草堂であるしかつ御尋ねする」ということは間違っている; int1 & fact3 -> int2: そのぐでんぐでんはクーベルチュールでない; int2 & fact2 -> hypothesis;
「そのぐでんぐでんは悩み始めるかもしくはそれは撫ぜるか両方である」ということは誤っている
$facts$ = fact1: 「その御白餅は根深くない」ということは真実であるとすれば「そのぐでんぐでんは悩み始めるかまたは撫ぜる」ということは事実であるということはない fact2: そのぐでんぐでんはクーベルチュールでないとすると「それは撫ぜるかまたは対角線だ」ということは本当でない fact3: もし仮に「そのぐでんぐでんは草堂であるしおまけに御尋ねする」ということは成り立たないとしたらクーベルチュールであるということはない fact4: 仮に「その御白餅は対角線でない」ということは事実ならば御尋ねするしクーベルチュールだ fact5: 仮に何かは根深くないならば「そのぐでんぐでんは草堂であるしその上御尋ねする」ということは嘘である fact6: そのぐでんぐでんは撫ぜない fact7: もしもそのぐでんぐでんが御尋ねしないとしたらクーベルチュールでない fact8: なんらかのものは根深くない ; $hypothesis$ = そのぐでんぐでんは撫ぜるかもしくは対角線であるか両方だ ; $proof$ = 
fact8 & fact5 -> int1: 「そのぐでんぐでんは草堂であるしかつ御尋ねする」ということは間違っている; int1 & fact3 -> int2: そのぐでんぐでんはクーベルチュールでない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その御白餅は根深くない」ということは真実であるとすれば「そのぐでんぐでんは悩み始めるかまたは撫ぜる」ということは事実であるということはない
事実2: そのぐでんぐでんはクーベルチュールでないとすると「それは撫ぜるかまたは対角線だ」ということは本当でない
事実3: もし仮に「そのぐでんぐでんは草堂であるしおまけに御尋ねする」ということは成り立たないとしたらクーベルチュールであるということはない
事実4: 仮に「その御白餅は対角線でない」ということは事実ならば御尋ねするしクーベルチュールだ
事実5: 仮に何かは根深くないならば「そのぐでんぐでんは草堂であるしその上御尋ねする」ということは嘘である
事実6: そのぐでんぐでんは撫ぜない
事実7: もしもそのぐでんぐでんが御尋ねしないとしたらクーベルチュールでない
事実8: なんらかのものは根深くない

仮説: そのぐでんぐでんは撫ぜるかもしくは対角線であるか両方だ
1. 事実8と事実5から、推論1: "「そのぐでんぐでんは草堂であるしかつ御尋ねする」ということは間違っている"が導かれる
2. 推論1と事実3から、推論2: "そのぐでんぐでんはクーベルチュールでない"が導かれる
3. 推論2と事実2から、仮説が否定される

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