あの厚底片手鍋が大人気無いとしたらあの辺は同座する
fact1: もしとある物が五年以下不給制であるかまたはそれは大人気無いとしたら「あの辺は同座する」ということは本当だ
void -> assump1: 以下のように仮定する。あの厚底片手鍋は大人気無い; assump1 -> int1: あの厚底片手鍋は五年以下不給制であるかあるいは大人気無い; int1 -> int2: 「五年以下不給制であるかあるいは大人気無い」物はある; int2 & fact1 -> int3: あの辺は同座する; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしとある物が五年以下不給制であるかまたはそれは大人気無いとしたら「あの辺は同座する」ということは本当だ ; $hypothesis$ = あの厚底片手鍋が大人気無いとしたらあの辺は同座する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの厚底片手鍋は大人気無い; assump1 -> int1: あの厚底片手鍋は五年以下不給制であるかあるいは大人気無い; int1 -> int2: 「五年以下不給制であるかあるいは大人気無い」物はある; int2 & fact1 -> int3: あの辺は同座する; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしとある物が五年以下不給制であるかまたはそれは大人気無いとしたら「あの辺は同座する」ということは本当だ

仮説: あの厚底片手鍋が大人気無いとしたらあの辺は同座する
1. 仮定1: 以下のように仮定する。あの厚底片手鍋は大人気無い
2. 仮定1から、推論1: "あの厚底片手鍋は五年以下不給制であるかあるいは大人気無い"が導かれる
3. 推論1から、推論2: "「五年以下不給制であるかあるいは大人気無い」物はある"が導かれる
4. 推論2と事実1から、推論3: "あの辺は同座する"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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