そのぴちょぴにゅLv.67は其れっぽいかそれはか弱い
fact1: もし仮にそのぴちょぴにゅLv.67がごっついとすると其れっぽい fact2: なにがしかのモンスターはごっつかないなら「それは其れっぽいかまたはそれはか弱いかもしくはどちらもである」ということは成り立たない fact3: もし「何らかのモンスターは撓るかまたは拒絶しないかもしくは両方だ」ということは成り立たないとするとごっついということはない
「そのぴちょぴにゅLv.67は其れっぽいかか弱い」ということは成り立つということはない
fact5 -> int1: 「そのぴちょぴにゅLv.67はごっつかない」ということは確かであるならば「それは其れっぽいかあるいはか弱いかもしくは両方である」ということは偽だ; fact4 -> int2: もしも「そのぴちょぴにゅLv.67は撓るかあるいは拒絶しないかまたは両方である」ということは間違っているとするとそのぴちょぴにゅLv.67はごっつかない;
$facts$ = fact1: もし仮にそのぴちょぴにゅLv.67がごっついとすると其れっぽい fact2: なにがしかのモンスターはごっつかないなら「それは其れっぽいかまたはそれはか弱いかもしくはどちらもである」ということは成り立たない fact3: もし「何らかのモンスターは撓るかまたは拒絶しないかもしくは両方だ」ということは成り立たないとするとごっついということはない ; $hypothesis$ = そのぴちょぴにゅLv.67は其れっぽいかそれはか弱い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__