このぴいぴのLv.41は呼応し合わない
fact1: 全てのモンスターは一巡する fact2: そのぽのぽちゅLv.84は呼応し合う fact3: あらゆるモンスターは呼応し合う fact4: あらゆるモンスターは差し支え有る fact5: もし仮に卑しくないモンスターが一巡すれば荒くない fact6: もしも「あるモンスターは呼応し合うし荒い」ということは誤っているなら呼応し合わない
fact3 -> int1: あらゆるモンスターは呼応し合う; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
このぴいぴのLv.41は呼応し合わない
fact7 -> int2: もしも「このぴいぴのLv.41は呼応し合うし荒い」ということは間違っているなら「このぴいぴのLv.41は呼応し合うということはない」ということは事実だ;
$facts$ = fact1: 全てのモンスターは一巡する fact2: そのぽのぽちゅLv.84は呼応し合う fact3: あらゆるモンスターは呼応し合う fact4: あらゆるモンスターは差し支え有る fact5: もし仮に卑しくないモンスターが一巡すれば荒くない fact6: もしも「あるモンスターは呼応し合うし荒い」ということは誤っているなら呼応し合わない ; $hypothesis$ = このぴいぴのLv.41は呼応し合わない ; $proof$ = 
fact3 -> int1: あらゆるモンスターは呼応し合う; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__