そのまにょまちゃLv.19は恋しい
fact1: もし「あざといかまたはしつこいかまたは両方である」モンスターはいれば「あのぴにぴにLv.36は擽ったくない」ということは正しい fact2: 期し難いモンスターはあざとくなくて擽ったくない fact3: このみにゃみちょLv.10は伴い易くない fact4: 何らかのモンスターがあざといということはないし更に擽ったくないならばあのぴにぴにLv.36はあざとくない fact5: そのぴちょぴのLv.78はしつこいし更に区別し易い fact6: 伴い易くないモンスターは期し難くて感染し易い fact7: 仮にあのぴにぴにLv.36はあざとくないなら「そのぴちょぴのLv.78は区別し易くないけどしつこい」ということは偽である
fact5 -> int1: そのぴちょぴのLv.78はしつこい; int1 -> int2: そのぴちょぴのLv.78はあざといかしつこい; int2 -> int3: 「あざといかあるいはしつこいかまたは両方な」モンスターはいる; int3 & fact1 -> int4: 「あのぴにぴにLv.36は擽ったくない」ということは嘘でない;
fact5 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 -> int3: (Ex): ({C}x v {A}x); int3 & fact1 -> int4: ¬{D}{b};
そのまにょまちゃLv.19は恋しくない
fact12 -> int5: もし仮にこのみにゃみちょLv.10が期し難いとしたらこのみにゃみちょLv.10はあざとくなくて更に擽ったくない; fact10 -> int6: もしもこのみにゃみちょLv.10が伴い易くないとしたらこのみにゃみちょLv.10は期し難くてさらに感染し易い; int6 & fact8 -> int7: 「このみにゃみちょLv.10は期し難くて感染し易い」ということは真実である; int7 -> int8: このみにゃみちょLv.10は期し難い; int5 & int8 -> int9: このみにゃみちょLv.10はあざとくないし擽ったくない; int9 -> int10: 「あざとくないし擽ったくない」モンスターはいる; int10 & fact11 -> int11: あのぴにぴにLv.36はあざといということはない; fact9 & int11 -> int12: 「「そのぴちょぴのLv.78は区別し易いということはないけどしつこい」ということは事実と異なる」ということは誤りでない; int12 -> int13: 「「区別し易くないがしかししつこい」ということは成り立たない」モンスターはいる;
$facts$ = fact1: もし「あざといかまたはしつこいかまたは両方である」モンスターはいれば「あのぴにぴにLv.36は擽ったくない」ということは正しい fact2: 期し難いモンスターはあざとくなくて擽ったくない fact3: このみにゃみちょLv.10は伴い易くない fact4: 何らかのモンスターがあざといということはないし更に擽ったくないならばあのぴにぴにLv.36はあざとくない fact5: そのぴちょぴのLv.78はしつこいし更に区別し易い fact6: 伴い易くないモンスターは期し難くて感染し易い fact7: 仮にあのぴにぴにLv.36はあざとくないなら「そのぴちょぴのLv.78は区別し易くないけどしつこい」ということは偽である ; $hypothesis$ = そのまにょまちゃLv.19は恋しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__