この武田家は咽び泣くしそれに青白い
fact1: この造酒は切り易い fact2: もし何らかのものは白っぽくないとすると「それが咽び泣くしその上それは青白い」ということは偽だ fact3: 仮にその個数が白っぽいとすればあの武田家は就業継続でなくて白っぽくない fact4: 仮にこの造酒が切り易いとすればその個数は白っぽい
fact4 & fact1 -> int1: その個数は白っぽい; int1 & fact3 -> int2: この武田家は就業継続であるということはなくて白っぽくない; int2 -> int3: この武田家は白っぽくない; fact2 -> int4: もしこの武田家は白っぽくないとしたら「それは咽び泣くしそれは青白い」ということは誤りである; int3 & int4 -> hypothesis;
$facts$ = fact1: この造酒は切り易い fact2: もし何らかのものは白っぽくないとすると「それが咽び泣くしその上それは青白い」ということは偽だ fact3: 仮にその個数が白っぽいとすればあの武田家は就業継続でなくて白っぽくない fact4: 仮にこの造酒が切り易いとすればその個数は白っぽい ; $hypothesis$ = この武田家は咽び泣くしそれに青白い ; $proof$ = 
fact4 & fact1 -> int1: その個数は白っぽい; int1 & fact3 -> int2: この武田家は就業継続であるということはなくて白っぽくない; int2 -> int3: この武田家は白っぽくない; fact2 -> int4: もしこの武田家は白っぽくないとしたら「それは咽び泣くしそれは青白い」ということは誤りである; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この造酒は切り易い
事実2: もし何らかのものは白っぽくないとすると「それが咽び泣くしその上それは青白い」ということは偽だ
事実3: 仮にその個数が白っぽいとすればあの武田家は就業継続でなくて白っぽくない
事実4: 仮にこの造酒が切り易いとすればその個数は白っぽい

仮説: この武田家は咽び泣くしそれに青白い
1. 事実4と事実1から、推論1: "その個数は白っぽい"が導かれる
2. 推論1と事実3から、推論2: "この武田家は就業継続であるということはなくて白っぽくない"が導かれる
3. 推論2から、推論3: "この武田家は白っぽくない"が導かれる
4. 事実2から、推論4: "もしこの武田家は白っぽくないとしたら「それは咽び泣くしそれは青白い」ということは誤りである"が導かれる
5. 推論3と推論4から、仮説が否定される

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