もしそのぴのぴいLv.61が取り入れればあのみちょみえLv.98は男の子らしい
fact1: そのみにみちゅLv.35は取り入れる fact2: 仮にそのぴのぴいLv.61が平べったいならばこのぴえぴねLv.79は取り入れる fact3: このぴえぴねLv.79が平べったいとしたらあのみちょみえLv.98は男の子らしい fact4: 仮にそのぴのぴいLv.61が取り入れるとするとこのぴえぴねLv.79は平べったい fact5: もしもとあるモンスターはプレゼンテーションするとすると「男の子らしい」ということは確かである fact6: もしもあのみちょみえLv.98が平べったいならこのぴえぴねLv.79は男の子らしい
void -> assump1: 以下のように仮定する。「そのぴのぴいLv.61は取り入れる」ということは本当である; fact4 & assump1 -> int1: このぴえぴねLv.79は平べったい; int1 & fact3 -> int2: あのみちょみえLv.98は男の子らしい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
このぴえぴねLv.79は取り入れる
fact7 -> int3: もしそのぴのぴいLv.61がプレゼンテーションするとすればそれは男の子らしい;
$facts$ = fact1: そのみにみちゅLv.35は取り入れる fact2: 仮にそのぴのぴいLv.61が平べったいならばこのぴえぴねLv.79は取り入れる fact3: このぴえぴねLv.79が平べったいとしたらあのみちょみえLv.98は男の子らしい fact4: 仮にそのぴのぴいLv.61が取り入れるとするとこのぴえぴねLv.79は平べったい fact5: もしもとあるモンスターはプレゼンテーションするとすると「男の子らしい」ということは確かである fact6: もしもあのみちょみえLv.98が平べったいならこのぴえぴねLv.79は男の子らしい ; $hypothesis$ = もしそのぴのぴいLv.61が取り入れればあのみちょみえLv.98は男の子らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぴのぴいLv.61は取り入れる」ということは本当である; fact4 & assump1 -> int1: このぴえぴねLv.79は平べったい; int1 & fact3 -> int2: あのみちょみえLv.98は男の子らしい; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __PROVED__