あのまねまよLv.93はあくどいし気安い
fact1: そのぷやぷにゅLv.44は起き難い fact2: もしこのみなみよLv.87は注意深くないとすれば「このみなみよLv.87は起き難いししかもあくどい」ということは成り立つということはない fact3: 仮にこのみなみよLv.87は注意深いなら「あのまねまよLv.93はあくどいということはない」ということは成り立つということはない fact4: あのまねまよLv.93は気安い fact5: もしもそのぷやぷにゅLv.44は起き難いならば「このみなみよLv.87は注意深い」ということは成り立つ fact6: 「このまくまわLv.23は起き難い」ということは間違っていない fact7: あくどくないモンスターは起き難くて注意深い
fact5 & fact1 -> int1: 「このみなみよLv.87は注意深い」ということは確かである; int1 & fact3 -> int2: あのまねまよLv.93はあくどい; int2 & fact4 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> hypothesis;
あのまねまよLv.93は起き難い
fact8 -> int3: 「もし仮にあのまねまよLv.93があくどくないとすればあのまねまよLv.93は起き難いし注意深い」ということは正しい;
$facts$ = fact1: そのぷやぷにゅLv.44は起き難い fact2: もしこのみなみよLv.87は注意深くないとすれば「このみなみよLv.87は起き難いししかもあくどい」ということは成り立つということはない fact3: 仮にこのみなみよLv.87は注意深いなら「あのまねまよLv.93はあくどいということはない」ということは成り立つということはない fact4: あのまねまよLv.93は気安い fact5: もしもそのぷやぷにゅLv.44は起き難いならば「このみなみよLv.87は注意深い」ということは成り立つ fact6: 「このまくまわLv.23は起き難い」ということは間違っていない fact7: あくどくないモンスターは起き難くて注意深い ; $hypothesis$ = あのまねまよLv.93はあくどいし気安い ; $proof$ = 
fact5 & fact1 -> int1: 「このみなみよLv.87は注意深い」ということは確かである; int1 & fact3 -> int2: あのまねまよLv.93はあくどい; int2 & fact4 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> hypothesis; __PROVED__