このぷいぷわLv.68は思い立つ
fact1: 仮にあるモンスターが心憎いとするとそれは遠しということはない fact2: 「あのぴのぴちゅLv.75は心憎い」ということは成り立つ fact3: もし仮にあのぴのぴちゅLv.75が遠しないならそのもわもなLv.36は受け易くてそれにうざい fact4: 「そのもわもなLv.36は受け易い」ということは確かであるならこのぷいぷわLv.68は思い立つ
fact1 -> int1: もし仮にあのぴのぴちゅLv.75が心憎いならばあのぴのぴちゅLv.75は遠しない; int1 & fact2 -> int2: あのぴのぴちゅLv.75は遠しない; int2 & fact3 -> int3: そのもわもなLv.36は受け易くておまけにうざい; int3 -> int4: そのもわもなLv.36は受け易い; int4 & fact4 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact2 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: ({D}{a} & {B}{a}); int3 -> int4: {D}{a}; int4 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあるモンスターが心憎いとするとそれは遠しということはない fact2: 「あのぴのぴちゅLv.75は心憎い」ということは成り立つ fact3: もし仮にあのぴのぴちゅLv.75が遠しないならそのもわもなLv.36は受け易くてそれにうざい fact4: 「そのもわもなLv.36は受け易い」ということは確かであるならこのぷいぷわLv.68は思い立つ ; $hypothesis$ = このぷいぷわLv.68は思い立つ ; $proof$ = 
fact1 -> int1: もし仮にあのぴのぴちゅLv.75が心憎いならばあのぴのぴちゅLv.75は遠しない; int1 & fact2 -> int2: あのぴのぴちゅLv.75は遠しない; int2 & fact3 -> int3: そのもわもなLv.36は受け易くておまけにうざい; int3 -> int4: そのもわもなLv.36は受け易い; int4 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact2 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: ({D}{a} & {B}{a}); int3 -> int4: {D}{a}; int4 & fact4 -> hypothesis; __PROVED__