このぴにょぴにゅLv.95は影響され易いし成り易い
fact1: なにがしかのモンスターが取り巻くならそれは成り易い fact2: もしこのまちゅまなLv.64が成り易いならばそれは文章化する fact3: もし仮にこのまちゅまなLv.64が成り易くないとすればこのぴにょぴにゅLv.95は影響され易いし更に成り易い fact4: もしなんらかのモンスターは文章化しないならば「それは影響され易いし成り易い」ということは誤りである fact5: 仮にこのぴにょぴにゅLv.95が文章化しないとするとこのまちゅまなLv.64は影響され易い fact6: このまちゅまなLv.64は文章化しない fact7: そのぷよぷゆLv.17は青くて成り易い
void -> assump1: 以下のように仮定する。このまちゅまなLv.64は成り易い; fact2 & assump1 -> int1: このまちゅまなLv.64は文章化する; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまちゅまなLv.64は成り易くない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
「このぴにょぴにゅLv.95が影響され易いしその上成り易い」ということは間違っている
fact8 -> int4: もしこのぴにょぴにゅLv.95は文章化するということはないとしたら「このぴにょぴにゅLv.95は影響され易いし成り易い」ということは事実と異なる;
$facts$ = fact1: なにがしかのモンスターが取り巻くならそれは成り易い fact2: もしこのまちゅまなLv.64が成り易いならばそれは文章化する fact3: もし仮にこのまちゅまなLv.64が成り易くないとすればこのぴにょぴにゅLv.95は影響され易いし更に成り易い fact4: もしなんらかのモンスターは文章化しないならば「それは影響され易いし成り易い」ということは誤りである fact5: 仮にこのぴにょぴにゅLv.95が文章化しないとするとこのまちゅまなLv.64は影響され易い fact6: このまちゅまなLv.64は文章化しない fact7: そのぷよぷゆLv.17は青くて成り易い ; $hypothesis$ = このぴにょぴにゅLv.95は影響され易いし成り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。このまちゅまなLv.64は成り易い; fact2 & assump1 -> int1: このまちゅまなLv.64は文章化する; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまちゅまなLv.64は成り易くない; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __PROVED__