そのピグミー族は狭窄しない
fact1: このＫＩＮＤは流し目だ fact2: 仮に「あの建白は白くない一方で同和研修だ」ということは成り立たないとすれば「そのピグミー族は狭窄する」ということは本当だ fact3: もしこのＫＩＮＤは流し目ならば「あの建白は白くない一方で同和研修である」ということは成り立たない
fact3 & fact1 -> int1: 「あの建白は白くない一方で同和研修だ」ということは誤りである; int1 & fact2 -> hypothesis;
$facts$ = fact1: このＫＩＮＤは流し目だ fact2: 仮に「あの建白は白くない一方で同和研修だ」ということは成り立たないとすれば「そのピグミー族は狭窄する」ということは本当だ fact3: もしこのＫＩＮＤは流し目ならば「あの建白は白くない一方で同和研修である」ということは成り立たない ; $hypothesis$ = そのピグミー族は狭窄しない ; $proof$ = 
fact3 & fact1 -> int1: 「あの建白は白くない一方で同和研修だ」ということは誤りである; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: このＫＩＮＤは流し目だ
事実2: 仮に「あの建白は白くない一方で同和研修だ」ということは成り立たないとすれば「そのピグミー族は狭窄する」ということは本当だ
事実3: もしこのＫＩＮＤは流し目ならば「あの建白は白くない一方で同和研修である」ということは成り立たない

仮説: そのピグミー族は狭窄しない
1. 事実3と事実1から、推論1: "「あの建白は白くない一方で同和研修だ」ということは誤りである"が導かれる
2. 推論1と事実2から、仮説が否定される

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