あのぷやぷよLv.24は早しない
fact1: 早しないモンスターは発生し難くて加えて選択され易い fact2: このみのみにゃLv.13が選択され易いしその上それが手厳しいとすればこのまいまちょLv.0は手厳しくない fact3: このまいまちょLv.0は発生し難いししかもそれは手厳しい fact4: このまいまちょLv.0は選択され易い fact5: 「このまいまちょLv.0は手厳しい」ということは真実である
fact3 -> int1: このまいまちょLv.0は発生し難い; int1 & fact4 -> int2: このまいまちょLv.0は選択され易いしおまけに発生し難い;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ({C}{a} & {A}{a});
あのぷやぷよLv.24は手厳しい
fact6 -> int3: このまいまちょLv.0が早しないとしたらこのまいまちょLv.0は発生し難いしかつ選択され易い;
$facts$ = fact1: 早しないモンスターは発生し難くて加えて選択され易い fact2: このみのみにゃLv.13が選択され易いしその上それが手厳しいとすればこのまいまちょLv.0は手厳しくない fact3: このまいまちょLv.0は発生し難いししかもそれは手厳しい fact4: このまいまちょLv.0は選択され易い fact5: 「このまいまちょLv.0は手厳しい」ということは真実である ; $hypothesis$ = あのぷやぷよLv.24は早しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__