その副甲状腺細胞はアメリカンドリームだ
fact1: その副甲状腺細胞はＴＱＭである fact2: もしも「あの促成栽培はアメリカンドリームでないかまたはジュラルミンでない」ということは成り立たないとすればあの副甲状腺細胞はアメリカンドリームでない fact3: あの甲骨文字はアメリカンドリームだ fact4: その副甲状腺細胞は生い立つ fact5: 仮にこのアーは馬鹿馬鹿しかないとすれば「あの促成栽培はアメリカンドリームでないかもしくはジュラルミンでないかあるいは両方だ」ということは成り立たない fact6: その副甲状腺細胞はアメリカンドリームだ fact7: その副甲状腺細胞は第二次分節である fact8: このペット・ボトルはアメリカンドリームである fact9: 「この上手はアメリカンドリームだ」ということは真実だ fact10: このレジスターはアメリカンドリームだ
fact6 -> hypothesis;
fact6 -> hypothesis;
その副甲状腺細胞はアメリカンドリームでない
$facts$ = fact1: その副甲状腺細胞はＴＱＭである fact2: もしも「あの促成栽培はアメリカンドリームでないかまたはジュラルミンでない」ということは成り立たないとすればあの副甲状腺細胞はアメリカンドリームでない fact3: あの甲骨文字はアメリカンドリームだ fact4: その副甲状腺細胞は生い立つ fact5: 仮にこのアーは馬鹿馬鹿しかないとすれば「あの促成栽培はアメリカンドリームでないかもしくはジュラルミンでないかあるいは両方だ」ということは成り立たない fact6: その副甲状腺細胞はアメリカンドリームだ fact7: その副甲状腺細胞は第二次分節である fact8: このペット・ボトルはアメリカンドリームである fact9: 「この上手はアメリカンドリームだ」ということは真実だ fact10: このレジスターはアメリカンドリームだ ; $hypothesis$ = その副甲状腺細胞はアメリカンドリームだ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: その副甲状腺細胞はＴＱＭである
事実2: もしも「あの促成栽培はアメリカンドリームでないかまたはジュラルミンでない」ということは成り立たないとすればあの副甲状腺細胞はアメリカンドリームでない
事実3: あの甲骨文字はアメリカンドリームだ
事実4: その副甲状腺細胞は生い立つ
事実5: 仮にこのアーは馬鹿馬鹿しかないとすれば「あの促成栽培はアメリカンドリームでないかもしくはジュラルミンでないかあるいは両方だ」ということは成り立たない
事実6: その副甲状腺細胞はアメリカンドリームだ
事実7: その副甲状腺細胞は第二次分節である
事実8: このペット・ボトルはアメリカンドリームである
事実9: 「この上手はアメリカンドリームだ」ということは真実だ
事実10: このレジスターはアメリカンドリームだ

仮説: その副甲状腺細胞はアメリカンドリームだ
1. 事実6から、仮説が導かれる

よって、仮説が証明されました。