あのぴねぴにゅLv.14は物憂くない
fact1: もし仮にそのぴやぴにょLv.32が物憂いとしたらそのぴやぴにょLv.32は活動し易い fact2: もし仮にそのぴやぴにょLv.32が納得し易いならばそのぴやぴにょLv.32は愛くるしい fact3: もし仮に「そのぴやぴにょLv.32は愛くるしい」ということは正しいならばあのぴねぴにゅLv.14は物憂い fact4: あのまえまえLv.6が誤るとしたらそのぴやぴにょLv.32は納得し易い fact5: あのまえまえLv.6は誤る
fact4 & fact5 -> int1: そのぴやぴにょLv.32は納得し易い; int1 & fact2 -> int2: そのぴやぴにょLv.32は愛くるしい; int2 & fact3 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にそのぴやぴにょLv.32が物憂いとしたらそのぴやぴにょLv.32は活動し易い fact2: もし仮にそのぴやぴにょLv.32が納得し易いならばそのぴやぴにょLv.32は愛くるしい fact3: もし仮に「そのぴやぴにょLv.32は愛くるしい」ということは正しいならばあのぴねぴにゅLv.14は物憂い fact4: あのまえまえLv.6が誤るとしたらそのぴやぴにょLv.32は納得し易い fact5: あのまえまえLv.6は誤る ; $hypothesis$ = あのぴねぴにゅLv.14は物憂くない ; $proof$ = 
fact4 & fact5 -> int1: そのぴやぴにょLv.32は納得し易い; int1 & fact2 -> int2: そのぴやぴにょLv.32は愛くるしい; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__