このぴにぴにゅLv.78は活動し易くない
fact1: そのもやもえLv.32は愛飲するし加えてそれは忠実忠実しい fact2: 仮にこのぴにぴにゅLv.78が便乗しないとすれば召還する fact3: もし仮にそのもやもえLv.32が愛飲するし加えてそれが忠実忠実しいならばこのぴにぴにゅLv.78は便乗しない fact4: もし仮にこのぴにぴにゅLv.78が活動し易くないとするとそのもやもえLv.32は召還するし更にそれは便乗する fact5: もしもこのぴにぴにゅLv.78が召還するとすればこのぴにぴにゅLv.78は活動し易い
fact3 & fact1 -> int1: このぴにぴにゅLv.78は便乗しない; int1 & fact2 -> int2: このぴにぴにゅLv.78は召還する; int2 & fact5 -> hypothesis;
fact3 & fact1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact5 -> hypothesis;
そのもやもえLv.32は便乗する
$facts$ = fact1: そのもやもえLv.32は愛飲するし加えてそれは忠実忠実しい fact2: 仮にこのぴにぴにゅLv.78が便乗しないとすれば召還する fact3: もし仮にそのもやもえLv.32が愛飲するし加えてそれが忠実忠実しいならばこのぴにぴにゅLv.78は便乗しない fact4: もし仮にこのぴにぴにゅLv.78が活動し易くないとするとそのもやもえLv.32は召還するし更にそれは便乗する fact5: もしもこのぴにぴにゅLv.78が召還するとすればこのぴにぴにゅLv.78は活動し易い ; $hypothesis$ = このぴにぴにゅLv.78は活動し易くない ; $proof$ = 
fact3 & fact1 -> int1: このぴにぴにゅLv.78は便乗しない; int1 & fact2 -> int2: このぴにぴにゅLv.78は召還する; int2 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact5 -> hypothesis; __DISPROVED__