もしこの旅行会社がとするとするとこのＳＣＪは名場面でないがしかし四千年紀だ
fact1: 仮にこの古典派経済学が四千年紀であるとするとこのＳＣＪは名場面でないが四千年紀だ fact2: このＳＣＪは名場面でまたそれは四千年紀である fact3: 「この古典派経済学はとする」ということは確かだ fact4: もし仮にこの古典派経済学が四千年紀だとするとこのＳＣＪは名場面であるし加えてとする fact5: 「このＳＣＪはとする」ということは本当であるとするとこの旅行会社は名場面である fact6: 仮にこの旅行会社がとするとすればあの古典派経済学は四千年紀である fact7: もしもこの古典派経済学が四千年紀だとしたらこのＳＣＪは四千年紀だ fact8: 仮にこのＳＣＪがとするならこの旅行会社は四千年紀だし加えてそれは名場面である fact9: このＳＣＪはとする
void -> assump1: 以下のように仮定する。この旅行会社はとする; fact6 & assump1 -> int1: この古典派経済学は四千年紀だ; int1 & fact1 -> int2: このＳＣＪは名場面でないがしかし四千年紀だ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にこの古典派経済学が四千年紀であるとするとこのＳＣＪは名場面でないが四千年紀だ fact2: このＳＣＪは名場面でまたそれは四千年紀である fact3: 「この古典派経済学はとする」ということは確かだ fact4: もし仮にこの古典派経済学が四千年紀だとするとこのＳＣＪは名場面であるし加えてとする fact5: 「このＳＣＪはとする」ということは本当であるとするとこの旅行会社は名場面である fact6: 仮にこの旅行会社がとするとすればあの古典派経済学は四千年紀である fact7: もしもこの古典派経済学が四千年紀だとしたらこのＳＣＪは四千年紀だ fact8: 仮にこのＳＣＪがとするならこの旅行会社は四千年紀だし加えてそれは名場面である fact9: このＳＣＪはとする ; $hypothesis$ = もしこの旅行会社がとするとするとこのＳＣＪは名場面でないがしかし四千年紀だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この旅行会社はとする; fact6 & assump1 -> int1: この古典派経済学は四千年紀だ; int1 & fact1 -> int2: このＳＣＪは名場面でないがしかし四千年紀だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの古典派経済学が四千年紀であるとするとこのＳＣＪは名場面でないが四千年紀だ
事実2: このＳＣＪは名場面でまたそれは四千年紀である
事実3: 「この古典派経済学はとする」ということは確かだ
事実4: もし仮にこの古典派経済学が四千年紀だとするとこのＳＣＪは名場面であるし加えてとする
事実5: 「このＳＣＪはとする」ということは本当であるとするとこの旅行会社は名場面である
事実6: 仮にこの旅行会社がとするとすればあの古典派経済学は四千年紀である
事実7: もしもこの古典派経済学が四千年紀だとしたらこのＳＣＪは四千年紀だ
事実8: 仮にこのＳＣＪがとするならこの旅行会社は四千年紀だし加えてそれは名場面である
事実9: このＳＣＪはとする

仮説: もしこの旅行会社がとするとするとこのＳＣＪは名場面でないがしかし四千年紀だ
1. 仮定1: 以下のように仮定する。この旅行会社はとする
2. 事実6と仮定1から、推論1: "この古典派経済学は四千年紀だ"が導かれる
3. 推論1と事実1から、推論2: "このＳＣＪは名場面でないがしかし四千年紀だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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