このぴねぴちょLv.94は御引き受けする
fact1: あのみにゃみいLv.65は喧しいしさらに御引き受けする fact2: このみいみにゅLv.67は忘れ難いししかも白っぽい fact3: このみいみにゅLv.67は御引き受けしない fact4: このみいみにゅLv.67は御恥ずかしい fact5: もしもこのみいみにゅLv.67が白っぽいということはないとするとこのぴねぴちょLv.94は忘れ難くてまた御引き受けする fact6: もしもこのみいみにゅLv.67は忘れ難くて更に御恥ずかしいならば「このぴねぴちょLv.94は御引き受けしない」ということは成り立つ fact7: このみいみにゅLv.67は白っぽい
fact2 -> int1: このみいみにゅLv.67は忘れ難い; int1 & fact4 -> int2: このみいみにゅLv.67は忘れ難くてさらにそれは御恥ずかしい; int2 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis;
このぴねぴちょLv.94は御引き受けする
$facts$ = fact1: あのみにゃみいLv.65は喧しいしさらに御引き受けする fact2: このみいみにゅLv.67は忘れ難いししかも白っぽい fact3: このみいみにゅLv.67は御引き受けしない fact4: このみいみにゅLv.67は御恥ずかしい fact5: もしもこのみいみにゅLv.67が白っぽいということはないとするとこのぴねぴちょLv.94は忘れ難くてまた御引き受けする fact6: もしもこのみいみにゅLv.67は忘れ難くて更に御恥ずかしいならば「このぴねぴちょLv.94は御引き受けしない」ということは成り立つ fact7: このみいみにゅLv.67は白っぽい ; $hypothesis$ = このぴねぴちょLv.94は御引き受けする ; $proof$ = 
fact2 -> int1: このみいみにゅLv.67は忘れ難い; int1 & fact4 -> int2: このみいみにゅLv.67は忘れ難くてさらにそれは御恥ずかしい; int2 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis; __DISPROVED__