このまにゃまえLv.91は物言う
fact1: もしとあるモンスターがあたふたしないとしたら飽きっぽいししかも物言う fact2: このまにゃまえLv.91はあたふたする fact3: 仮にこのまにゃまえLv.91が飽きっぽくて転げ込むなら物言わない fact4: このぷちゃぷにゅLv.26はし辛い fact5: もし仮にこのまにゃまえLv.91が打ち勝つしそれにそれが飽きっぽいならこのまにゃまえLv.91は塗り直さない fact6: このまにゃまえLv.91は飽きっぽくてあたふたする fact7: このまにゃまえLv.91はさり気無くて更に細かい
fact6 -> int1: このまにゃまえLv.91は飽きっぽい;
fact6 -> int1: {A}{a};
このまにゃまえLv.91は物言う
fact8 -> int2: このまにゃまえLv.91があたふたしないならばこのまにゃまえLv.91は飽きっぽいモンスターであって物言う;
$facts$ = fact1: もしとあるモンスターがあたふたしないとしたら飽きっぽいししかも物言う fact2: このまにゃまえLv.91はあたふたする fact3: 仮にこのまにゃまえLv.91が飽きっぽくて転げ込むなら物言わない fact4: このぷちゃぷにゅLv.26はし辛い fact5: もし仮にこのまにゃまえLv.91が打ち勝つしそれにそれが飽きっぽいならこのまにゃまえLv.91は塗り直さない fact6: このまにゃまえLv.91は飽きっぽくてあたふたする fact7: このまにゃまえLv.91はさり気無くて更に細かい ; $hypothesis$ = このまにゃまえLv.91は物言う ; $proof$ = 
__UNKNOWN__
__UNKNOWN__