「あのぷちょぷえLv.94は参学しない」ということは真実だとすれば「このぴやぴえLv.7は見分け難くないがしかしそれは利用し辛い」ということは成り立たない
fact1: もしもそのぴちょぴちゅLv.88は利用し辛いならば「このぴやぴえLv.7は見分け難くないがそれは利用し辛い」ということは成り立たない fact2: 仮にあのぷちょぷえLv.94が見分け難くないならばこのぴやぴえLv.7は参学する fact3: もしなんらかのモンスターが参学するとするとそれは見分け難い fact4: 「そのぴちょぴちゅLv.88は利用し辛くないけど勘違いし易い」ということは事実と異なる fact5: 仮にあのまにゅまなLv.39が利用し辛いとしたらこのぴやぴえLv.7は勘違いし易い fact6: 仮にあのぷちょぷえLv.94が参学しないならあのまにゅまなLv.39は勘違いし易い
void -> assump1: 以下のように仮定する。あのぷちょぷえLv.94は参学するということはない; fact6 & assump1 -> int1: あのまにゅまなLv.39は勘違いし易い;
void -> assump1: ¬{A}{a}; fact6 & assump1 -> int1: {B}{b};
そのぴよぴちゃLv.85は見分け難い
fact7 -> int2: もしもそのぴよぴちゃLv.85が参学するとすると見分け難い;
$facts$ = fact1: もしもそのぴちょぴちゅLv.88は利用し辛いならば「このぴやぴえLv.7は見分け難くないがそれは利用し辛い」ということは成り立たない fact2: 仮にあのぷちょぷえLv.94が見分け難くないならばこのぴやぴえLv.7は参学する fact3: もしなんらかのモンスターが参学するとするとそれは見分け難い fact4: 「そのぴちょぴちゅLv.88は利用し辛くないけど勘違いし易い」ということは事実と異なる fact5: 仮にあのまにゅまなLv.39が利用し辛いとしたらこのぴやぴえLv.7は勘違いし易い fact6: 仮にあのぷちょぷえLv.94が参学しないならあのまにゅまなLv.39は勘違いし易い ; $hypothesis$ = 「あのぷちょぷえLv.94は参学しない」ということは真実だとすれば「このぴやぴえLv.7は見分け難くないがしかしそれは利用し辛い」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__