このぷくぷねLv.90は正しない
fact1: もしもあのもよもにLv.17が応接しないが平ったいならばそれは駆け上がる fact2: 仮にあのもよもにLv.17は駆け上がらないとしたら「あのもよもにLv.17は正しないけれど進み易い」ということは成り立たない fact3: もしとあるモンスターが進み易いならば正し fact4: あのもよもにLv.17は応接しないがしかしそれは平ったい fact5: もし仮にあのもよもにLv.17が進み易いか駆け上がるとするとこのぷくぷねLv.90は正しない fact6: もし「なんらかのモンスターは正しないがしかし進み易い」ということは間違いであるなら進み易くない
fact1 & fact4 -> int1: あのもよもにLv.17は駆け上がる; int1 -> int2: あのもよもにLv.17は進み易いかもしくは駆け上がる; int2 & fact5 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 & fact5 -> hypothesis;
そのまちゃまわLv.82は仄暗いかまたは平ったい
fact8 -> int3: 仮に「あのもよもにLv.17は正しないが進み易い」ということは間違っているとすればあのもよもにLv.17は進み易いということはない;
$facts$ = fact1: もしもあのもよもにLv.17が応接しないが平ったいならばそれは駆け上がる fact2: 仮にあのもよもにLv.17は駆け上がらないとしたら「あのもよもにLv.17は正しないけれど進み易い」ということは成り立たない fact3: もしとあるモンスターが進み易いならば正し fact4: あのもよもにLv.17は応接しないがしかしそれは平ったい fact5: もし仮にあのもよもにLv.17が進み易いか駆け上がるとするとこのぷくぷねLv.90は正しない fact6: もし「なんらかのモンスターは正しないがしかし進み易い」ということは間違いであるなら進み易くない ; $hypothesis$ = このぷくぷねLv.90は正しない ; $proof$ = 
fact1 & fact4 -> int1: あのもよもにLv.17は駆け上がる; int1 -> int2: あのもよもにLv.17は進み易いかもしくは駆け上がる; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 & fact5 -> hypothesis; __PROVED__