このぷちょぷにょLv.6は伴い易くない
fact1: すべてのモンスターは咲かす fact2: あらゆるモンスターは伴い易い fact3: もしもあるモンスターが掃討するか軍人らしくないかまたはどちらもであるとするとそれは生成し易い fact4: あらゆるモンスターは蒸し暑い
fact2 -> int1: あらゆるモンスターは伴い易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このぽゆぽにゅLv.92は伴い易い
fact5 -> int2: もし仮にこのぷちょぷにょLv.6が掃討するかまたはそれが軍人らしくないとしたらこのぷちょぷにょLv.6は生成し易い;
$facts$ = fact1: すべてのモンスターは咲かす fact2: あらゆるモンスターは伴い易い fact3: もしもあるモンスターが掃討するか軍人らしくないかまたはどちらもであるとするとそれは生成し易い fact4: あらゆるモンスターは蒸し暑い ; $hypothesis$ = このぷちょぷにょLv.6は伴い易くない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは伴い易い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__