このバイクタクシーが内部監査部門等であるとすればあの六Ｓは表示出来る
fact1: もし仮にあの六Ｓが内部監査部門等だとすればあのバイクタクシーは表示出来る fact2: その浮きは内部監査部門等だ fact3: そのプロジェクトマネージャーはコフカ収容所である fact4: あの化仏はコフカ収容所である fact5: もしもこのバイクタクシーが内部監査部門等だとしたらあの六Ｓはコフカ収容所だ fact6: あの六Ｓは内部監査部門等である fact7: もしこの喋り方が犯し難くないならば内部監査部門等だしかつそれは表示出来る fact8: もしなんらかのものが麗しならストレッチする fact9: あの六Ｓは占星術である fact10: コフカ収容所は表示出来る fact11: もしこのバイクタクシーが表示出来るなら内部監査部門等である fact12: 仮にこのバイクタクシーがコフカ収容所ならそれは内部監査部門等だ fact13: もし仮にあの六Ｓが覚え易いとするとコフカ収容所である
void -> assump1: 以下のように仮定する。このバイクタクシーは内部監査部門等だ; fact5 & assump1 -> int1: あの六Ｓはコフカ収容所である; fact10 -> int2: 仮にあの六Ｓはコフカ収容所であるならそれは表示出来る; int1 & int2 -> int3: あの六Ｓは表示出来る; [assump1] & int3 -> hypothesis;
この喋り方はコフカ収容所である
$facts$ = fact1: もし仮にあの六Ｓが内部監査部門等だとすればあのバイクタクシーは表示出来る fact2: その浮きは内部監査部門等だ fact3: そのプロジェクトマネージャーはコフカ収容所である fact4: あの化仏はコフカ収容所である fact5: もしもこのバイクタクシーが内部監査部門等だとしたらあの六Ｓはコフカ収容所だ fact6: あの六Ｓは内部監査部門等である fact7: もしこの喋り方が犯し難くないならば内部監査部門等だしかつそれは表示出来る fact8: もしなんらかのものが麗しならストレッチする fact9: あの六Ｓは占星術である fact10: コフカ収容所は表示出来る fact11: もしこのバイクタクシーが表示出来るなら内部監査部門等である fact12: 仮にこのバイクタクシーがコフカ収容所ならそれは内部監査部門等だ fact13: もし仮にあの六Ｓが覚え易いとするとコフカ収容所である ; $hypothesis$ = このバイクタクシーが内部監査部門等であるとすればあの六Ｓは表示出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。このバイクタクシーは内部監査部門等だ; fact5 & assump1 -> int1: あの六Ｓはコフカ収容所である; fact10 -> int2: 仮にあの六Ｓはコフカ収容所であるならそれは表示出来る; int1 & int2 -> int3: あの六Ｓは表示出来る; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあの六Ｓが内部監査部門等だとすればあのバイクタクシーは表示出来る
事実2: その浮きは内部監査部門等だ
事実3: そのプロジェクトマネージャーはコフカ収容所である
事実4: あの化仏はコフカ収容所である
事実5: もしもこのバイクタクシーが内部監査部門等だとしたらあの六Ｓはコフカ収容所だ
事実6: あの六Ｓは内部監査部門等である
事実7: もしこの喋り方が犯し難くないならば内部監査部門等だしかつそれは表示出来る
事実8: もしなんらかのものが麗しならストレッチする
事実9: あの六Ｓは占星術である
事実10: コフカ収容所は表示出来る
事実11: もしこのバイクタクシーが表示出来るなら内部監査部門等である
事実12: 仮にこのバイクタクシーがコフカ収容所ならそれは内部監査部門等だ
事実13: もし仮にあの六Ｓが覚え易いとするとコフカ収容所である

仮説: このバイクタクシーが内部監査部門等であるとすればあの六Ｓは表示出来る
1. 仮定1: 以下のように仮定する。このバイクタクシーは内部監査部門等だ
2. 事実5と仮定1から、推論1: "あの六Ｓはコフカ収容所である"が導かれる
3. 事実10から、推論2: "仮にあの六Ｓはコフカ収容所であるならそれは表示出来る"が導かれる
4. 推論1と推論2から、推論3: "あの六Ｓは表示出来る"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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