そのぷやぷねLv.72は合わさらない
fact1: あらゆるモンスターは憎らしい fact2: 全てのモンスターは戻し入れるが滑り易くない fact3: もし仮に「このもにょもちゃLv.41は戻し入れるがしかし滑り易くない」ということは成り立つとすれば「そのぷやぷねLv.72は合わさらない」ということは本当だ fact4: そのぷやぷねLv.72が滑り易い一方で戻し入れないとしたらこのもにょもちゃLv.41は合わさるということはない
fact2 -> int1: このもにょもちゃLv.41は戻し入れるけど滑り易くない; int1 & fact3 -> hypothesis;
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact3 -> hypothesis;
$facts$ = fact1: あらゆるモンスターは憎らしい fact2: 全てのモンスターは戻し入れるが滑り易くない fact3: もし仮に「このもにょもちゃLv.41は戻し入れるがしかし滑り易くない」ということは成り立つとすれば「そのぷやぷねLv.72は合わさらない」ということは本当だ fact4: そのぷやぷねLv.72が滑り易い一方で戻し入れないとしたらこのもにょもちゃLv.41は合わさるということはない ; $hypothesis$ = そのぷやぷねLv.72は合わさらない ; $proof$ = 
fact2 -> int1: このもにょもちゃLv.41は戻し入れるけど滑り易くない; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact3 -> hypothesis; __PROVED__