その八世は復帰しない
fact1: 仮にその八世は洒落臭くないとすれば「票数だということはないかあるいは黄色人種であるか両方ともである」ということは真実でない fact2: その八世は起こし難くないか徹し切れる fact3: もしあるものが徹し切れるということはないとしたら復帰する fact4: もしも「なにかは票数であるということはないか黄色人種であるかまたは両方である」ということは成り立たないとしたら複製しない fact5: もしもその八世が複製しないとするとそれは徹し切れるし所為 fact6: その八世は起こし難くない fact7: 仮にその八世が徹し切れないとすれば復帰する fact8: もしもある物が起こし難くないかあるいはそれは徹し切れるということはないかまたはどちらもならばそれは復帰する fact9: このＴＣＲ／ＣＤは復帰しない
fact6 -> int1: その八世は起こし難くないかあるいは徹し切れないかまたは両方ともである; fact8 -> int2: もしもその八世が起こし難くないかまたは徹し切れないか両方だとしたらそれは復帰する; int1 & int2 -> hypothesis;
その八世は復帰しない
fact11 -> int3: もしも「その八世は票数でないか黄色人種であるかもしくはどちらもだ」ということは嘘ならそれは複製しない;
$facts$ = fact1: 仮にその八世は洒落臭くないとすれば「票数だということはないかあるいは黄色人種であるか両方ともである」ということは真実でない fact2: その八世は起こし難くないか徹し切れる fact3: もしあるものが徹し切れるということはないとしたら復帰する fact4: もしも「なにかは票数であるということはないか黄色人種であるかまたは両方である」ということは成り立たないとしたら複製しない fact5: もしもその八世が複製しないとするとそれは徹し切れるし所為 fact6: その八世は起こし難くない fact7: 仮にその八世が徹し切れないとすれば復帰する fact8: もしもある物が起こし難くないかあるいはそれは徹し切れるということはないかまたはどちらもならばそれは復帰する fact9: このＴＣＲ／ＣＤは復帰しない ; $hypothesis$ = その八世は復帰しない ; $proof$ = 
fact6 -> int1: その八世は起こし難くないかあるいは徹し切れないかまたは両方ともである; fact8 -> int2: もしもその八世が起こし難くないかまたは徹し切れないか両方だとしたらそれは復帰する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその八世は洒落臭くないとすれば「票数だということはないかあるいは黄色人種であるか両方ともである」ということは真実でない
事実2: その八世は起こし難くないか徹し切れる
事実3: もしあるものが徹し切れるということはないとしたら復帰する
事実4: もしも「なにかは票数であるということはないか黄色人種であるかまたは両方である」ということは成り立たないとしたら複製しない
事実5: もしもその八世が複製しないとするとそれは徹し切れるし所為
事実6: その八世は起こし難くない
事実7: 仮にその八世が徹し切れないとすれば復帰する
事実8: もしもある物が起こし難くないかあるいはそれは徹し切れるということはないかまたはどちらもならばそれは復帰する
事実9: このＴＣＲ／ＣＤは復帰しない

仮説: その八世は復帰しない
1. 事実6から、推論1: "その八世は起こし難くないかあるいは徹し切れないかまたは両方ともである"が導かれる
2. 事実8から、推論2: "もしもその八世が起こし難くないかまたは徹し切れないか両方だとしたらそれは復帰する"が導かれる
3. 推論1と推論2から、仮説が否定される

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