このぴねぴにゅLv.51は正しない
fact1: もしもこのもいもにゃLv.97が発揮し易いとするとこのぴねぴにゅLv.51は管理し易い fact2: 仮にこのもいもにゃLv.97が喜ばしいならばそれは発揮し易い fact3: このもいもにゃLv.97は喜ばしい fact4: もし仮にこのぴねぴにゅLv.51は管理し易いとすれば「正し」ということは真実である
fact2 & fact3 -> int1: このもいもにゃLv.97は発揮し易い; int1 & fact1 -> int2: このぴねぴにゅLv.51は管理し易い; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もしもこのもいもにゃLv.97が発揮し易いとするとこのぴねぴにゅLv.51は管理し易い fact2: 仮にこのもいもにゃLv.97が喜ばしいならばそれは発揮し易い fact3: このもいもにゃLv.97は喜ばしい fact4: もし仮にこのぴねぴにゅLv.51は管理し易いとすれば「正し」ということは真実である ; $hypothesis$ = このぴねぴにゅLv.51は正しない ; $proof$ = 
fact2 & fact3 -> int1: このもいもにゃLv.97は発揮し易い; int1 & fact1 -> int2: このぴねぴにゅLv.51は管理し易い; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__