そのまにゃまえLv.9は休戦しない
fact1: もしもこのまちゃまちょLv.22が移り易いならば怪しい fact2: 仮にこのまちゃまちょLv.22が怪しくてそれに加味するとすればそのまにゃまえLv.9は休戦しない fact3: このまちゃまちょLv.22は加味する fact4: むず痒いモンスターは休戦する fact5: このまなまなLv.89は加味する
そのまにゃまえLv.9は休戦する
fact6 -> int1: もし仮に「そのまにゃまえLv.9はむず痒い」ということは成り立つとすればそれは休戦する;
$facts$ = fact1: もしもこのまちゃまちょLv.22が移り易いならば怪しい fact2: 仮にこのまちゃまちょLv.22が怪しくてそれに加味するとすればそのまにゃまえLv.9は休戦しない fact3: このまちゃまちょLv.22は加味する fact4: むず痒いモンスターは休戦する fact5: このまなまなLv.89は加味する ; $hypothesis$ = そのまにゃまえLv.9は休戦しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__