そのもちゃもゆLv.49はすばしっこい
fact1: あのぷいぷねLv.70は度し難くないしおまけに指数化しない fact2: もし仮に度し難くないモンスターが指数化しないならそれは笑い続ける fact3: 「仮にあのぷいぷねLv.70が笑い続ければそのもちゃもゆLv.49はすばしっこい」ということは成り立つ
fact2 -> int1: もしあのぷいぷねLv.70が度し難くないしかつそれが指数化しないとしたら笑い続ける; int1 & fact1 -> int2: あのぷいぷねLv.70は笑い続ける; int2 & fact3 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぷいぷねLv.70は度し難くないしおまけに指数化しない fact2: もし仮に度し難くないモンスターが指数化しないならそれは笑い続ける fact3: 「仮にあのぷいぷねLv.70が笑い続ければそのもちゃもゆLv.49はすばしっこい」ということは成り立つ ; $hypothesis$ = そのもちゃもゆLv.49はすばしっこい ; $proof$ = 
fact2 -> int1: もしあのぷいぷねLv.70が度し難くないしかつそれが指数化しないとしたら笑い続ける; int1 & fact1 -> int2: あのぷいぷねLv.70は笑い続ける; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis; __PROVED__