このぷちゃぷえLv.18は嘘っぽいということはない
fact1: 「このぷちゃぷえLv.18は醜い一方で親らしくない」ということは嘘である fact2: もし「このぷちゃぷえLv.18は醜くない」ということは成り立つなら「見易いしかつそれは狙い難い」ということは偽だ fact3: もしもそのぽやぽにゅLv.88は慎ましくないとすると「そのぽやぽにゅLv.88はめでたししまたそれはしょっぱい」ということは成り立たない fact4: もし仮に「「このぷちゃぷえLv.18は醜い一方でそれは親らしくない」ということは事実である」ということは成り立たないならばそれは醜くない fact5: もし仮に「このぷちゃぷえLv.18は見易いしまた狙い難い」ということは間違っているならこのぷちゃぷえLv.18は算定し難くない
fact1 & fact4 -> int1: 「このぷちゃぷえLv.18は醜くない」ということは事実である; fact2 & int1 -> int2: 「「このぷちゃぷえLv.18は見易くてさらに狙い難い」ということは事実と異なる」ということは偽でない; int2 & fact5 -> int3: このぷちゃぷえLv.18は算定し難くない;
fact1 & fact4 -> int1: ¬{A}{a}; fact2 & int1 -> int2: ¬({AA}{a} & {AB}{a}); int2 & fact5 -> int3: ¬{B}{a};
$facts$ = fact1: 「このぷちゃぷえLv.18は醜い一方で親らしくない」ということは嘘である fact2: もし「このぷちゃぷえLv.18は醜くない」ということは成り立つなら「見易いしかつそれは狙い難い」ということは偽だ fact3: もしもそのぽやぽにゅLv.88は慎ましくないとすると「そのぽやぽにゅLv.88はめでたししまたそれはしょっぱい」ということは成り立たない fact4: もし仮に「「このぷちゃぷえLv.18は醜い一方でそれは親らしくない」ということは事実である」ということは成り立たないならばそれは醜くない fact5: もし仮に「このぷちゃぷえLv.18は見易いしまた狙い難い」ということは間違っているならこのぷちゃぷえLv.18は算定し難くない ; $hypothesis$ = このぷちゃぷえLv.18は嘘っぽいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__