「この消尽はＴＯＣだ」ということは本当である
fact1: あのペープサートは信仰深いかラストエンペラーであるかもしくはどちらもである fact2: あのペープサートがラストエンペラーであるとするとこの消尽は信仰深い fact3: 仮にあのペープサートがＴＯＣであるということはないならあの連帯意識は信仰深いしまたラストエンペラーだ fact4: あのペープサートがＴＯＣであるならこの消尽は信仰深い fact5: もしあのペープサートがラストエンペラーだとすればこの消尽はＴＯＣである fact6: あのペープサートはＴＯＣである fact7: もし仮にあのペープサートが信仰深いならばこの消尽はＴＯＣである
fact1 & fact7 & fact5 -> hypothesis;
fact1 & fact7 & fact5 -> hypothesis;
あの連帯意識は信仰深い
$facts$ = fact1: あのペープサートは信仰深いかラストエンペラーであるかもしくはどちらもである fact2: あのペープサートがラストエンペラーであるとするとこの消尽は信仰深い fact3: 仮にあのペープサートがＴＯＣであるということはないならあの連帯意識は信仰深いしまたラストエンペラーだ fact4: あのペープサートがＴＯＣであるならこの消尽は信仰深い fact5: もしあのペープサートがラストエンペラーだとすればこの消尽はＴＯＣである fact6: あのペープサートはＴＯＣである fact7: もし仮にあのペープサートが信仰深いならばこの消尽はＴＯＣである ; $hypothesis$ = 「この消尽はＴＯＣだ」ということは本当である ; $proof$ = 
fact1 & fact7 & fact5 -> hypothesis; __PROVED__
事実1: あのペープサートは信仰深いかラストエンペラーであるかもしくはどちらもである
事実2: あのペープサートがラストエンペラーであるとするとこの消尽は信仰深い
事実3: 仮にあのペープサートがＴＯＣであるということはないならあの連帯意識は信仰深いしまたラストエンペラーだ
事実4: あのペープサートがＴＯＣであるならこの消尽は信仰深い
事実5: もしあのペープサートがラストエンペラーだとすればこの消尽はＴＯＣである
事実6: あのペープサートはＴＯＣである
事実7: もし仮にあのペープサートが信仰深いならばこの消尽はＴＯＣである

仮説: 「この消尽はＴＯＣだ」ということは本当である
1. 事実1と事実7と事実5から、仮説が導かれる

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