もしもそのぴにゅぴやLv.48が真っ白いとするとあのまちゅまにゅLv.50は可笑しい
fact1: もし仮にあのまちゅまにゅLv.50は京都らしいとすれば「あのまちゅまにゅLv.50は可笑しい」ということは本当である fact2: 仮にそのもやもくLv.20は起こり難いとすると「あのまちゅまにゅLv.50は京都らしい」ということは確かである fact3: 仮にそのぴにゅぴやLv.48が真っ白いならそのもやもくLv.20は起こり難い
void -> assump1: 以下のように仮定する。そのぴにゅぴやLv.48は真っ白い; fact3 & assump1 -> int1: そのもやもくLv.20は起こり難い; int1 & fact2 -> int2: あのまちゅまにゅLv.50は京都らしい; int2 & fact1 -> int3: あのまちゅまにゅLv.50は可笑しい; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact1 -> int3: {D}{c}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあのまちゅまにゅLv.50は京都らしいとすれば「あのまちゅまにゅLv.50は可笑しい」ということは本当である fact2: 仮にそのもやもくLv.20は起こり難いとすると「あのまちゅまにゅLv.50は京都らしい」ということは確かである fact3: 仮にそのぴにゅぴやLv.48が真っ白いならそのもやもくLv.20は起こり難い ; $hypothesis$ = もしもそのぴにゅぴやLv.48が真っ白いとするとあのまちゅまにゅLv.50は可笑しい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴにゅぴやLv.48は真っ白い; fact3 & assump1 -> int1: そのもやもくLv.20は起こり難い; int1 & fact2 -> int2: あのまちゅまにゅLv.50は京都らしい; int2 & fact1 -> int3: あのまちゅまにゅLv.50は可笑しい; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact1 -> int3: {D}{c}; [assump1] & int3 -> hypothesis; __PROVED__