そのまくまねLv.57はふわふわする
fact1: もしもあのぷにょぷわLv.99が猛々しいならばそのまくまねLv.57は経巡る fact2: このまわまちゅLv.56は人間らしくない fact3: なにがしかのモンスターがふわふわするとすればそれは狡い fact4: もしあのぷにょぷわLv.99が訝しいとすればそのまくまねLv.57は経巡る fact5: もしそのまくまねLv.57が経巡ればそのまくまねLv.57はふわふわする fact6: もし仮にこのまわまちゅLv.56が人間らしくないとするとあのぷにょぷわLv.99は訝しいかそれは猛々しいかあるいは両方ともである
fact6 & fact2 -> int1: あのぷにょぷわLv.99は訝しいかまたは猛々しいかどちらもだ; int1 & fact4 & fact1 -> int2: そのまくまねLv.57は経巡る; int2 & fact5 -> hypothesis;
fact6 & fact2 -> int1: ({AA}{b} v {AB}{b}); int1 & fact4 & fact1 -> int2: {B}{c}; int2 & fact5 -> hypothesis;
もし「あのまよまやLv.5はふわふわする」ということは本当であるとしたら狡い
fact7 -> hypothesis;
$facts$ = fact1: もしもあのぷにょぷわLv.99が猛々しいならばそのまくまねLv.57は経巡る fact2: このまわまちゅLv.56は人間らしくない fact3: なにがしかのモンスターがふわふわするとすればそれは狡い fact4: もしあのぷにょぷわLv.99が訝しいとすればそのまくまねLv.57は経巡る fact5: もしそのまくまねLv.57が経巡ればそのまくまねLv.57はふわふわする fact6: もし仮にこのまわまちゅLv.56が人間らしくないとするとあのぷにょぷわLv.99は訝しいかそれは猛々しいかあるいは両方ともである ; $hypothesis$ = そのまくまねLv.57はふわふわする ; $proof$ = 
fact6 & fact2 -> int1: あのぷにょぷわLv.99は訝しいかまたは猛々しいかどちらもだ; int1 & fact4 & fact1 -> int2: そのまくまねLv.57は経巡る; int2 & fact5 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: ({AA}{b} v {AB}{b}); int1 & fact4 & fact1 -> int2: {B}{c}; int2 & fact5 -> hypothesis; __PROVED__