あのぽえぽわLv.91が陪席しないとしたらそのもちゃもちゅLv.5はいじらしいしさらにそれは程良い
fact1: 「そのもちゃもちゅLv.5は程良い」ということは本当である fact2: なんらかのモンスターがうら若くないとしたらこのぴちゅぴちゅLv.55は陪席するし甘ったるい fact3: もし仮にあのぽえぽわLv.91が陪席しないとするとそのもちゃもちゅLv.5はうら若い fact4: このもちゅもわLv.95は陪席する fact5: もし仮にあのぽえぽわLv.91が陪席するとすればそのもちゃもちゅLv.5はうら若い fact6: 「うら若くない」モンスターはいる fact7: 「そのもちゃもちゅLv.5はうら若い」ということは本当であるとすればそのもちゃもちゅLv.5はいじらしい
void -> assump1: 以下のように仮定する。あのぽえぽわLv.91は陪席しない; fact3 & assump1 -> int1: そのもちゃもちゅLv.5はうら若い; int1 & fact7 -> int2: 「そのもちゃもちゅLv.5はいじらしい」ということは事実だ; int2 & fact1 -> int3: そのもちゃもちゅLv.5がいじらしいしその上それは程良い; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact1 -> int3: ({C}{b} & {D}{b}); [assump1] & int3 -> hypothesis;
このぴちゅぴちゅLv.55は甘ったるいし厭わしい
fact9 & fact8 -> int4: このぴちゅぴちゅLv.55は陪席するしおまけに甘ったるい; int4 -> int5: 「このぴちゅぴちゅLv.55は甘ったるい」ということは成り立つ;
$facts$ = fact1: 「そのもちゃもちゅLv.5は程良い」ということは本当である fact2: なんらかのモンスターがうら若くないとしたらこのぴちゅぴちゅLv.55は陪席するし甘ったるい fact3: もし仮にあのぽえぽわLv.91が陪席しないとするとそのもちゃもちゅLv.5はうら若い fact4: このもちゅもわLv.95は陪席する fact5: もし仮にあのぽえぽわLv.91が陪席するとすればそのもちゃもちゅLv.5はうら若い fact6: 「うら若くない」モンスターはいる fact7: 「そのもちゃもちゅLv.5はうら若い」ということは本当であるとすればそのもちゃもちゅLv.5はいじらしい ; $hypothesis$ = あのぽえぽわLv.91が陪席しないとしたらそのもちゃもちゅLv.5はいじらしいしさらにそれは程良い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽえぽわLv.91は陪席しない; fact3 & assump1 -> int1: そのもちゃもちゅLv.5はうら若い; int1 & fact7 -> int2: 「そのもちゃもちゅLv.5はいじらしい」ということは事実だ; int2 & fact1 -> int3: そのもちゃもちゅLv.5がいじらしいしその上それは程良い; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact1 -> int3: ({C}{b} & {D}{b}); [assump1] & int3 -> hypothesis; __PROVED__