このぴくぴにゅLv.59は合わせ辛いししかも御忙しい
fact1: このぴくぴにゅLv.59は御忙しい fact2: そのぴいぴにゃLv.88はしかつめらしいし来辛い fact3: そのぴいぴにゃLv.88は利き過ぎる fact4: もしこのぴくぴにゅLv.59が来辛いとするとそのぴいぴにゃLv.88は御忙しい fact5: そのぷえぷえLv.46は照れ臭いしその上物憂い fact6: もしそのぴいぴにゃLv.88がしかつめらしいならばこのぴくぴにゅLv.59は合わせ辛い
fact2 -> int1: そのぴいぴにゃLv.88はしかつめらしい; int1 & fact6 -> int2: 「このぴくぴにゅLv.59は合わせ辛い」ということは成り立つ; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このぴくぴにゅLv.59は御忙しい fact2: そのぴいぴにゃLv.88はしかつめらしいし来辛い fact3: そのぴいぴにゃLv.88は利き過ぎる fact4: もしこのぴくぴにゅLv.59が来辛いとするとそのぴいぴにゃLv.88は御忙しい fact5: そのぷえぷえLv.46は照れ臭いしその上物憂い fact6: もしそのぴいぴにゃLv.88がしかつめらしいならばこのぴくぴにゅLv.59は合わせ辛い ; $hypothesis$ = このぴくぴにゅLv.59は合わせ辛いししかも御忙しい ; $proof$ = 
fact2 -> int1: そのぴいぴにゃLv.88はしかつめらしい; int1 & fact6 -> int2: 「このぴくぴにゅLv.59は合わせ辛い」ということは成り立つ; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__